Algorithms – ESA 2005: 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
Editat de Gerth S. Brodal et al.
19 sep 2005
Paperback
Preț: 641.45 lei 801.81 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
Theory of Quantum Computation, Communication, and Cryptography: 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Editat de Dave Bacon et al.
19 mar 2014
Paperback
Preț: 316.11 lei 395.14 lei
6-8 săpt.
-20%
Algorithms -- ESA 2011: 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011, Proceedings
Editat de Camil Demetrescu et al.
6 sep 2011
Paperback
Preț: 647.15 lei 808.93 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%
Wireless Algorithms, Systems, and Applications: 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings
Editat de Kui Ren et al.
9 iul 2013
Paperback
Preț: 331.80 lei 414.75 lei
6-8 săpt.
-20%
In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman
Editat de Val Tannen et al.
8 oct 2013
Paperback
Preț: 333.38 lei 416.72 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%
Algorithms and Data Structures: 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Editat de Frank Dehne et al.
15 iul 2013
Paperback
Preț: 332.42 lei 415.53 lei
6-8 săpt.
-20%
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Editat de Natasha Sharygina et al.
14 iul 2013
Paperback
Preț: 655.70 lei 819.62 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%
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Editat de Zhiming Liu et al.
31 iul 2013
Paperback
Preț: 325.92 lei 407.40 lei
6-8 săpt.
-20%
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Editat de Pedro R. D'Argenio et al.
6 aug 2013
Paperback
Preț: 333.54 lei 416.93 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Editat de Víctor Braberman et al.
8 aug 2013
Paperback
Preț: 292.88 lei 366.11 lei
6-8 săpt.
-20%
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Editat de Kaustubh Joshi et al.
7 aug 2013
Paperback
Preț: 326.24 lei 407.80 lei
6-8 săpt.
-20%
Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday
Editat de Andrej Brodnik et al.
7 aug 2013
Paperback
Preț: 324.35 lei 405.44 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%
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Editat de Leonid Libkin et al.
8 aug 2013
Paperback
Preț: 292.40 lei 365.50 lei
6-8 săpt.
-20%
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Editat de Krishnendu Chatterjee et al.
8 aug 2013
Paperback
Preț: 346.85 lei 433.57 lei
6-8 săpt.
-20%
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings
Editat de Prasad Raghavendra et al.
6 aug 2013
Paperback
Preț: 340.35 lei 425.44 lei
6-8 săpt.
-20%
Euro-Par 2013: Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
Editat de Felix Wolf et al.
7 aug 2013
Paperback
Preț: 349.54 lei 436.93 lei
6-8 săpt.
-20%
Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Editat de Hans L. Bodlaender et al.
13 aug 2013
Paperback
Preț: 345.92 lei 432.40 lei
6-8 săpt.
-20%
Artificial Neural Networks and Machine Learning -- ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, Proceedings
Editat de Valeri Mladenov et al.
21 aug 2013
Paperback
Preț: 337.18 lei 421.48 lei
6-8 săpt.
-20%
Network and Parallel Computing: 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings
Editat de Ching-Hsien Hsu et al.
21 aug 2013
Paperback
Preț: 326.24 lei 407.80 lei
6-8 săpt.
-20%
Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Editat de Michael Floater et al.
21 feb 2014
Paperback
Preț: 330.54 lei 413.16 lei
6-8 săpt.
-20%
Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Editat de Claudia Casadio et al.
17 mar 2014
Paperback
Preț: 326.42 lei 408.02 lei
6-8 săpt.
-20%
Algebraic and Algorithmic Aspects of Differential and Integral Operators: 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
Editat de Moulay Barkatou et al.
10 mar 2014
Paperback
Preț: 315.93 lei 394.92 lei
6-8 săpt.
-20%
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Editat de Shusaku Iida et al.
25 feb 2014
Paperback
Preț: 337.81 lei 422.26 lei
6-8 săpt.
-20%
LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Editat de Alberto Pardo et al.
3 mar 2014
Paperback
Preț: 343.53 lei 429.41 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%
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 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 Stefania Gnesi et al.
17 mar 2014
Paperback
Preț: 327.04 lei 408.80 lei
6-8 săpt.
-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
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%
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Editat de Martin Davis et al.
3 dec 2015
Paperback
Preț: 336.86 lei 421.08 lei
6-8 săpt.
-20%
Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editat de Peter Thiemann
23 mar 2016
Paperback
Preț: 344.61 lei 430.77 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editat de Marsha Chechik et al.
9 apr 2016
Paperback
Preț: 352.24 lei 440.29 lei
6-8 săpt.
-20%
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity
Autor Thomas Zeume
18 feb 2017
Paperback
Preț: 313.24 lei 391.55 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Editat de Axel Legay et al.
31 mar 2017
Paperback
Preț: 326.42 lei 408.02 lei
6-8 săpt.
-20%
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Editat de Lawrence S. Moss et al.
27 iun 2018
Paperback
Preț: 431.35 lei 539.18 lei
6-8 săpt.
-20%
Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Editat de Dun Deng et al.
17 dec 2020
Paperback
Preț: 454.39 lei 567.99 lei
6-8 săpt.
-20%