Stochastic Algorithms: Foundations and Applications: Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
Editat de Oleg B. Lupanov et al.
13 oct 2005
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Editat de Jean-Christophe Filliatre et al.
25 ian 2006
Paperback
Preț: 319.42 lei 399.28 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
Editat de Wendy MacCaull et al.
18 apr 2006
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Editat de Steve Dunne et al.
27 iun 2006
Paperback
Preț: 318.48 lei 398.10 lei
6-8 săpt.
-20%
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Editat de Germán Puebla
16 mar 2007
Paperback
Preț: 318.30 lei 397.88 lei
6-8 săpt.
-20%
Evolutionary Computation in Combinatorial Optimization: 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
Editat de Carlos Cotta et al.
30 mar 2007
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Editat de Chris George et al.
28 aug 2007
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers
Editat de Peter Hertling et al.
28 aug 2008
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings
Editat de Fernando Bello et al.
25 iun 2008
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Editat de Jean-Raymond Abrial et al.
20 ian 2010
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
Editat de Katsuhisa Horimoto et al.
18 iul 2008
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Learning and Intelligent Optimization: Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
Editat de Vittorio Maniezzo et al.
18 dec 2008
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%
Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
Editat de Marina Lipshteyn et al.
20 iul 2009
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%
Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings
Editat de Osamu Watanabe et al.
5 oct 2009
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings
Editat de Olivier Bournez et al.
7 sep 2009
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Approximation and Online Algorithms: 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers
Editat de Evripidis Bampis et al.
23 apr 2010
Paperback
Preț: 319.13 lei 398.90 lei
3-5 săpt.
-20%
Grid Resource Management: On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Autor Mumtaz Siddiqui et al.
27 ian 2010
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Architecture of Computing Systems - ARCS 2010: 23rd International Conference, Hannover, Germany, February 22-25, 2010, Proceedings
Editat de Christian Müller-Schloer et al.
17 feb 2010
Paperback
Preț: 319.42 lei 399.28 lei
3-5 săpt.
-20%
Implementation and Application of Functional Languages: 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Editat de Marco T. Morazán et al.
27 oct 2010
Paperback
Preț: 318.30 lei 397.88 lei
3-5 săpt.
-20%
Advances in Computer Games: 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers
Editat de H. Jaap Van Den Herik et al.
20 mai 2010
Paperback
Preț: 318.30 lei 397.88 lei
3-5 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Editat de Krishnendu Chatterjee et al.
30 aug 2010
Paperback
Preț: 319.42 lei 399.28 lei
3-5 săpt.
-20%
Algorithms -- ESA 2010, Part II: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings
Editat de Mark de Berg et al.
25 aug 2010
Paperback
Preț: 318.67 lei 398.33 lei
3-5 săpt.
-20%
Hybrid Metaheuristics: 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
Editat de Maria José Blesa et al.
27 sep 2010
Paperback
Preț: 317.68 lei 397.10 lei
3-5 săpt.
-20%
Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
Editat de Venkatesh Raman et al.
22 noi 2010
Paperback
Preț: 318.30 lei 397.88 lei
3-5 săpt.
-20%
WALCOM: Algorithms and Computation: 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings
Editat de Naoki Katoh et al.
11 feb 2011
Paperback
Preț: 318.30 lei 397.88 lei
3-5 săpt.
-20%
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Editat de María Alpuente
2 mai 2011
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings
Editat de Alberto Marchetti-Spaccamela et al.
14 mar 2011
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday
Editat de Jozef Kelemen et al.
22 mar 2011
Paperback
Preț: 317.85 lei 397.31 lei
3-5 săpt.
-20%
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Editat de Luke Ong
23 mai 2011
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
Editat de Cristian S. Calude et al.
27 mai 2011
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
Editat de Franz Winkler
16 iun 2011
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
Editat de Dawei Song et al.
21 oct 2011
Paperback
Preț: 317.85 lei 397.31 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
Editat de Kristján Jónasson
21 feb 2012
Paperback
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
Editat de Till Mossakowski et al.
21 feb 2012
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Architecture of Computing Systems - ARCS 2012: 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Editat de Andreas Herkersdorf et al.
14 feb 2012
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Compiler Construction: 21st International Conference, CC 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
Editat de Michael O'Boyle
14 mar 2012
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
Editat de Denis Bechet et al.
30 mai 2012
Paperback
Preț: 318.17 lei 397.71 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
Editat de Narciso Martí Oliet et al.
13 apr 2013
Paperback
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
Editat de Zhiming Liu et al.
19 iul 2013
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Compiler Construction: 23rd International Conference, CC 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 Albert Cohen
11 mar 2014
Paperback
Preț: 318.17 lei 397.71 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
Editat de Saddek Bensalem et al.
11 mar 2014
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Computers and Games: 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Editat de H. Jaap Van Den Herik et al.
24 iul 2014
Paperback
Preț: 318.97 lei 398.71 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
Editat de Marcello M. Bonsangue
sep 2014
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Editat de Anne Remke et al.
31 oct 2014
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Genetic Programming: 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Editat de Miguel Nicolau et al.
28 aug 2014
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%
Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Editat de Margot Colinet et al.
14 iul 2014
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Editat de Ulrich Kohlenbach et al.
24 iul 2014
Paperback
Preț: 318.00 lei 397.50 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
Editat de Axel Legay et al.
19 aug 2014
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%
Artificial Evolution: 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Editat de Pierrick Legrand et al.
13 noi 2014
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Editat de Joel Ouaknine et al.
23 sep 2014
Paperback
Preț: 318.48 lei 398.10 lei
6-8 săpt.
-20%
Theory and Practice of Natural Computing: Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
Editat de Adrian-Horia Dediu et al.
20 noi 2014
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
Editat de Florin Manea et al.
8 sep 2015
Paperback
Preț: 317.85 lei 397.31 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
Editat de Roland Meyer et al.
3 sep 2015
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Advances in Computer Games: 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Editat de Aske Plaat et al.
25 dec 2015
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Artificial Evolution: 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
Editat de Stéphane Bonnevay et al.
20 mar 2016
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%
Evolutionary and Biologically Inspired Music, Sound, Art and Design: 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
Editat de Colin Johnson et al.
17 mar 2016
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Editat de Oleg Kiselyov et al.
23 feb 2016
Paperback
Preț: 318.48 lei 398.10 lei
6-8 săpt.
-20%
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Editat de Dragan Bošnački et al.
8 apr 2016
Paperback
Preț: 318.17 lei 397.71 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
Editat de Rachid Echahed et al.
22 iun 2016
Paperback
Preț: 318.67 lei 398.33 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
Editat de Martin Fränzle et al.
17 aug 2016
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%
String Processing and Information Retrieval: 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings
Editat de Shunsuke Inenaga et al.
21 sep 2016
Paperback
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
Editat de Sylvain Duquesne et al.
10 mar 2017
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Quantum Interaction: 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers
Editat de Jose Acacio de Barros et al.
26 ian 2017
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
High-Performance Scientific Computing: First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers
Editat de Edoardo Di Napoli et al.
19 feb 2017
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
Editat de Jens Knoop et al.
6 mar 2017
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
Editat de Giovanni Squillero et al.
25 mar 2017
Paperback
Preț: 318.48 lei 398.10 lei
6-8 săpt.
-20%
Frontiers in Algorithmics: 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings
Editat de Mingyu Xiao et al.
23 mai 2017
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Information Retrieval: 23rd China conference, CCIR 2017, Shanghai, China, July 13–14, 2017, Proceedings
Editat de Jirong Wen et al.
21 oct 2017
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
Editat de Srečko Brlek et al.
16 aug 2017
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
DNA Computing and Molecular Programming: 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings
Editat de Robert Brijder et al.
24 aug 2017
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Advances in Computer Games: 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers
Editat de Mark H.M. Winands et al.
22 dec 2017
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation: 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
Editat de Stephen Jarvis et al.
10 ian 2018
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
WALCOM: Algorithms and Computation: 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
Editat de M. Sohel Rahman et al.
2 feb 2018
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Queueing Theory and Network Applications: 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Editat de Yutaka Takahashi et al.
12 iun 2018
Paperback
Preț: 318.17 lei 397.71 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
Editat de Stavros Konstantinidis et al.
11 iul 2018
Paperback
Preț: 318.48 lei 398.10 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
Editat de Vlad Rusu
8 sep 2018
Paperback
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
Editat de Cliff Jones et al.
29 sep 2018
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
On the Move to Meaningful Internet Systems: OTM 2018 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revised Selected Papers
Editat de Christophe Debruyne et al.
7 feb 2019
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Editat de Hermes Senger et al.
26 mar 2019
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Editat de Thomas Hinze et al.
2 feb 2019
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Green, Pervasive, and Cloud Computing: 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Editat de Rodrigo Miani et al.
27 apr 2019
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Algebraic Informatics: 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings
Editat de Miroslav Ćirić et al.
24 mai 2019
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
Implementation and Application of Automata: 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Editat de Michal Hospodár et al.
27 iun 2019
Paperback
Preț: 318.48 lei 398.10 lei
6-8 săpt.
-20%
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Editat de Fabrizio Biondi et al.
14 sep 2019
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Editat de Emmanuel Filiot et al.
6 sep 2019
Paperback
Preț: 317.85 lei 397.31 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
Editat de Brijesh Dongol et al.
16 oct 2019
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%
On the Move to Meaningful Internet Systems: OTM 2019 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers
Editat de Christophe Debruyne et al.
13 feb 2020
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
Editat de Aleksander Byrski et al.
18 aug 2020
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%
Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Editat de Galina Jirásková et al.
7 noi 2020
Paperback
Preț: 317.85 lei 397.31 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
Editat de Jean Claude Bajard et al.
17 feb 2021
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Architecture of Computing Systems - ARCS 2015
Editat de Luís Miguel Pinho Pinho et al.
25 mar 2015
Paperback
Preț: 319.52 lei 399.41 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
Editat de Nikolaj Bjørner et al.
14 dec 2019
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Editat de Maurizio Gabbrielli
22 apr 2020
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Architecture of Computing Systems – ARCS 2020: 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings
Editat de André Brinkmann et al.
9 iul 2020
Paperback
Preț: 318.67 lei 398.33 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
Editat de Tomasz M. Gwizdałła et al.
13 feb 2021
Paperback
Preț: 319.42 lei 399.28 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
Editat de Christine Zarges et al.
27 mar 2021
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%