Filtre: Paperback Tipărit la comandă Șterge tot

Cărți teoria matematică a calculului, pagina 17

1537-1632 din 2,211 rezultate

Decision Procedures: An Algorithmic Point of View

Texts in Theoretical Computer Science. An EATCS Series

Autor Daniel Kroening et al.

23 mai 2008

Preț: 410^.97 lei 513^.71 lei

43-57 zile

-20%

Graph-Theoretic Concepts in Computer Science: 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers

Lecture Notes in Computer Science, nr. 4769

Editat de Andreas Brandstädt et al.

12 dec 2007

Preț: 323^.73 lei 404^.66 lei

43-57 zile

-20%

Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7184

Editat de Marian Gheorghe et al.

12 ian 2012

Preț: 323^.73 lei 404^.66 lei

43-57 zile

-20%

Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11785

Editat de David Parker et al.

2 sep 2019

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9616

Editat de Marc Gyssens et al.

4 mar 2016

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10105

Editat de Alberto Leporati et al.

17 feb 2017

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

Lecture Notes in Computer Science, nr. 649

Editat de Alberto Pettorossi

2 dec 1992

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Trees in Algebra and Programming - CAAP '94: 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Lecture Notes in Computer Science, nr. 787

Editat de Sophie Tison

23 mar 1994

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Parallel Algorithms for Irregularly Structured Problems: Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1117

Editat de Alfonso Ferreira et al.

30 iul 1996

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1128

Editat de Jacques Calmet et al.

4 sep 1996

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Advances in Computing Sciences

Editat de Rudolf Albrecht

17 aug 1998

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Workshops in Computing

Editat de Alban Ponse et al.

30 noi 1994

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Visual Information Systems. Web-Based Visual Information Search and Management: 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5188

Editat de Monica Sebillo et al.

28 aug 2008

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5834

Editat de Xiangdong He et al.

23 sep 2009

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Scalable Information Systems: 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, nr. 18

Editat de Peter Mueller et al.

25 noi 2009

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6919

Editat de Uli Fahrenberg et al.

12 sep 2011

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Trusted Systems: Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6802

Editat de Liqun Chen et al.

18 noi 2011

Preț: 323^.55 lei 404^.44 lei

43-57 zile

-20%

Information Science and Statistics

Autor Günther Palm

4 ian 2024

Preț: 856^.45 lei 1044^.45 lei

43-57 zile

-18%

Sequences and Their Applications -- SETA 2012: 7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7280

Editat de Tor Helleseth et al.

16 mai 2012

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7876

Editat de T-H. Hubert Chan et al.

16 mai 2013

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7982

Editat de Stavros Konstantinidis

19 iul 2013

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8705

Editat de Josep Diaz et al.

aug 2014

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11456

Editat de Alexandra Silva et al.

4 iul 2019

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Monographs in Computer Science

Autor Manfred Broy et al.

27 apr 2001

Preț: 327^.99 lei 409^.99 lei

43-57 zile

-20%

Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8089

Editat de Reiko Heckel et al.

8 aug 2013

Preț: 323^.23 lei 404^.04 lei

43-57 zile

-20%

Autor Qi-Ming He

19 aug 2015

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Mathematical Optimization Theory and Operations Research: Recent Trends: 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1661

Editat de Yury Kochetov et al.

oct 2022

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Developments in Language Theory: 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8633

Editat de Arseny M. Shur et al.

4 aug 2014

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10258

Editat de Wil van der Aalst et al.

5 mai 2017

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10488

Editat de Stefano Tonetta et al.

17 aug 2017

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Graph-Theoretic Concepts in Computer Science: 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers

Lecture Notes in Computer Science, nr. 9224

Editat de Ernst W. Mayr

5 aug 2016

Preț: 330^.85 lei 413^.56 lei

43-57 zile

-20%

Numerical Integration: on Advanced Computer Systems

Lecture Notes in Computer Science, nr. 848

Editat de Arnold R. Krommer et al.

28 sep 1994

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Morphological Modeling of Terrains and Volume Data

SpringerBriefs in Computer Science

Autor Lidija Čomić et al.

28 oct 2014

Preț: 323^.08 lei 403^.85 lei

38-44 zile

-20%

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13230

Editat de Antonio Cerone et al.

25 sep 2022

Preț: 322^.93 lei 403^.66 lei

43-57 zile

-20%

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9698

Editat de Fabrice Kordon et al.

9 iun 2016

Preț: 322^.93 lei 403^.66 lei

43-57 zile

-20%

Optimization Problems and Their Applications: 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers

Communications in Computer and Information Science, nr. 871

Editat de Anton Eremeev et al.

17 iun 2018

Preț: 322^.93 lei 403^.66 lei

43-57 zile

-20%

Methods of Algorithmic Language Implementation

Lecture Notes in Computer Science, nr. 47

Editat de A. Ershov et al.

feb 1977

Preț: 322^.93 lei 403^.66 lei

43-57 zile

-20%

Categorical Methods in Computer Science: With Aspects from Topology

Lecture Notes in Computer Science, nr. 393

Editat de Hartmut Ehrig et al.

11 oct 1989

Preț: 322^.93 lei 403^.66 lei

43-57 zile

-20%

Programs, Recursion and Unbounded Choice

Cambridge Tracts in Theoretical Computer Science, nr. 27

Autor Wim H. Hesselink

21 aug 2005

Preț: 322^.80 lei 403^.50 lei

43-57 zile

-20%

Autor Nicholas Pippenger

9 iun 2010

Preț: 322^.80 lei 403^.50 lei

43-57 zile

-20%

Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8587

Editat de Markus Holzer et al.

4 aug 2014

Preț: 322^.74 lei 403^.43 lei

43-57 zile

-20%

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10855

Editat de Fabio Fioravanti et al.

10 iul 2018

Preț: 322^.74 lei 403^.43 lei

43-57 zile

-20%

Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2180

Editat de Jennifer L. Welch

19 sep 2001

Preț: 322^.74 lei 403^.43 lei

43-57 zile

-20%

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Lecture Notes in Computer Science, nr. 832

Editat de Egon Börger et al.

20 iul 1994

Preț: 322^.74 lei 403^.43 lei

43-57 zile

-20%

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10054

Editat de Maxime Amblard et al.

10 noi 2016

Preț: 322^.74 lei 403^.43 lei

43-57 zile

-20%

Formal Semantics and Pragmatics for Natural Language Querying

Cambridge Tracts in Theoretical Computer Science, nr. 8

Autor James Clifford

24 mar 2004

Preț: 322^.67 lei 403^.33 lei

43-57 zile

-20%

Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12012

Editat de Andreas Herzig et al.

29 ian 2020

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12062

Editat de Uli Fahrenberg et al.

18 mar 2020

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12638

Editat de Alberto Leporati et al.

19 feb 2021

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8723

Editat de Markus Müller-Olm et al.

20 aug 2014

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Lecture Notes in Computer Science, nr. 9560

Editat de Christian W. Probst et al.

25 dec 2015

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Distributed Algorithms: 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings

Lecture Notes in Computer Science, nr. 972

Editat de Jean-Michel Helary et al.

30 aug 1995

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Lectures on Proof Verification and Approximation Algorithms

Lecture Notes in Computer Science, nr. 1367

Editat de Ernst W. Mayr et al.

25 feb 1998

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5486

Editat de Andrea Corradini et al.

7 sep 2009

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday

Lecture Notes in Computer Science, nr. 7260

Editat de Antje Düsterhöft et al.

17 feb 2012

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

A New Kind of Computational Biology: Cellular Automata Based Models for Genomics and Proteomics

Autor Parimal Pal Chaudhuri et al.

30 ian 2019

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Chapman & Hall/CRC The Python Series

Autor Julien Guillod

27 dec 2024

Preț: 843^.13 lei 1053^.92 lei

43-57 zile

-20%

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Lecture Notes in Computer Science, nr. 425

Editat de Clifford H. Bergman et al.

13 noi 2000

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12531

Editat de Shang-Wei Lin et al.

19 dec 2020

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

WALCOM: Algorithms and Computation: 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12635

Editat de Ryuhei Uehara et al.

31 ian 2021

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Mechanical Theorem Proving in Geometries: Basic Principles

Texts & Monographs in Symbolic Computation

Autor Wen-tsün Wu et al.

14 apr 1994

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9705

Editat de Yo-Sub Han et al.

6 iul 2016

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9609

Editat de Manuel Mazzara et al.

28 iun 2016

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Implementation and Application of Automata: 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10977

Editat de Cezar Câmpeanu

30 iun 2018

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Discovery Science: Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1967

Editat de Setsuo Arikawa et al.

15 noi 2000

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Lecture Notes in Computer Science, nr. 417

Editat de Per Martin-Löf et al.

21 feb 1990

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Lecture Notes in Computer Science, nr. 828

Autor Lawrence C. Paulson et al.

28 iul 1994

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9291

Editat de Sandrine Blazy et al.

14 sep 2015

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%

Mathematical Computation with Maple V: Ideas and Applications: Proceedings of the Maple Summer Workshop and Symposium, University of Michigan, Ann Arbor, June 28–30, 1993

Editat de Thomas Lee

14 oct 2012

Preț: 322^.29 lei 402^.86 lei

43-57 zile

-20%

Formal Specification: Techniques and Applications

Autor Nimal Nissanke

27 iul 1999

Preț: 322^.29 lei 402^.86 lei

43-57 zile

-20%

The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments

Lecture Notes in Computer Science, nr. 4500

Editat de Norbert Streitz et al.

10 mai 2007

Preț: 322^.29 lei 402^.86 lei

43-57 zile

-20%

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5715

Editat de Christian S. Calude et al.

28 aug 2009

Preț: 322^.29 lei 402^.86 lei

43-57 zile

-20%

Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information

Monographs in Theoretical Computer Science. An EATCS Series

Autor Ferdinando Cicalese

23 aug 2016

Preț: 332^.13 lei 415^.17 lei

38-44 zile

-20%

Adventures in Computer Science: From Classical Bits to Quantum Bits

Autor Vicente Moret-Bonillo

31 aug 2018

Preț: 322^.14 lei 402^.69 lei

38-44 zile

-20%

Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12422

Editat de Nicholas Olenev et al.

6 noi 2020

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12524

Editat de Loek Cleophas et al.

17 ian 2021

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9259

Editat de Javier Campos et al.

12 aug 2015

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Bioinspired Optimization Methods and Their Applications: 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10835

Editat de Peter Korošec et al.

13 mai 2018

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Modelling and Optimization of Complex System: Proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3–9 July, 1978

Lecture Notes in Control and Information Sciences, nr. 18

Editat de G.I. Marchuk

iul 1979

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1059

Editat de Helene Kirchner

3 apr 1996

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1071

Editat de Pierangelo Miglioli et al.

24 apr 1996

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Models of Strategic Reasoning: Logics, Games, and Communities

Lecture Notes in Computer Science, nr. 8972

Editat de Johan van Benthem et al.

10 ian 2016

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

Communications in Computer and Information Science, nr. 834

Editat de Debdas Ghosh et al.

14 apr 2018

Preț: 322^.11 lei 402^.64 lei

43-57 zile

-20%

The Pillars of Computation Theory: State, Encoding, Nondeterminism

Universitext

Autor Arnold L. Rosenberg

11 noi 2009

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Enjoying Natural Computing: Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Lecture Notes in Computer Science, nr. 11270

Editat de Carmen Graciani et al.

15 sep 2018

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Combinatorics on Words: 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11682

Editat de Robert Mercaş et al.

9 aug 2019

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Developments in Language Theory: 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12086

Editat de Nataša Jonoska et al.

15 mai 2020

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Progress in Computer Science and Applied Logic, nr. 15

Editat de Manuel Bronstein et al.

23 oct 2012

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Implementation and Application of Automata: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9223

Editat de Frank Drewes

28 iul 2015

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9922

Editat de Amund Skavhaug et al.

4 sep 2016

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Distributed Algorithms: 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings

Lecture Notes in Computer Science, nr. 725

Editat de Andre Schiper

8 sep 1993

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings

Lecture Notes in Computer Science, nr. 781

Editat de Gerard Cohen et al.

28 apr 1994

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Monographs in Computer Science

Autor Suad Alagic

16 sep 2011

Preț: 321^.81 lei 402^.26 lei

43-57 zile

-20%

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25–29, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1803

Editat de Alexander Dudin et al.

13 mai 2023

Preț: 481^.73 lei 602^.16 lei

43-57 zile

-20%

Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6885

Editat de Vladimir P. Gerdt et al.

26 aug 2011

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9129

Editat de Ralf Hinze et al.

12 iun 2015

Preț: 321^.81 lei 402^.26 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

Cărți teoria matematică a calculului, pagina 17