Filtre: Paperback

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

1441-1536 din 2,376 rezultate

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7962

Editat de Matti Jarvisalo et al.

19 iul 2013

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10472

Editat de Ralf Klasing et al.

16 aug 2017

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12152

Editat de Ryszard Janicki et al.

25 iun 2020

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9675

Editat de Michael Butler et al.

11 mai 2016

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10936

Editat de Florin Manea et al.

5 iul 2018

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 340

Editat de Grzegorz Rozenberg

7 dec 1988

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Advances in Computing and Information - ICCI '90: International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings

Lecture Notes in Computer Science, nr. 468

Editat de Selim G. Akl et al.

12 feb 1991

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings

Lecture Notes in Computer Science, nr. 790

Editat de Jan van Leeuwen

20 mai 1994

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Middleware 2000: IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1795

Editat de Joseph Sventek et al.

23 mar 2000

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4732

Editat de Klaus Schneider et al.

28 aug 2007

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9394

Editat de Wiebe van der Hoek et al.

9 oct 2015

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 11200

Editat de Tiziana Margaria et al.

26 iun 2019

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12126

Editat de Leszek Gąsieniec et al.

29 mai 2020

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Computer Science – Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12159

Editat de Henning Fernau

13 iun 2020

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10742

Editat de Alexander K. Petrenko et al.

18 ian 2018

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10765

Editat de Ljiljana Brankovic et al.

17 apr 2018

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10817

Editat de Michael Butler et al.

8 mai 2018

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings

Lecture Notes in Computer Science, nr. 529

Editat de Lothar Budach

28 aug 1991

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Algorithm Theory - SWAT '92: Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992. Proceedings

Lecture Notes in Computer Science, nr. 621

Editat de Otto Nurmi et al.

24 iun 1992

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Designing Socially Embedded Technologies in the Real-World

Computer Supported Cooperative Work

Editat de Volker Wulf et al.

18 oct 2016

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Information Technologies and Mathematical Modelling - Queueing Theory and Applications: 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings

Communications in Computer and Information Science, nr. 564

Editat de Alexander Dudin et al.

2 noi 2015

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche

Lecture Notes in Computer Science, nr. 37

Editat de C. Böhm

noi 1975

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Language Hierarchies and Interfaces: International Summer School

Lecture Notes in Computer Science, nr. 46

Editat de F. L. Bauer et al.

dec 1976

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors

Texts in Theoretical Computer Science. An EATCS Series

Autor R. Kurki-Suonio

21 oct 2010

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Distributed Algorithms: 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.

Lecture Notes in Computer Science, nr. 486

Editat de Jan van Leeuwen et al.

19 iun 1991

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

Lecture Notes in Computer Science, nr. 626

Editat de Egon Börger et al.

10 sep 1992

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Lecture Notes in Computer Science, nr. 663

Editat de Gregor von Bochmann et al.

30 mar 1993

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Foundations of Information and Knowledge Systems: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7153

Editat de Thomas Lukasiewicz et al.

24 feb 2012

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Data Structures and Algorithms 1: Sorting and Searching

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

Autor K. Mehlhorn

8 dec 2011

Preț: 326^.66 lei 408^.32 lei

6-8 săpt. | 6-12 zile

-20%

Autor King Sing Cheung

10 sep 2016

Preț: 326^.58 lei 408^.22 lei

39-44 zile

-20%

Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11628

Editat de Mikoláš Janota et al.

29 iun 2019

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

6-8 săpt.

-20%

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12071

Editat de Alexander Raschke et al.

15 mai 2020

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

6-8 săpt.

-20%

Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8402

Editat de T V Gopal et al.

apr 2014

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

6-8 săpt.

-20%

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 9660

Editat de Erika Ábrahám et al.

13 mar 2016

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

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10877

Editat de Victor Khomenko et al.

8 mai 2018

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

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Autor Loe M.G. Feijs et al.

19 oct 1994

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

6-8 săpt.

-20%

Learning Design: A Handbook on Modelling and Delivering Networked Education and Training

Editat de Rob Koper et al.

14 oct 2010

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

6-8 săpt.

-20%

Computer Aided Systems Theory - EUROCAST '89: A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings

Lecture Notes in Computer Science, nr. 410

Editat de Franz Pichler et al.

7 feb 1990

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

6-8 săpt.

-20%

Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings

Lecture Notes in Computer Science, nr. 560

Editat de Somenath Biswas et al.

27 noi 1991

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

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings

Lecture Notes in Computer Science, nr. 768

Editat de Utpal Banerjee et al.

28 ian 1994

Preț: 638^.44 lei 798^.05 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings

Lecture Notes in Computer Science, nr. 903

Editat de Ernst W. Mayr et al.

17 mar 1995

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

6-8 săpt.

-20%

Computing and Combinatorics: Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1090

Editat de Jin-Yi Cai et al.

5 iun 1996

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

6-8 săpt.

-20%

Graph Drawing: 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers

Lecture Notes in Computer Science, nr. 4875

Editat de Seok-Hee Hong et al.

28 ian 2008

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

6-8 săpt.

-20%

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4988

Editat de Rudolf Berghammer et al.

28 mar 2008

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

6-8 săpt.

-20%

Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5595

Editat de Ralf Treinen

9 iun 2009

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

6-8 săpt.

-20%

Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5743

Editat de Vladimir P. Gerdt et al.

28 aug 2009

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

6-8 săpt.

-20%

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6014

Editat de Luke Ong

16 mar 2010

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

6-8 săpt.

-20%

Computer Science -- Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6072

Editat de Farid M. Ablaev et al.

iun 2010

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

3-5 săpt.

-20%

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6255

Editat de Ana Cavalcanti et al.

11 aug 2010

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

3-5 săpt.

-20%

Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I

Lecture Notes in Computer Science, nr. 6624

Editat de Cecilia Di Chio et al.

19 apr 2011

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

3-5 săpt.

-20%

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6695

Editat de Karem A. Sakallah et al.

iun 2011

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

3-5 săpt.

-20%

Hybrid Learning: 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6837

Editat de Reggie Kwan et al.

21 iul 2011

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

6-8 săpt.

-20%

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6898

Editat de Marko Van Eekelen et al.

2 aug 2011

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

6-8 săpt.

-20%

Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6859

Editat de Andrea Corradini et al.

19 aug 2011

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

3-5 săpt.

-20%

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6914

Editat de Olaf Owe et al.

9 aug 2011

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

6-8 săpt.

-20%

Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7762

Editat de Erzsebet Csuhaj-Varju et al.

20 feb 2013

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

6-8 săpt.

-20%

Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9709

Editat de Arnold Beckmann et al.

iun 2016

Preț: 326^.53 lei 408^.16 lei

6-8 săpt.

-20%

A Basis for Theoretical Computer Science

Monographs in Computer Science

Autor M.A. Arbib et al.

14 dec 2011

Preț: 326^.50 lei 408^.11 lei

39-44 zile

-20%

Introduction to College Mathematics with A Programming Language

Undergraduate Texts in Mathematics

Autor Edward J. LeCuyer

21 dec 2011

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8657

Editat de Gethin Norman et al.

20 aug 2014

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8747

Editat de Dieter Kratsch et al.

31 oct 2014

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11024

Editat de Annabelle McIver et al.

15 aug 2018

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981

Lecture Notes in Computer Science, nr. 134

Editat de J. Staunstrup

apr 1982

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings

Lecture Notes in Computer Science, nr. 472

Editat de Kesav V. Nori et al.

5 dec 1990

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Algorithms - ESA '93: First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings

Lecture Notes in Computer Science, nr. 726

Editat de Thomas Lengauer

21 sep 1993

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Memory Management: International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings

Lecture Notes in Computer Science, nr. 986

Editat de Henry G. Baker

11 sep 1995

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4501

Editat de Joao Marques-Silva et al.

18 mai 2007

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Lecture Notes in Computer Science, nr. 8222

Editat de Claudia Casadio et al.

17 mar 2014

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10206

Editat de Axel Legay et al.

31 mar 2017

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12301

Editat de Isolde Adler et al.

16 oct 2020

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

SWAT '90: 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings

Lecture Notes in Computer Science, nr. 447

Editat de John R. Gilbert et al.

2 iul 1990

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings

Lecture Notes in Computer Science, nr. 980

Editat de Afonso Ferreira et al.

25 aug 1995

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Formal Methods in Human-Computer Interaction

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Philippe Palanque et al.

29 oct 1997

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7406

Editat de Lennart Beringer et al.

6 iul 2012

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8054

Editat de Kaustubh Joshi et al.

7 aug 2013

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Autor Cliff B. Jones

18 noi 2021

Preț: 326^.14 lei 407^.68 lei

39-44 zile

-20%

Exercises in Cellular Automata and Groups

Springer Monographs in Mathematics

Autor Michel Coornaert

2 noi 2024

Preț: 326^.10 lei 407^.63 lei

Indisponibil temporar

-20%

Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6372

Editat de Hartmut Ehrig et al.

27 sep 2010

Preț: 326^.10 lei 407^.63 lei

6-8 săpt.

-20%

Analysis and Design of Information Systems

Autor Arthur M. Langer

13 oct 2010

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8553

Editat de Oscar H. Ibarra et al.

25 iul 2014

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

CAAP '83: Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings

Lecture Notes in Computer Science, nr. 159

Editat de G. Ausiello et al.

oct 1983

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings

Lecture Notes in Computer Science, nr. 652

Editat de Rudrapatna Shyamasundar

26 noi 1992

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings

Lecture Notes in Computer Science, nr. 937

Editat de Zvi Galil et al.

21 iun 1995

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings

Lecture Notes in Computer Science, nr. 1023

Editat de Kanchana Kanchanasut et al.

28 noi 1995

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Lecture Notes in Computer Science, nr. 8051

Editat de Zhiming Liu et al.

31 iul 2013

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9840

Editat de Srečko Brlek et al.

21 iul 2016

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Undergraduate Texts in Computer Science

Autor Dexter C. Kozen

13 oct 2012

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11884

Editat de Robert Mark Hierons et al.

26 oct 2019

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Algorithmic Number Theory: Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings

Lecture Notes in Computer Science, nr. 1122

Editat de Henri Cohen

7 aug 1996

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Combinatorial Pattern Matching: 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5577

Editat de Gregory Kucherov et al.

8 iun 2009

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5675

Editat de Anna Frid et al.

28 iul 2009

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6953

Editat de Hans van Ditmarsch et al.

13 sep 2011

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7056

Editat de Costas S. Iliopoulos et al.

9 ian 2012

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7927

Editat de Jose-Manuel Colom et al.

6 iun 2013

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Communications in Computer and Information Science, nr. 1165

Editat de Osman Hasan et al.

26 apr 2020

Preț: 325^.65 lei 407^.06 lei

39-44 zile

-20%

Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12098

Editat de Marcella Anselmo et al.

24 iun 2020

Preț: 325^.61 lei 407^.00 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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