Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications
Editat de Evripidis Bampis et al.
6 feb 2006
Paperback
Preț: 322.93 lei 403.66 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
Peer-to-Peer Systems IV: 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers
Editat de Miguel Castro et al.
16 noi 2005
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
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%
Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers
Editat de El-ghazali Talbi et al.
18 apr 2006
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Evolutionary Computation in Combinatorial Optimization: 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings
Editat de Jens Gottlieb et al.
24 mar 2006
Paperback
Preț: 320.55 lei 400.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
Editat de Alan Mycroft et al.
21 mar 2006
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
Editat de Peter Sestoft
16 mar 2006
Paperback
Preț: 322.74 lei 403.43 lei
6-8 săpt.
-20%
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Editat de Antti Valmari
15 mar 2006
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
Editat de Oscar H. Ibarra et al.
10 aug 2006
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
High Performance Embedded Architectures and Compilers: Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
Editat de Koen De Bosschere et al.
12 ian 2007
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November 22-24, 2005, Revised Selected Papers
Editat de Jin Akiyama et al.
26 ian 2007
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Editat de Viktória Zsók et al.
23 aug 2007
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Fun with Algorithms: 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings
Editat de Pierluigi Crescenzi et al.
24 mai 2007
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Editat de Thorsten Altenkirch et al.
oct 2007
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Frontiers in Algorithmics: First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings
Editat de Franco P. Preparata et al.
16 iul 2007
Paperback
Preț: 323.10 lei 403.87 lei
6-8 săpt.
-20%
Algorithms and Architectures for Parallel Processing: 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings
Editat de Anu G. Bourgeois et al.
29 mai 2008
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Embedded Computer Systems: Architectures, Modeling, and Simulation: 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
Editat de Mladen Berekovic et al.
7 iul 2008
Paperback
Preț: 321.81 lei 402.26 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%
Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings
Editat de Oscar H. Ibarra et al.
10 iul 2008
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Editat de Otmane Ait Mohamed et al.
30 iul 2008
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Editat de Franck Cassez et al.
5 sep 2008
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings
Editat de Mladen Berekovic et al.
25 feb 2009
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Editat de Andrea Corradini et al.
7 sep 2009
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Editat de Annie A.M. Cuyt et al.
24 apr 2009
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Editat de Stefano Berardi et al.
19 iun 2009
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Editat de Oege de Moor et al.
9 mar 2009
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Experimental Algorithms: 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings
Editat de Jan Vahrenhold
22 mai 2009
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Editat de Corina S. Pasareanu
19 iun 2009
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Computing and Combinatorics: 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings
Editat de Hung Q. Ngo
24 iun 2009
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Editat de Andrew Butterfield
30 iul 2010
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings
Editat de Christian S. Calude et al.
28 aug 2009
Paperback
Preț: 322.29 lei 402.86 lei
6-8 săpt.
-20%
Algebraic Informatics: 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009
Editat de Symeon Bozapalidis et al.
28 aug 2009
Paperback
Preț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
Editat de Joel Ouaknine et al.
7 sep 2009
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics: Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers
Editat de Thomas Stützle
9 dec 2009
Paperback
Preț: 320.24 lei 400.30 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%
WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings
Editat de Md. Saidur Rahman et al.
20 ian 2010
Paperback
Preț: 322.61 lei 403.26 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%
Evolutionary Computation in Combinatorial Optimization: 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings
Editat de Peter I. Cowling et al.
25 mar 2010
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Structural Information and Communication Complexity: 17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010, Proceedings
Editat de Boaz Patt-Shamir et al.
21 mai 2010
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Learning and Intelligent Optimization: 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers
Editat de Christian Blum et al.
7 iul 2010
Paperback
Preț: 321.81 lei 402.26 lei
3-5 săpt.
-20%
Arithmetic of Finite Fields: Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010, Proceedings
Editat de M. Anwar Hasan et al.
17 iun 2010
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Advances in Geometric Modeling and Processing: 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings
Editat de Bernard Mourrain et al.
9 iun 2010
Paperback
Preț: 322.61 lei 403.26 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%
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Editat de Jaco van der Pol et al.
27 sep 2010
Paperback
Preț: 321.81 lei 402.26 lei
3-5 săpt.
-20%
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Editat de Peter Csaba Ölveczky
6 oct 2010
Paperback
Preț: 319.75 lei 399.68 lei
3-5 săpt.
-20%
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Editat de Shengchao Qin
21 oct 2010
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Editat de Rene Van Leuken et al.
4 feb 2011
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Implementation and Application of Automata: 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
Editat de Michael Domaratzki et al.
4 feb 2011
Paperback
Preț: 323.23 lei 404.04 lei
3-5 săpt.
-20%
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers
Editat de Klaus Jansen et al.
25 ian 2011
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
Editat de Keith Cooper et al.
7 mar 2011
Paperback
Preț: 320.24 lei 400.30 lei
6-8 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%
Architecture of Computing Systems - ARCS 2011: 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings
Editat de Mladen Berekovic et al.
11 feb 2011
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Rainbow of Computer Science: Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Editat de Cristian S. Calude et al.
22 mar 2011
Paperback
Preț: 321.03 lei 401.30 lei
3-5 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%
Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Editat de Jens Knoop
22 mar 2011
Paperback
Preț: 321.81 lei 402.26 lei
3-5 săpt.
-20%
Evolutionary Computation in Combinatorial Optimization: 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011, Proceedings
Editat de Peter Merz et al.
19 apr 2011
Paperback
Preț: 320.06 lei 400.07 lei
6-8 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%
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Editat de Benedikt Löwe et al.
22 iun 2011
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Structural Information and Communication Complexity: 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011
Editat de Adrian Kosowski et al.
24 iun 2011
Paperback
Preț: 323.23 lei 404.04 lei
3-5 săpt.
-20%
Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
Editat de Béatrice Bouchou-Markhoff et al.
5 iul 2011
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Editat de Markus Holzer et al.
18 iul 2011
Paperback
Preț: 321.81 lei 402.26 lei
3-5 săpt.
-20%
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges: IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
Editat de Karin Anna Hummel et al.
15 dec 2011
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
Editat de Vladimir P. Gerdt et al.
26 aug 2011
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings
Editat de Jose L. Ayala et al.
15 sep 2011
Paperback
Preț: 323.23 lei 404.04 lei
3-5 săpt.
-20%
Swarm, Evolutionary, and Memetic Computing: Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part I
Editat de Bijaya Ketan Panigrahi et al.
7 dec 2011
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Mathematical Modeling and Computational Science: International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Editat de Gheorghe Adam et al.
24 feb 2012
Paperback
Preț: 323.23 lei 404.04 lei
3-5 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%
Languages and Compilers for Parallel Computing: 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Editat de Sanjay Rajopadhye et al.
20 feb 2013
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Approximation and Online Algorithms: 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Editat de Roberto Solis-Oba et al.
30 mar 2012
Paperback
Preț: 402.28 lei 502.84 lei
6-8 săpt.
-20%
Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Editat de Jörg Kienzle
20 apr 2012
Paperback
Preț: 321.81 lei 402.26 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%
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Editat de Tom Schrijvers et al.
4 mai 2012
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Languages Alive: Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Editat de Henning Bordihn et al.
25 iul 2012
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Editat de Martin Kutrib et al.
18 iul 2012
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-20%
Artificial Immune Systems: 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings
Editat de Carlos A. Coello-Coello et al.
24 aug 2012
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers
Editat de W. F. Symth et al.
5 dec 2012
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
Editat de Hans Wolfgang Loidl et al.
5 aug 2013
Paperback
Preț: 321.03 lei 401.30 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%
Approximation and Online Algorithms: 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Editat de Thomas Erlebach et al.
19 apr 2013
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
Editat de Jürgensen et al.
19 iul 2013
Paperback
Preț: 319.92 lei 399.90 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
Editat de Glyn Morrill et al.
11 iul 2013
Paperback
Preț: 320.06 lei 400.07 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%
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
Editat de Leszek Gąsieniec et al.
8 aug 2013
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
Editat de Reiko Heckel et al.
8 aug 2013
Paperback
Preț: 323.23 lei 404.04 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%
Models of Strategic Reasoning: Logics, Games, and Communities
Editat de Johan van Benthem et al.
10 ian 2016
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Editat de Sandrine Blazy et al.
14 sep 2015
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Editat de Annie Foret et al.
6 aug 2016
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Graph-Theoretic Concepts in Computer Science: 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers
Editat de Pinar Heggernes
28 sep 2016
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Editat de Tiziana Margaria et al.
5 aug 2021
Paperback
Preț: 320.16 lei 400.20 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%
Graph-Theoretic Concepts in Computer Science: 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers
Editat de Ernst W. Mayr
5 aug 2016
Paperback
Preț: 330.85 lei 413.56 lei
6-8 săpt.
-20%
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
Editat de Maxime Amblard et al.
10 noi 2016
Paperback
Preț: 322.74 lei 403.43 lei
6-8 săpt.
-20%