Filtre: Paperback

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

769-864 din 2,366 rezultate

Discrete and Computational Geometry: Japanese Conference, JCDCG 2000, Tokyo, Japan, November, 22-25, 2000. Revised Papers

Lecture Notes in Computer Science, nr. 2098

Editat de Jin Akiyama et al.

20 iun 2001

Preț: 324^.68 lei 405^.84 lei

6-8 săpt.

-20%

Computational Methods in Environmental Fluid Mechanics

Autor Olaf Kolditz

17 sep 2011

Preț: 324^.68 lei 405^.84 lei

6-8 săpt.

-20%

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

Lecture Notes in Computer Science, nr. 407

Editat de Joseph Sifakis

10 ian 1990

Preț: 324^.68 lei 405^.84 lei

6-8 săpt.

-20%

Distributed Algorithms: 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings

Lecture Notes in Computer Science, nr. 647

Editat de Adrian Segall et al.

15 oct 1992

Preț: 324^.68 lei 405^.84 lei

6-8 săpt.

-20%

Lambda Calculi: A Guide for Computer Scientists

Graduate Texts in Computer Science, nr. 3

Chris Hankin

13 oct 1994

Preț: 324^.80 lei 530^.11 lei

44-50 zile

-39%

Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11194

Editat de Jules Desharnais et al.

6 oct 2018

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9527

Editat de Moreno Falaschi

17 dec 2015

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9826

Editat de Gul Agha et al.

3 aug 2016

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10396

Editat de Émilie Charlier et al.

21 iul 2017

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10500

Editat de Joost-Pieter Katoen et al.

29 sep 2017

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

SOFSEM 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004

Lecture Notes in Computer Science, nr. 2932

Editat de Peter Van Emde Boas et al.

14 ian 2004

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Cambridge Tracts in Theoretical Computer Science, nr. 23

Autor E. -R. Olderog

21 aug 2005

Preț: 324^.86 lei 406^.08 lei

6-8 săpt.

-20%

Databases, Information Systems, and Peer-to-Peer Computing: First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers

Lecture Notes in Computer Science, nr. 2944

Editat de Karl Aberer et al.

dec 2010

Preț: 454^.71 lei 568^.39 lei

6-8 săpt.

-20%

Foundation Discrete Mathematics for Computing

Tutorial Guides in Computing and Information Systems

Autor DEXTER J. BOOTH

1995

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Adaptive Computing in Design and Manufacture V

Editat de I.C. Parmee

18 apr 2002

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Queueing Theory and Network Applications: 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11688

Editat de Tuan Phung-Duc et al.

15 aug 2019

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Structural Information and Communication Complexity: 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12810

Editat de Tomasz Jurdziński et al.

20 iun 2021

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9348

Editat de Wolfram Kahl et al.

19 noi 2015

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings

Lecture Notes in Computer Science, nr. 239

Editat de Austin Melton

oct 1986

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers

Lecture Notes in Computer Science, nr. 2064

Editat de Jens Blanck et al.

23 mai 2001

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Advanced Information Systems Engineering: Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings

Lecture Notes in Computer Science, nr. 436

Editat de Bo Steinholtz et al.

25 apr 1990

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

EUROCODE '90: International Symposium on Coding Theory and Applications, Udine, Italy, November 5-9, 1990. Proceedings

Lecture Notes in Computer Science, nr. 514

Editat de Gerard Cohen et al.

24 iul 1991

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Data Structures and Efficient Algorithms: Final Report on the DFG Special Joint Initiative

Lecture Notes in Computer Science, nr. 594

Editat de Burkhard Monien et al.

20 mai 1992

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Lecture Notes in Computer Science, nr. 806

Editat de Henk Barendregt et al.

20 mai 1994

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Algorithm Theory - SWAT '94: 4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings

Lecture Notes in Computer Science, nr. 824

Editat de Erik M. Schmidt et al.

22 iun 1994

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Combinatorial Pattern Matching: 7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1075

Editat de Dan Hirschberg et al.

8 mai 1996

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings

Lecture Notes in Computer Science, nr. 1180

Editat de Vijay Chandru et al.

27 noi 1996

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4435

Editat de Mitsu Okada et al.

24 ian 2008

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5827

Editat de Rudolf Berghammer et al.

5 oct 2009

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings

Lecture Notes in Computer Science, nr. 5956

Editat de Sebastian Link et al.

2 mar 2010

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Mathematical Software - ICMS 2010: Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6327

Editat de Komei Fukuda et al.

30 aug 2010

Preț: 324^.99 lei 406^.23 lei

3-5 săpt.

-20%

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6663

Editat de Harrie de Swart

20 mai 2011

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Advances in Self-Organizing Maps: 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6731

Editat de Jorma Laaksonen et al.

3 iun 2011

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Lecture Notes in Computer Science, nr. 7020

Editat de Werner Kuich et al.

13 oct 2011

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 7230

Editat de Robert L. Constable et al.

11 apr 2012

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7342

Editat de Jeremy Gibbons et al.

18 iun 2012

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7961

Editat de Jacques Carette et al.

22 iul 2013

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10979

Editat de Costas Iliopoulos et al.

4 iul 2018

Preț: 325^.15 lei 406^.44 lei

6-8 săpt.

-20%

Texts in Computational Science and Engineering, nr. 4

Autor Henry Gardner et al.

21 noi 2014

Preț: 325^.15 lei 406^.44 lei

6-8 săpt.

-20%

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Cambridge Tracts in Theoretical Computer Science, nr. 32

Autor Robert L. Carpenter

9 noi 2005

Preț: 325^.16 lei 406^.46 lei

6-8 săpt.

-20%

Information Technologies and Mathematical Modelling: 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

Communications in Computer and Information Science, nr. 487

Editat de Alexander Dudin et al.

21 noi 2014

Preț: 327^.84 lei 409^.80 lei

6-8 săpt.

-20%

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

Communications in Computer and Information Science, nr. 800

Editat de Alexander Dudin et al.

3 oct 2017

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

Structure in Complexity Theory: Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986

Lecture Notes in Computer Science, nr. 223

Editat de Alan L. Selman

mai 1986

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Lecture Notes in Computer Science, nr. 813

Editat de Anil Nerode et al.

8 iun 1994

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

Advanced Information Systems Engineering: 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings

Lecture Notes in Computer Science, nr. 932

Editat de Juhani Iivari et al.

30 mai 1995

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4583

Editat de Simona Ronchi Della Rocca

15 iun 2007

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, Proceedings

Lecture Notes in Computer Science, nr. 4566

Editat de Marvin J. Dainoff

2 iul 2007

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 28

Autor Peter Padawitz

22 noi 2006

Preț: 325^.34 lei 406^.68 lei

6-8 săpt.

-20%

Parallel and Distributed Computing, Applications and Technologies: 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12606

Editat de Yong Zhang et al.

21 feb 2021

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9923

Editat de Amund Skavhaug et al.

sep 2016

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Theoretical Computer Science: Essays in Memory of Shimon Even

Lecture Notes in Computer Science, nr. 3895

Editat de Oded Goldreich et al.

22 mar 2006

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings

Lecture Notes in Computer Science, nr. 456

Editat de Pierre Deransart et al.

8 aug 1990

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

ISA '91 Algorithms: 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings

Lecture Notes in Computer Science, nr. 557

Editat de Wen-Lian Hsu et al.

27 noi 1991

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings

Lecture Notes in Computer Science, nr. 616

Editat de Kurt Jensen

10 iun 1992

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Advances in Cryptology - ASIACRYPT '96: International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings

Lecture Notes in Computer Science, nr. 1163

Editat de Kwangjo Kim et al.

16 oct 1996

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

NATO ASI Subseries F:, nr. 157

Editat de Helmut Schwichtenberg

13 oct 2012

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Lecture Notes in Economics and Mathematical Systems, nr. 688

Autor Jiuping Xu et al.

30 aug 2016

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

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

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13479

Editat de Erika Ábrahám et al.

11 sep 2022

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

6-8 săpt.

-20%

Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10307

Editat de Jarkko Kari et al.

12 mai 2017

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

6-8 săpt.

-20%

Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980

Lecture Notes in Computer Science, nr. 100

Editat de H Noltemeier

feb 1981

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

6-8 săpt.

-20%

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Lecture Notes in Computer Science, nr. 693

Editat de Peter E. Lauer

16 iun 1993

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

6-8 săpt.

-20%

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7086

Editat de Jean-Pierre Jouannaud et al.

18 noi 2011

Preț: 325^.61 lei 407^.00 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

38-44 zile

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

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%

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%

Autor Cliff B. Jones

18 noi 2021

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

38-44 zile

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

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%

Papetărie, jocuri, reviste

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