Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
Editat de Hsu-Chun Yen et al.
18 iul 2012
Paperback
Preț: 329.12 lei 411.39 lei
43-57 zile
-20%
Cărți teoria matematică a calculului, pagina 15
1345-1440 din 2,364 rezultate
Real-Time and Multi-Agent Systems
Autor Ammar Attoui et al.
22 sep 2000
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Language and Automata Theory and Applications: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Editat de Carlos Martín-Vide et al.
15 feb 2019
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings
Editat de Peter J. Stuckey
17 iun 2021
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Editat de Serge Gaspers et al.
9 aug 2017
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach
Autor Michel Raynal
29 dec 2018
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978
Editat de V. Claus et al.
iul 1979
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Algorithms: International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990. Proceedings
Editat de Tetsuo Asano et al.
2 aug 1990
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Editat de Thomas F. Melham et al.
7 sep 1994
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Editat de Rajeev Alur et al.
17 iul 1996
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Artificial Immune Systems: 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings
Editat de Peter Bentley et al.
25 iul 2008
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Hybrid Learning and Education: Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009, Proceedings
Editat de Fu Lee Wang et al.
4 aug 2009
Paperback
Preț: 328.94 lei 411.17 lei
22-36 zile
-20%
Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
Editat de David Eppstein et al.
24 mar 2010
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Editat de Emmanuel Jeannot et al.
12 aug 2011
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
Editat de Johan Jeuring et al.
27 iun 2012
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Application and Theory of Petri Nets and Concurrency: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Editat de Susanna Donatelli et al.
31 mai 2019
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Bioinspired Computation in Artificial Systems: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
Editat de José Manuel Ferrández Vicente et al.
9 iun 2015
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Editat de Daniel Kroening et al.
23 iul 2015
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Editat de Frank Drewes et al.
16 feb 2017
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Editat de Francesco Ranzato
21 aug 2017
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Integer Programming and Combinatorial Optimization: 4th International IPCO Conference, Copenhagen, Denmark, May 29 - 31, 1995. Proceedings
Editat de Egon Balas et al.
17 mai 1995
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
F. Bauer et al.
9 apr 2012
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
Editat de Masami Ito et al.
4 sep 2008
Paperback
Preț: 333.68 lei 417.09 lei
43-57 zile
-20%
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Editat de Christian Urban et al.
27 aug 2015
Paperback
Preț: 328.62 lei 410.77 lei
43-57 zile
-20%
Combinatorial Algorithms: 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
Editat de Veli Mäkinen et al.
9 aug 2016
Paperback
Preț: 328.62 lei 410.77 lei
43-57 zile
-20%
Advances in Petri Nets 1992
Editat de Grzegorz Rozenberg
10 iun 1992
Paperback
Preț: 328.62 lei 410.77 lei
43-57 zile
-20%
Transmitting and Gaining Data: Rudolf Ahlswede’s Lectures on Information Theory 2
Autor Rudolf Ahlswede et al.
22 sep 2016
Paperback
Preț: 328.48 lei 410.60 lei
43-57 zile
-20%
Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Editat de Graham Hutton
20 oct 2019
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Mathematical Aspects of Computer and Information Sciences: 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers
Editat de Daniel Slamanig et al.
4 mar 2020
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Editat de Peter Höfner et al.
10 apr 2014
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Editat de Carsten Sinz et al.
4 aug 2014
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Editat de Andrea Bondavalli et al.
23 sep 2014
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Introduction to Concurrency Theory: Transition Systems and CCS
Autor Roberto Gorrieri et al.
22 oct 2016
Paperback
Preț: 336.13 lei 420.16 lei
38-44 zile
-20%
Theoretical Computer Science and Discrete Mathematics: First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers
Editat de S. Arumugam et al.
17 aug 2017
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
Editat de Johannes Blömer et al.
21 dec 2017
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings
Editat de Rudrapatna K. Shyamasundar
23 noi 1993
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Editat de Miroslaw Kutylowski et al.
18 aug 1999
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
Editat de V.G. Ganzha et al.
12 sep 2007
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
A Theory and Practice of Program Development
Autor Derek J. Andrews
4 iul 1997
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Principles of Program Analysis
Autor Flemming Nielson et al.
dec 2010
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Editat de Frank Pfenning
20 feb 2013
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings
Editat de Marie-Pierre Beal et al.
24 mai 2013
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Editat de Anca Muscholl
18 mar 2014
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Complexity and Real Computation
Autor Lenore Blum et al.
10 oct 2012
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Combinatorial Optimization: 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
Editat de Raffaele Cerulli et al.
10 sep 2016
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Editat de Olaf Beyersdorff et al.
26 iun 2018
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Web Information Systems and Technologies
Editat de José Cordeiro et al.
4 mai 2009
Paperback
Preț: 328.13 lei 410.16 lei
43-57 zile
-20%
Mathematics of Surfaces XIII: 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings
Editat de Edwin R. Hancock et al.
6 aug 2009
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Advances in Intelligent Data Analysis VIII: 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009, Proceedings
Editat de Niall M. Adams et al.
17 aug 2009
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Editat de Zhiming Liu et al.
29 sep 2009
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Editat de Marc Frappier et al.
2 mar 2010
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Editat de Ranjit Jhala et al.
11 ian 2011
Paperback
Preț: 328.16 lei 410.20 lei
22-36 zile
-20%
Graph Drawing: 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
Editat de Ulrik Brandes et al.
14 ian 2011
Paperback
Preț: 328.16 lei 410.20 lei
22-36 zile
-20%
Computer Systems for Process Control
Autor Reinhold Güth
28 sep 2011
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
Editat de Ronald V. Book
27 mar 1991
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Editat de Helene Kirchner et al.
19 aug 1992
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings
Editat de P.S. Thiagarajan
4 dec 1995
Paperback
Preț: 331.17 lei 413.96 lei
43-57 zile
-20%
Algorithm Theory - SWAT '96: 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings
Editat de Rolf Karlsson et al.
19 iun 1996
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Editat de Dines Bjørner et al.
4 dec 1996
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings
Editat de C. Pandu Rangan et al.
29 noi 1999
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Editat de Zhiming Liu et al.
15 iul 2013
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Editat de Jouko Väänänen et al.
6 aug 2016
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings
Editat de Luca Aceto et al.
16 mar 2006
Paperback
Preț: 327.84 lei 409.80 lei
43-57 zile
-20%
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
Editat de S. Abramsky et al.
28 mar 1991
Paperback
Preț: 327.84 lei 409.80 lei
43-57 zile
-20%
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
Editat de Pierre Wolper
21 iun 1995
Paperback
Preț: 327.84 lei 409.80 lei
43-57 zile
-20%
Algorithms and Computation: 7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings
Editat de Tetsuo Asano et al.
27 noi 1996
Paperback
Preț: 327.84 lei 409.80 lei
43-57 zile
-20%
The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Editat de Paola Bonizzoni et al.
19 iul 2013
Paperback
Preț: 327.84 lei 409.80 lei
43-57 zile
-20%
Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Editat de Igor Potapov
13 iul 2015
Paperback
Preț: 327.67 lei 409.59 lei
43-57 zile
-20%
Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings
Editat de Juliani Karhumäki et al.
26 mai 1994
Paperback
Preț: 327.67 lei 409.59 lei
43-57 zile
-20%
Algorithms and Computations: 6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings.
Editat de John Staples et al.
15 noi 1995
Paperback
Preț: 327.67 lei 409.59 lei
43-57 zile
-20%
Natural and Artificial Models in Computation and Biology: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Editat de Jose Manuel Ferrandez Vicente et al.
16 mai 2013
Paperback
Preț: 327.67 lei 409.59 lei
43-57 zile
-20%
Feasible Mathematics II
Editat de Peter Clote et al.
16 sep 2011
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Understanding the Brain Function and Emotions: 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I
Editat de José Manuel Ferrández Vicente et al.
10 mai 2019
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
Editat de Adrian Riesco et al.
10 oct 2022
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Editat de Steve Counsell et al.
apr 2014
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Editat de Floor Koornneef et al.
12 sep 2015
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Computation Theory and Logic
Editat de Egon Börger
29 iul 1987
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Editat de Javier Esparza et al.
12 iun 2002
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Editat de Egon Börger et al.
11 aug 1993
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Editat de Mariangiola Dezani-Ciancaglini et al.
17 mar 1995
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Programming Logics: Essays in Memory of Harald Ganzinger
Editat de Andrei Voronkov et al.
3 apr 2013
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers
Editat de Yury Kochetov et al.
14 sep 2020
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Graph-Theoretic Concepts in Computer Science: 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
Editat de Hans L. Bodlaender et al.
2 noi 2017
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Editat de Andreas Podelski
29 aug 2018
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Advances in Information Systems: 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006
Editat de Tatyana Yakhno et al.
2 oct 2006
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
Autor Andrzej Tarlecki
7 aug 1991
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
Editat de Marc Bezem et al.
3 mar 1993
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Fundamentals of Computation Theory: 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Editat de Horst Reichel
16 aug 1995
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Editat de Tiziana Margaria et al.
20 mar 1996
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Sequences and Their Applications - SETA 2008: 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings
Editat de Solomon W. Golomb et al.
4 sep 2008
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Adaptive and Natural Computing Algorithms: 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Editat de Andrej Dobnikar et al.
23 mar 2011
Paperback
Preț: 327.36 lei 409.20 lei
22-36 zile
-20%
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Editat de Edmund Clarke et al.
30 mai 2012
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
Editat de Serge Haddad et al.
18 iun 2012
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Editat de Matti Jarvisalo et al.
19 iul 2013
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
Editat de Ralf Klasing et al.
16 aug 2017
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
Editat de Ryszard Janicki et al.
25 iun 2020
Paperback
Preț: 327.04 lei 408.80 lei
43-57 zile
-20%