Filtre: Paperback

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

1249-1344 din 2,376 rezultate

Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5583

Editat de Volker Diekert et al.

22 iun 2009

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

6-8 săpt.

-20%

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10499

Editat de Mauricio Ayala-Rincón et al.

21 aug 2017

Preț: 331^.97 lei 414^.96 lei

6-8 săpt.

-20%

Optimization and Applications: 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers

Communications in Computer and Information Science, nr. 974

Editat de Yury Evtushenko et al.

11 ian 2019

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12178

Editat de Luca Pulina et al.

iul 2020

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension

Lecture Notes in Computer Science, nr. 458

Editat de Joseph C. M. Baeten et al.

15 aug 1990

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

Entity-Relationship Approach - ER '93: 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 823

Editat de Ramez A. Elmasri et al.

28 iul 1994

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings

Lecture Notes in Computer Science, nr. 836

Editat de Bengt Jonsson et al.

27 iul 1994

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

Texts in Computer Science

Autor Arindama Singh

22 noi 2014

Preț: 331^.62 lei 414^.53 lei

6-8 săpt.

-20%

LATIN '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings

Lecture Notes in Computer Science, nr. 911

Editat de Ricardo Baeza-Yates et al.

20 mar 1995

Preț: 331^.62 lei 414^.53 lei

6-8 săpt.

-20%

Design Science at the Intersection of Physical and Virtual Design: 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings

Lecture Notes in Computer Science, nr. 7939

Editat de Jan vom Brocke et al.

24 mai 2013

Preț: 331^.62 lei 414^.53 lei

6-8 săpt.

-20%

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Lecture Notes in Computer Science, nr. 12232

Editat de Emil Sekerinski et al.

13 aug 2020

Preț: 331^.48 lei 414^.35 lei

6-8 săpt.

-20%

The IMA Volumes in Mathematics and its Applications, nr. 123

Editat de Brian Marcus et al.

13 iul 2013

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Lecture Notes in Computer Science, nr. 9780

Editat de Swarat Chaudhuri et al.

14 iul 2016

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1992: 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings

Lecture Notes in Computer Science, nr. 629

Editat de Ivan M. Havel et al.

12 aug 1992

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers

Lecture Notes in Computer Science, nr. 906

Editat de Egidio Astesiano et al.

21 apr 1995

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint: 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers

Lecture Notes in Computer Science, nr. 4840

Editat de Lucas Paletta et al.

11 ian 2008

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers

Lecture Notes in Computer Science, nr. 5196

Editat de Carlos Martin-Vide et al.

8 oct 2008

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5674

Editat de Stefan Berghofer et al.

4 aug 2009

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Advanced Parallel Processing Technologies: 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5737

Editat de Yong Dou et al.

6 aug 2009

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 5957

Editat de Gheorghe Paun et al.

12 ian 2010

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

New Challenges on Bioinspired Applications: 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II

Lecture Notes in Computer Science, nr. 6687

Editat de José M. Ferrández et al.

20 mai 2011

Preț: 331^.30 lei 414^.13 lei

3-5 săpt.

-20%

Lecture Notes in Computer Science, nr. 424

Editat de Grzegorz Rozenberg

4 apr 1990

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Lecture Notes in Computer Science, nr. 780

Editat de Jeffrey J. Joyce et al.

28 apr 1994

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Algorithms - ESA '94: Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings

Lecture Notes in Computer Science, nr. 855

Editat de Jan van Leeuwen

14 sep 1994

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings

Lecture Notes in Computer Science, nr. 469

Editat de Irene Guessarian

28 noi 1990

Preț: 330^.98 lei 413^.73 lei

6-8 săpt.

-20%

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5532

Editat de Jianer Chen et al.

28 apr 2009

Preț: 330^.98 lei 413^.73 lei

6-8 săpt.

-20%

Pattern Recognition and Machine Intelligence: 4th International Conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6744

Editat de Sergei O. Kuznetsov et al.

14 iun 2011

Preț: 330^.98 lei 413^.73 lei

3-5 săpt.

-20%

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7213

Editat de Lars Birkedal

14 mar 2012

Preț: 330^.98 lei 413^.73 lei

6-8 săpt.

-20%

Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10931

Editat de James H. Davenport et al.

14 iul 2018

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

6-8 săpt.

-20%

Attribute Grammars, Applications and Systems: International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings

Lecture Notes in Computer Science, nr. 545

Editat de Henk Alblas et al.

23 oct 1991

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

6-8 săpt.

-20%

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Lecture Notes in Computer Science, nr. 620

Editat de Anil Nerode et al.

24 iun 1992

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

6-8 săpt.

-20%

Mathematical Optimization Theory and Operations Research: 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12755

Editat de Panos Pardalos et al.

14 iun 2021

Preț: 330^.68 lei 413^.35 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings

Lecture Notes in Computer Science, nr. 935

Editat de Giorgio DeMichelis et al.

7 iun 1995

Preț: 330^.68 lei 413^.35 lei

6-8 săpt.

-20%

Integer Programming and Combinatorial Optimization: 5th International IPCO Conference Vancouver, British Columbia, Canada June 3–5, 1996 Proceedings

Lecture Notes in Computer Science, nr. 1084

Editat de William H. Cunningham et al.

15 mai 1996

Preț: 330^.68 lei 413^.35 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011

Lecture Notes in Computer Science, nr. 6638

Editat de Adrian-Horia Dediu et al.

19 mai 2011

Preț: 330^.68 lei 413^.35 lei

6-8 săpt.

-20%

Monographs in Computer Science

Autor David Gries et al.

dec 2010

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings

Lecture Notes in Computer Science, nr. 278

Editat de Lothar Budach et al.

9 dec 1987

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 483

Editat de Grzegorz Rozenberg

13 mar 1991

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Lecture Notes in Computer Science, nr. 697

Editat de Costas Courcoubetis

16 iun 1993

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Lecture Notes in Computer Science, nr. 802

Editat de Stephen Brookes et al.

20 mai 1994

Preț: 638^.14 lei 797^.67 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5874

Editat de Jiri Fiala et al.

9 noi 2009

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6604

Editat de Martin Hofmann

18 mar 2011

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Stochastic Models in Reliability, Network Security and System Safety: Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday

Communications in Computer and Information Science, nr. 1102

Editat de Quan-Lin Li et al.

30 oct 2019

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Optimization and Applications: 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers

Communications in Computer and Information Science, nr. 1145

Editat de Milojica Jaćimović et al.

8 ian 2020

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12097

Editat de Anna Maria Bigatti et al.

8 iul 2020

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Quantifier Elimination and Cylindrical Algebraic Decomposition

Texts & Monographs in Symbolic Computation

Editat de Bob F. Caviness et al.

16 apr 1998

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9807

Editat de Jasmin Christian Blanchette et al.

7 aug 2016

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Algorithmic Language and Program Development

Monographs in Computer Science

H. Partsch et al.

19 oct 2011

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Hypertext / Hypermedia ’91: Tagung der GI, SI und OCG, Graz, 27. / 28. Mai 1991 Proceedings

Informatik-Fachberichte, nr. 276

Editat de Hermann Maurer

15 mai 1991

Preț: 330^.36 lei 412^.95 lei

38-44 zile

-20%

Advances in Cryptology - ASIACRYPT '91: International Conference on the Theory and Application of Cryptology, Fujiyoshida, Japan, November 11-14, 1991. Proceedings

Lecture Notes in Computer Science, nr. 739

Editat de Hideki Imai et al.

13 oct 1993

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings

Lecture Notes in Computer Science, nr. 1012

Editat de Miroslav Bartosek et al.

8 noi 1995

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7317

Editat de Alessandro Cimatti et al.

22 iun 2012

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Shape Reconstruction from Apparent Contours: Theory and Algorithms

Computational Imaging and Vision, nr. 44

Autor Giovanni Bellettini et al.

9 oct 2016

Preț: 348^.62 lei 435^.77 lei

38-44 zile

-20%

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8560

Editat de Gilles Dowek

15 iul 2014

Preț: 330^.23 lei 412^.79 lei

6-8 săpt.

-20%

SOFSEM '96: Theory and Practice of Informatics: 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1175

Editat de Keith G. Jeffery et al.

6 noi 1996

Preț: 330^.23 lei 412^.79 lei

6-8 săpt.

-20%

A Practical Introduction to Denotational Semantics

Cambridge Computer Science Texts, nr. 23

Autor L. Allison

29 ian 1987

Preț: 330^.18 lei 412^.72 lei

6-8 săpt.

-20%

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 11665

Editat de Michele Boreale et al.

4 iul 2019

Preț: 330^.05 lei 412^.56 lei

6-8 săpt.

-20%

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5728

Editat de Alexander Kurz et al.

28 aug 2009

Preț: 330^.05 lei 412^.56 lei

6-8 săpt.

-20%

Human Aspects of Information Security, Privacy, and Trust

Editat de Theo Tryfonas et al.

23 mai 2014

Preț: 329^.95 lei 412^.43 lei

6-8 săpt.

-20%

Designing the Digital Transformation: 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10243

Editat de Alexander Maedche et al.

23 mai 2017

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings

Lecture Notes in Computer Science, nr. 380

Editat de Janos Csirik et al.

31 iul 1989

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings

Lecture Notes in Computer Science, nr. 378

Editat de James H. Davenport

9 aug 1989

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Principles of Distributed Systems: 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4878

Editat de Eduardo Tovar et al.

30 noi 2007

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7935

Editat de Francesco Logozzo et al.

6 iun 2013

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7998

Editat de Sandrine Blazy et al.

19 iul 2013

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Computation of Language: An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication

Symbolic Computation

Autor Roland Hausser et al.

23 aug 2014

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Applied Probability-Computer Science: The Interface Volume 1: Sponsored by Applied Probability Technical Section College of the Operations Research Society of America The Institute of Management Sciences January 5–7, 1981 Florida Atlantic University Boca Raton, Florida

Progress in Computer Science and Applied Logic

Autor R.L. Disney et al.

1983

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12095

Editat de Alexander Kononov et al.

17 iun 2020

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Lecture Notes in Computer Science, nr. 575

Editat de Kim G. Larsen et al.

22 apr 1992

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings

Lecture Notes in Computer Science, nr. 948

Editat de Gerard Cohen et al.

5 iul 1995

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings

Lecture Notes in Computer Science, nr. 5783

Editat de Francesca Rossi et al.

5 oct 2009

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Sequences and Their Applications - SETA 2010: 6th International Conference, Paris, France, September 13-17, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6338

Editat de Claude Carlet et al.

sep 2010

Preț: 329^.74 lei 412^.17 lei

3-5 săpt.

-20%

Graph Drawing: 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7034

Editat de Marc van Kreveld et al.

16 ian 2012

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7148

Editat de Viktor Kuncak et al.

12 ian 2012

Preț: 329^.74 lei 412^.17 lei

3-5 săpt.

-20%

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 9600

Editat de Sam Lindley et al.

31 mar 2016

Preț: 329^.60 lei 412^.00 lei

6-8 săpt.

-20%

Spatial Information Theory: A Theoretical Basis for GIS: A Theoretical Basis for GIS. European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993. Proceedings

Lecture Notes in Computer Science, nr. 716

Editat de Andrew U. Frank et al.

2 sep 1993

Preț: 329^.60 lei 412^.00 lei

6-8 săpt.

-20%

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Lecture Notes in Computer Science, nr. 1092

Editat de Hans Kleine Buening

5 iun 1996

Preț: 329^.60 lei 412^.00 lei

6-8 săpt.

-20%

Sequences II: Methods in Communication, Security, and Computer Science

Editat de Renato Capocelli et al.

16 dec 2011

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

From Bioinspired Systems and Biomedical Applications to Machine Learning: 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II

Lecture Notes in Computer Science, nr. 11487

Editat de José Manuel Ferrández Vicente et al.

10 mai 2019

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12734

Editat de Didier Buchs et al.

21 mai 2021

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Computer Science – Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12730

Editat de Rahul Santhanam et al.

17 iun 2021

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9965

Editat de Augusto Sampaio et al.

22 sep 2016

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Natural and Artificial Computation for Biomedicine and Neuroscience: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

Lecture Notes in Computer Science, nr. 10337

Editat de José Manuel Ferrández Vicente et al.

27 mai 2017

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

mural: A Formal Development Support System

Autor C. B. Jones et al.

29 mai 1991

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

Lecture Notes in Computer Science, nr. 1135

Editat de Bengt Jonsson et al.

21 aug 1996

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Graph Drawing: 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4372

Editat de Michael Kaufmann et al.

7 feb 2007

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Natural and Artificial Computation in Engineering and Medical Applications: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Lecture Notes in Computer Science, nr. 7931

Editat de Jose Manuel Ferrandez Vicente et al.

16 mai 2013

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Lecture Notes in Computer Science, nr. 11760

Editat de Mário S. Alvim et al.

12 sep 2019

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13572

Editat de Helmut Seidl et al.

3 oct 2022

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8687

Editat de Gabriel Ciobanu et al.

23 sep 2014

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Lecture Notes in Computer Science, nr. 8808

Editat de Cristian S. Calude et al.

18 dec 2014

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Foraging-Inspired Optimisation Algorithms

Natural Computing Series

Autor Anthony Brabazon et al.

11 feb 2019

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity

Texts in Theoretical Computer Science. An EATCS Series

Autor Jörg Rothe

21 oct 2010

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings

Lecture Notes in Computer Science, nr. 2053

Editat de Olivier Danvy et al.

25 apr 2001

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Lecture Notes in Computer Science, nr. 818

Editat de David L. Dill

iun 1994

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

GI — 11. Jahrestagung: In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

Informatik-Fachberichte, nr. 50

Editat de W. Brauer

oct 1981

Preț: 329^.16 lei 411^.44 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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