Filtre: Paperback

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

1921-2016 din 2,364 rezultate

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12549

Editat de Maria Christakis et al.

6 dec 2020

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8762

Editat de Joel Ouaknine et al.

23 sep 2014

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10952

Editat de Stavros Konstantinidis et al.

11 iul 2018

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Context-Free Grammars: Covers, Normal Forms, and Parsing

Lecture Notes in Computer Science, nr. 93

Autor A. Nijholt

sep 1980

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

Lecture Notes in Computer Science, nr. 613

Editat de J.Paul Jr. Myers et al.

24 iun 1992

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Mathematics and Its Applications, nr. 390

Autor W.D. Wallis

8 dec 2010

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Probabilistic Analysis of Algorithms: On Computing Methodologies for Computer Algorithms Performance Evaluation

Monographs in Computer Science

Autor Micha Hofri

12 oct 2011

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11758

Editat de Brijesh Dongol et al.

16 oct 2019

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8711

Editat de Axel Legay et al.

19 aug 2014

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9271

Editat de Alessandro Abate et al.

10 ian 2016

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Operations Research and Enterprise Systems: 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Communications in Computer and Information Science, nr. 577

Editat de Dominique De Werra et al.

16 dec 2015

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9933

Editat de Maurice H. ter Beek et al.

14 sep 2016

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Queueing Theory and Network Applications: 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10932

Editat de Yutaka Takahashi et al.

12 iun 2018

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Database Machine Performance: Modeling Methodologies and Evaluation Strategies

Lecture Notes in Computer Science, nr. 257

Editat de Francesca Cesarini et al.

24 iun 1987

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings

Lecture Notes in Computer Science, nr. 314

Editat de Herbert Göttler et al.

8 iun 1988

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Process Design for Natural Scientists: An Agile Model-Driven Approach

Communications in Computer and Information Science, nr. 500

Editat de Anna-Lena Lamprecht et al.

2 oct 2014

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Semantics of Probabilistic Processes: An Operational Approach

Autor Yuxin Deng

6 oct 2016

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

The Component-Based Business: Plug and Play

Practitioner Series

Autor Richard Veryard

11 dec 2000

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Tackling Society's Grand Challenges with Design Science: 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9661

Editat de Jeffrey Parsons et al.

10 mai 2016

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9884

Editat de Martin Fränzle et al.

17 aug 2016

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10321

Editat de Ahmed Bouajjani et al.

28 mai 2017

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Using Sophisticated Models in Resolution Theorem Proving

Lecture Notes in Computer Science, nr. 90

Autor David M. Sandford

aug 1980

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

MFDBS 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings

Lecture Notes in Computer Science, nr. 305

Editat de Joachim Biskup et al.

apr 1988

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Transactions on Computational Systems Biology VI

Lecture Notes in Computer Science, nr. 4220

Editat de Gordon Plotkin et al.

27 noi 2006

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Evolutionary Computation in Combinatorial Optimization: 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4446

Editat de Carlos Cotta et al.

30 mar 2007

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Information from Processes: About the Nature of Information Creation, Use, and Representation

Autor Robert M. Losee

20 sep 2014

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8652

Editat de Ulrich Kohlenbach et al.

24 iul 2014

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Texts in Computer Science

Autor Rolf Socher-Ambrosius et al.

18 sep 2011

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11674

Editat de Emmanuel Filiot et al.

6 sep 2019

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Human Mental Workload: Models and Applications: Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings

Communications in Computer and Information Science, nr. 1107

Editat de Luca Longo et al.

10 oct 2019

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12442

Editat de Galina Jirásková et al.

7 noi 2020

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9304

Editat de Florin Manea et al.

8 sep 2015

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Logic of Programs: Workshop, ETH Zürich, May-July 1979

Lecture Notes in Computer Science, nr. 125

Editat de E. Engeler

noi 1981

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Lecture Notes in Computer Science, nr. 3965

Editat de Marco Bernardo et al.

15 mai 2006

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Lecture Notes in Physics, nr. 766

Autor Jörg Reichardt

22 oct 2010

Preț: 395^.54 lei 494^.43 lei

6-8 săpt.

-20%

Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5792

Editat de Osamu Watanabe et al.

5 oct 2009

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Transactions on Petri Nets and Other Models of Concurrency IV

Lecture Notes in Computer Science, nr. 6550

Kurt Jensen et al.

3 ian 2011

Preț: 317^.85 lei 397^.31 lei

3-5 săpt.

-20%

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 6610

Editat de Jozef Kelemen et al.

22 mar 2011

Preț: 317^.85 lei 397^.31 lei

3-5 săpt.

-20%

Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7052

Editat de Dawei Song et al.

21 oct 2011

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Autor Bruno Berstel-Da Silva

17 aug 2016

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8446

Editat de Marcello M. Bonsangue

sep 2014

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Mathematics and its Applications, nr. 7

Autor Hansjoachim Walther

11 noi 2011

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Autor Raymond Turner

13 oct 2010

Preț: 317^.68 lei 397^.10 lei

6-8 săpt.

-20%

Evolutionary Computation in Combinatorial Optimization: 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12692

Editat de Christine Zarges et al.

27 mar 2021

Preț: 317^.68 lei 397^.10 lei

6-8 săpt.

-20%

Specification and Compositional Verification of Real-Time Systems

Lecture Notes in Computer Science, nr. 558

Autor Jozef Hooman

27 noi 1991

Preț: 317^.68 lei 397^.10 lei

6-8 săpt.

-20%

Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11202

Editat de Corina Cîrstea

20 sep 2018

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Evolutionary Computation in Combinatorial Optimization: 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12102

Editat de Luís Paquete et al.

10 mar 2020

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Trusted Systems: 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9565

Editat de Moti Yung et al.

23 mar 2016

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9608

Editat de Ichiro Hasuo

4 iun 2016

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Grid Computing - GRID 2000: First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1971

Editat de Rajkumar Buyya et al.

29 noi 2000

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Algorithms and Models for the Web-Graph: 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4863

Editat de Anthony Bonato et al.

16 noi 2007

Preț: 317^.36 lei 396^.70 lei

6-8 săpt.

-20%

The Semantics of Relationships: An Interdisciplinary Perspective

Information Science and Knowledge Management, nr. 3

Editat de R. Green et al.

29 sep 2011

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11629

Editat de Esther Guerra et al.

25 iun 2019

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures

Lecture Notes in Computer Science, nr. 203

Editat de Bruno Buchberger

oct 1985

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings

Lecture Notes in Computer Science, nr. 280

Editat de Marisa Venturini Zilli

7 oct 1987

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Applied Computational Geometry. Towards Geometric Engineering: FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers

Lecture Notes in Computer Science, nr. 1148

Editat de Ming C. Lin et al.

25 sep 1996

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Lecture Notes in Computer Science, nr. 8923

Editat de Mohua Banerjee et al.

5 dec 2014

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 12005

Editat de Luís Soares Barbosa et al.

14 ian 2020

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Artificial Intelligence in Music, Sound, Art and Design: 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12103

Editat de Juan Romero et al.

10 apr 2020

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Algorithmic Aspects in Information and Management: 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9778

Editat de Riccardo Dondi et al.

5 iul 2016

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10240

Editat de Matthew J. Patitz et al.

28 apr 2017

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Algorithms and Complexity: Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings

Lecture Notes in Computer Science, nr. 778

Editat de Maurizio Bonuccelli et al.

11 feb 1994

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings

Lecture Notes in Computer Science, nr. 809

Editat de Ross Anderson

28 iun 1994

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Vagueness in Communication: International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6517

Editat de Rick Nouwen et al.

14 ian 2011

Preț: 317^.05 lei 396^.31 lei

3-5 săpt.

-20%

Lecture Notes in Computer Science, nr. 6600

James F. Peters et al.

5 iul 2011

Preț: 317^.05 lei 396^.31 lei

3-5 săpt.

-20%

Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

Lecture Notes in Computer Science, nr. 7175

Editat de Michael Rosner et al.

20 iun 2012

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Modern Probabilistic Methods for Analysis of Telecommunication Networks: Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

Communications in Computer and Information Science, nr. 356

Editat de Alexander Dudin et al.

2 ian 2013

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Internet Policy and Economics: Challenges and Perspectives

Editat de William H. Lehr et al.

25 iun 2009

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Monographs in Computer Science

Autor Ernst L. Leiss

30 sep 2011

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9777

Editat de Cezar Câmpeanu et al.

28 iun 2016

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10329

Editat de Arnaud Carayol et al.

28 mai 2017

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10644

Editat de Phillip James et al.

8 dec 2017

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10867

Editat de Susan Stepney et al.

31 mai 2018

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Hyperedge Replacement: Grammars and Languages

Lecture Notes in Computer Science, nr. 643

Autor Annegret Habel

17 dec 1992

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Lecture Notes in Computer Science, nr. 721

Editat de John Fitch

2 sep 1993

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Lecture Notes in Computer Science, nr. 909

Editat de Hubert Comon et al.

25 apr 1995

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Fast Software Encryption: Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1039

Editat de Dieter Gollmann

8 feb 1996

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

At the Intersection of Language, Logic, and Information: ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

Lecture Notes in Computer Science, nr. 11667

Editat de Jennifer Sikos et al.

6 iul 2019

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11885

Editat de Pedro Ribeiro et al.

12 sep 2019

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9270

Editat de Andreas Maletti

12 aug 2015

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Automata on Infinite Words: Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984

Lecture Notes in Computer Science, nr. 192

Editat de M. Nivat et al.

iun 1985

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling: International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings

Lecture Notes in Computer Science, nr. 2197

Editat de Olivier Balet et al.

17 sep 2001

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Theory of Computing and Systems: ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings

Lecture Notes in Computer Science, nr. 601

Editat de Danny Dolev et al.

6 mai 1992

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Transactions on Petri Nets and Other Models of Concurrency XIII

Lecture Notes in Computer Science, nr. 11090

Editat de Maciej Koutny et al.

29 noi 2018

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Extremal Combinatorial Problems and Their Applications

Mathematics and Its Applications, nr. 335

Autor B.S. Stechkin et al.

3 oct 2013

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12328

Editat de Santiago Escobar et al.

11 dec 2020

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9211

Editat de Andrew Phillips et al.

27 iul 2015

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9575

Editat de Katsumi Inoue et al.

12 iun 2016

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10134

Editat de Jonathan P. Bowen et al.

11 ian 2017

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

High Performance Computing in Science and Engineering: Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11087

Editat de Tomáš Kozubek et al.

17 iul 2018

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986

Lecture Notes in Computer Science, nr. 281

Editat de Alica Kelemenova et al.

21 oct 1987

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Treewidth: Computations and Approximations

Lecture Notes in Computer Science, nr. 842

Autor Ton Kloks

26 aug 1994

Preț: 316^.59 lei 395^.75 lei

3-5 săpt.

-20%

Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity

Lecture Notes in Computer Science, nr. 9802

Autor Michał Skrzypczak

6 aug 2016

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11145

Editat de David Doty et al.

8 sep 2018

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11408

Editat de Fred Mesnard et al.

23 feb 2019

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11784

Editat de Paul Fodor et al.

14 sep 2019

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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