Filtre: Paperback

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

577-672 din 2,366 rezultate

Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1961

Editat de Jifeng He et al.

13 dec 2000

Preț: 320^.72 lei 400^.90 lei

6-8 săpt.

-20%

Many-Valued Logics 2: Automated Reasoning and Practical Applications

Autor Leonard Bolc et al.

dec 2010

Preț: 320^.72 lei 400^.90 lei

6-8 săpt.

-20%

Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4748

Editat de Katinka Wolter

17 sep 2007

Preț: 320^.72 lei 400^.90 lei

6-8 săpt.

-20%

Arithmetic of Finite Fields: 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11321

Editat de Lilya Budaghyan et al.

31 dec 2018

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 11500

Editat de Ezio Bartocci et al.

21 sep 2019

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

Workshops in Computing

Editat de David Till

19 iul 1994

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

Artificial Immune Systems: Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2787

Editat de Jon Timmis et al.

14 aug 2003

Preț: 320^.86 lei 401^.08 lei

3-5 săpt.

-20%

Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness

Monographs in Theoretical Computer Science. An EATCS Series, nr. 2

Autor K. Mehlhorn

25 dec 2011

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9941

Editat de Pinar Heggernes

28 sep 2016

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Lecture Notes in Computer Science, nr. 11429

Editat de Dirk Beyer et al.

4 apr 2019

Preț: 320^.92 lei 401^.15 lei

3-5 săpt. | 7-11 zile

-20%

Autor Harald Nahrstedt

30 sep 2025

Preț: 320^.92 lei

6-8 săpt.

Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10316

Editat de Giovanni Pighizzini et al.

3 iun 2017

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: International Workshop WG '86 Bernried, Federal Republic of Germany, June 17-19, 1986, Proceedings

Lecture Notes in Computer Science, nr. 246

Editat de Gottfried Tinhofer et al.

8 apr 1987

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings

Lecture Notes in Computer Science, nr. 415

Editat de Christian Choffrut et al.

7 feb 1990

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Lecture Notes in Computer Science, nr. 901

Editat de Ramayya Kumar et al.

6 mar 1995

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

High Performance Embedded Architectures and Compilers: Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

Lecture Notes in Computer Science, nr. 4367

Editat de Koen De Bosschere et al.

12 ian 2007

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November 22-24, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4381

Editat de Jin Akiyama et al.

26 ian 2007

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5148

Editat de Oscar H. Ibarra et al.

10 iul 2008

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5261

Editat de Nigel Thomas et al.

10 sep 2008

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Experimental Algorithms: 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5526

Editat de Jan Vahrenhold

22 mai 2009

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Lecture Notes in Computer Science, nr. 5475

Editat de Patrick Eugster

25 mai 2009

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Rainbow of Computer Science: Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

Lecture Notes in Computer Science, nr. 6570

Editat de Cristian S. Calude et al.

22 mar 2011

Preț: 321^.03 lei 401^.30 lei

3-5 săpt.

-20%

Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7643

Editat de W. F. Symth et al.

5 dec 2012

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10580

Editat de Dang Van Hung et al.

17 sep 2017

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3871

Editat de El-ghazali Talbi et al.

18 apr 2006

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Algorithms and Complexity: Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1203

Editat de Giancarlo Bongiovanni et al.

26 feb 1997

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Transactions on Petri Nets and Other Models of Concurrency V

Lecture Notes in Computer Science, nr. 6900

Kurt Jensen et al.

27 mar 2012

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8070

Editat de Leszek Gąsieniec et al.

8 aug 2013

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Algorithmic Aspects in Information and Management: 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11343

Editat de Shaojie Tang et al.

17 noi 2018

Preț: 321^.35 lei 401^.68 lei

6-8 săpt.

-20%

Algebraic Informatics: 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009

Lecture Notes in Computer Science, nr. 5725

Editat de Symeon Bozapalidis et al.

28 aug 2009

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

Developments in Language Theory: 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11647

Editat de Piotrek Hofman et al.

10 iul 2019

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9268

Editat de Sriram Sankaranarayanan et al.

12 aug 2015

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10792

Editat de Shmuel Tomi Klein et al.

8 mar 2018

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Advanced Speech Applications: European Research on Speech Technology

Research Reports Esprit, nr. 1

Editat de Kadamula Varghese et al.

28 sep 1994

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7386

Editat de Martin Kutrib et al.

18 iul 2012

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12545

Editat de Violet Ka I Pun et al.

25 noi 2020

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11093

Editat de Barbara Gallina et al.

17 aug 2018

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Distributed Algorithms: 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings

Lecture Notes in Computer Science, nr. 579

Editat de Sam Toueg et al.

11 mar 1992

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6735

Editat de Benedikt Löwe et al.

22 iun 2011

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7892

Editat de Dirk Beyer et al.

16 mai 2013

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Uncertainty Quantification in Scientific Computing: 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

IFIP Advances in Information and Communication Technology, nr. 377

Editat de Andrew Dienstfrey et al.

20 sep 2014

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Lecture Notes in Computer Science, nr. 9804

Editat de Annie Foret et al.

6 aug 2016

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Monographs in Computer Science

Autor Suad Alagic

16 sep 2011

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

6-8 săpt.

-20%

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers

Communications in Computer and Information Science, nr. 1109

Editat de Alexander Dudin et al.

21 oct 2019

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

6-8 săpt.

-20%

Computer Algebra in Scientific Computing

Editat de Vladimir P. Gerdt et al.

11 sep 2013

Preț: 329^.35 lei 411^.69 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10160

Editat de Thomas Gibson-Robinson et al.

18 dec 2016

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

6-8 săpt.

-20%

Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10226

Editat de Peter Höfner et al.

25 apr 2017

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

6-8 săpt.

-20%

IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Workshops in Computing

Editat de Graham Birtwistle

31 iul 1991

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

6-8 săpt.

-20%

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Workshops in Computing

Editat de Geoffrey Burn et al.

24 sep 1993

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

6-8 săpt.

-20%

Algorithmic Foundations of Geographic Information Systems

Lecture Notes in Computer Science, nr. 1340

Editat de Marc van Kreveld et al.

12 noi 1997

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

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5813

Editat de Joel Ouaknine et al.

7 sep 2009

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

6-8 săpt.

-20%

Business Information Systems: 13th International Conference, BIS 2010, Berlin, Germany, May 3-5, 2010, Proceedings

Lecture Notes in Business Information Processing, nr. 47

Editat de Witold Abramowicz et al.

23 apr 2010

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

6-8 săpt.

-20%

Information Security and Cryptography

Autor Benny Applebaum

23 aug 2016

Preț: 331^.15 lei 413^.93 lei

38-44 zile

-20%

Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6808

Editat de Markus Holzer et al.

18 iul 2011

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

3-5 săpt.

-20%

Autor Adrian Groza

27 oct 2021

Preț: 321^.93 lei 402^.42 lei

3-5 săpt. | 7-11 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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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%

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

6-8 săpt.

-20%

Formal Specification: Techniques and Applications

Autor Nimal Nissanke

27 iul 1999

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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%

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 828

Autor Lawrence C. Paulson et al.

28 iul 1994

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

6-8 săpt.

-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

6-8 săpt.

-20%

Chapman & Hall/CRC The Python Series

Autor Julien Guillod

27 dec 2024

Preț: 322^.48 lei 403^.10 lei

3-5 săpt. | 7-11 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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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