Filtre: Paperback

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

1825-1920 din 2,376 rezultate

Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

Lecture Notes in Computer Science, nr. 363

Editat de Albert R. Meyer et al.

7 iun 1989

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Lecture Notes in Computer Science, nr. 1074

Editat de Gilles Dowek et al.

8 mai 1996

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

Advances in Nonlinear Speech Processing: International Conference on Non-Linear Speech Processing, NOLISP 2007 Paris, France, May 22-25, 2007 Revised Selected Papers

Lecture Notes in Computer Science, nr. 4885

Editat de Mohamed Chetouani et al.

11 ian 2008

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

IT Revolution: First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, nr. 11

Editat de Mihaela Ulieru et al.

14 aug 2009

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

Swarm, Evolutionary, and Memetic Computing: Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part I

Lecture Notes in Computer Science, nr. 7076

Editat de Bijaya Ketan Panigrahi et al.

7 dec 2011

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Lecture Notes in Computer Science, nr. 8036

Editat de Glyn Morrill et al.

11 iul 2013

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

Autor Akira Maruoka

29 aug 2014

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8571

Editat de Holger Giese et al.

4 aug 2014

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9151

Editat de Francesco Parisi-Presicce et al.

7 iul 2015

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 722

Autor Alfonso Miola

2 sep 1993

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

6-8 săpt.

-20%

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Lecture Notes in Computer Science, nr. 1428

Autor Jens Knoop

23 sep 1998

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8031

Editat de Jürgensen et al.

19 iul 2013

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Origins of Programming: Discourses on Methodology

Autor Andrei P. Ershov et al.

26 sep 2011

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3923

Editat de Alan Mycroft et al.

21 mar 2006

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

Lecture Notes in Computer Science, nr. 7133

Editat de Kristján Jónasson

21 feb 2012

Preț: 319^.75 lei 399^.68 lei

3-5 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7137

Editat de Till Mossakowski et al.

21 feb 2012

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Autor Wolfgang Reisig

oct 2016

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7841

Editat de Narciso Martí Oliet et al.

13 apr 2013

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Lecture Notes in Computer Science, nr. 8050

Editat de Zhiming Liu et al.

19 iul 2013

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11399

Editat de Thomas Hinze et al.

2 feb 2019

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Arithmetic of Finite Fields: 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 12542

Editat de Jean Claude Bajard et al.

17 feb 2021

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9360

Editat de Roland Meyer et al.

3 sep 2015

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9688

Editat de Elvira Albert et al.

27 iun 2016

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Arithmetic of Finite Fields: 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10064

Editat de Sylvain Duquesne et al.

10 mar 2017

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Programming Languages and their Definition: Selected Papers

Lecture Notes in Computer Science, nr. 177

Autor H. Bekic et al.

aug 1984

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Lecture Notes in Computer Science, nr. 308

Editat de Stephane Kaplan et al.

22 iun 1988

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Frontiers of Numerical Analysis: Durham 2004

Universitext

Editat de James Blowey et al.

2 aug 2005

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Lecture Notes in Computer Science, nr. 792

Editat de Neil Jones et al.

30 mar 1994

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems

Lecture Notes in Computer Science, nr. 1426

Autor Frederic Geurts

18 dec 1998

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Theory and Principled Methods for the Design of Metaheuristics

Natural Computing Series

Editat de Yossi Borenstein et al.

23 aug 2016

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8415

Editat de Saddek Bensalem et al.

11 mar 2014

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks

Texts in Theoretical Computer Science. An EATCS Series

Autor Max Garzon

12 feb 2012

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Current Issues in Safety-Critical Systems: Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4–6 February 2003

Editat de Felix Redmill et al.

10 feb 2003

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Cellular Automata: 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12599

Editat de Tomasz M. Gwizdałła et al.

13 feb 2021

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Quantum Interaction: 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10106

Editat de Jose Acacio de Barros et al.

26 ian 2017

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Workshops in Computing

Editat de Kung-Kiu Lau et al.

29 ian 1993

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Grid Computing: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers

Lecture Notes in Computer Science, nr. 3165

Editat de Marios D. Dikaiakos

15 oct 2004

Preț: 319^.42 lei 399^.28 lei

3-5 săpt.

-20%

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3839

Editat de Jean-Christophe Filliatre et al.

25 ian 2006

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings

Lecture Notes in Computer Science, nr. 683

Editat de George J. Milne et al.

12 mai 1993

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Towards a CSCW Framework for Scientific Cooperation in Europe

Lecture Notes in Computer Science, nr. 889

Autor Hannes P. Lubich

26 ian 1995

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Efficient Graph Rewriting and Its Implementation

Lecture Notes in Computer Science, nr. 922

Autor Heiko Dörr

14 iul 1995

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Tools for High Performance Computing: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

Editat de Rainer Keller et al.

14 oct 2010

Preț: 331^.79 lei 414^.74 lei

38-44 zile

-20%

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 5533

Editat de Orna Grumberg et al.

12 mai 2009

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers

Lecture Notes in Computer Science, nr. 5989

Editat de Luc Raedt

7 iul 2010

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6246

Editat de Krishnendu Chatterjee et al.

30 aug 2010

Preț: 319^.42 lei 399^.28 lei

3-5 săpt.

-20%

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6714

Editat de Cristian S. Calude et al.

27 mai 2011

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6690

Editat de Luke Ong

23 mai 2011

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 8453

Editat de Anne Remke et al.

31 oct 2014

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Computational Sciences - Modelling, Computing and Soft Computing: First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers

Communications in Computer and Information Science, nr. 1345

Editat de Ashish Awasthi et al.

28 iul 2021

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

Lecture Notes in Computer Science, nr. 3941

Editat de Stephen W. Gilroy et al.

15 mai 2006

Preț: 319^.29 lei 399^.11 lei

6-8 săpt.

-20%

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4323

Editat de Gavin Doherty et al.

18 ian 2007

Preț: 319^.29 lei 399^.11 lei

6-8 săpt.

-20%

Autor Alistair Sutcliffe

28 mai 2002

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11964

Editat de Nikolaj Bjørner et al.

14 dec 2019

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Artificial Mathematical Intelligence: Cognitive, (Meta)mathematical, Physical and Philosophical Foundations

Autor Danny A. J. Gómez Ramírez

25 oct 2021

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Algorithm Design for Computer System Design

CISM International Centre for Mechanical Sciences, nr. 284

Editat de Giorgio Ausiello et al.

27 aug 1984

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10437

Editat de Marco Bozzano et al.

2 aug 2017

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10432

Editat de Srečko Brlek et al.

16 aug 2017

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers

Lecture Notes in Computer Science, nr. 1766

Editat de Mehdi Jazayeri et al.

20 sep 2000

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

Lecture Notes in Computer Science, nr. 321

Autor Job Zwiers

22 feb 1989

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Towards Evolvable Hardware: The Evolutionary Engineering Approach

Lecture Notes in Computer Science, nr. 1062

Editat de Eduardo Sanchez et al.

10 apr 1996

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5147

Editat de Katsuhisa Horimoto et al.

18 iul 2008

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

The Structure of the Relational Database Model

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

Autor Jan Paredaens et al.

3 oct 2013

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

5 oct 2024

Preț: 319^.09 lei 398^.87 lei

Indisponibil temporar

-20%

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12042

Editat de Maurizio Gabbrielli

22 apr 2020

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Nature Inspired Optimisation for Delivery Problems: From Theory to the Real World

Natural Computing Series

Autor Neil Urquhart

16 mai 2023

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10467

Editat de Robert Brijder et al.

24 aug 2017

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Applied Algebra, Algorithmics and Error-Correcting Codes: 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings

Lecture Notes in Computer Science, nr. 228

Editat de Alain Poli

iul 1986

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

Lecture Notes in Computer Science, nr. 3929

Editat de Wendy MacCaull et al.

18 apr 2006

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Data Fusion Applications: Workshop Proceedings Brussels, November 25, 1992

Research Reports Esprit, nr. 1

Editat de S. Pfleger et al.

29 sep 1993

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Mathématiques et Applications, nr. 20

Autor Odile Papini et al.

11 oct 1995

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Evolutionary Computing: AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers

Lecture Notes in Computer Science, nr. 1143

Editat de Terence C. Fogarty

11 sep 1996

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

6-8 săpt.

-20%

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5063

Editat de Antonio Vallecillo et al.

17 iun 2008

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Lecture Notes in Computer Science, nr. 8607

Editat de Margot Colinet et al.

14 iul 2014

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Probabilistic Graphical Models: Principles and Applications

Advances in Computer Vision and Pattern Recognition

Autor Luis Enrique Sucar

24 dec 2021

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

The Design of Innovation: Lessons from and for Competent Genetic Algorithms

Genetic Algorithms and Evolutionary Computation, nr. 7

Autor David E. Goldberg

6 ian 2013

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Lecture Notes in Computer Science, nr. 11180

Editat de Cliff Jones et al.

29 sep 2018

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Algebraic Informatics: 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11545

Editat de Miroslav Ćirić et al.

24 mai 2019

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers

Communications in Computer and Information Science, nr. 1340

Editat de Nicholas Olenev et al.

18 ian 2021

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Operations Research and Enterprise Systems: 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

Communications in Computer and Information Science, nr. 695

Editat de Begoña Vitoriano et al.

15 feb 2017

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Human Mental Workload: Models and Applications: First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

Communications in Computer and Information Science, nr. 726

Editat de Luca Longo et al.

4 iun 2017

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11152

Editat de Vlad Rusu

8 sep 2018

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Workshops in Computing

Editat de Graham Birtwistle et al.

6 apr 1995

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Parsing Theory: Volume I Languages and Parsing

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

Autor Seppo Sippu et al.

23 aug 2014

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Transactions on Petri Nets and Other Models of Concurrency XIV

Lecture Notes in Computer Science, nr. 11790

Editat de Maciej Koutny et al.

6 dec 2019

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Statistics and Data Science: Research School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24–26, 2019, Proceedings

Communications in Computer and Information Science, nr. 1150

Editat de Hien Nguyen

4 ian 2020

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Larch: Languages and Tools for Formal Specification

Monographs in Computer Science

S.J. Garland et al.

oct 2011

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9761

Editat de Rachid Echahed et al.

22 iun 2016

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

SWAT '88: 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings

Lecture Notes in Computer Science, nr. 318

Editat de Rolf Karlsson et al.

22 iun 1988

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Workshops in Computing

Editat de Tim Denvir et al.

28 aug 1992

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Introduction to Programming with Modula-2

Autor Günther Blaschek et al.

22 noi 1990

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings

Lecture Notes in Computer Science, nr. 570

Editat de Gunther Schmidt et al.

29 ian 1992

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5797

Editat de Olivier Bournez et al.

7 sep 2009

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6742

Editat de Franz Winkler

16 iun 2011

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

17 oct 2024

Preț: 318^.49 lei 398^.11 lei

Indisponibil temporar

-20%

Neural and Automata Networks: Dynamical Behavior and Applications

Mathematics and Its Applications, nr. 58

Autor E. Goles et al.

21 sep 2011

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

6-8 săpt.

-20%

Handbook of Logic and Proof Techniques for Computer Science

Autor Steven G. Krantz

23 oct 2012

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

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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