Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings Lecture Notes in Computer Science, nr. 3668 Editat de Maurizio Gabbrielli et al. 19 sep 2005 Paperback Preț: 328.16 lei 410.20 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings Lecture Notes in Computer Science, nr. 4034 Editat de Jürgen Münch et al. 9 iun 2006 Paperback Preț: 329.25 lei 411.55 lei 6-8 săpt. -20%
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Lecture Notes in Computer Science, nr. 4079 Editat de Sandro Etalle et al. 3 aug 2006 Paperback Preț: 329.25 lei 411.55 lei 6-8 săpt. -20%
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings Lecture Notes in Computer Science, nr. 4134 Editat de Kwangkeun Yi 17 aug 2006 Paperback Preț: 328.94 lei 411.17 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement: 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings Lecture Notes in Computer Science, nr. 4589 Editat de Jürgen Münch et al. 21 iun 2007 Paperback Preț: 328.16 lei 410.20 lei 6-8 săpt. -20%
Middleware 2007: ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings Lecture Notes in Computer Science, nr. 4834 Editat de Renato Cerqueira et al. 12 noi 2007 Paperback Preț: 329.25 lei 411.55 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings Lecture Notes in Computer Science, nr. 5219 Editat de Michael Douglas Harrison et al. 11 sep 2008 Paperback Preț: 328.94 lei 411.17 lei 6-8 săpt. -20%
Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers Lecture Notes in Computer Science, nr. 5235 Editat de Ralf Lämmel et al. 8 oct 2008 Paperback Preț: 332.10 lei 415.13 lei 6-8 săpt. -20%
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings Lecture Notes in Computer Science, nr. 5649 Editat de Patricia M. Hill et al. 24 iun 2009 Paperback Preț: 335.29 lei 419.11 lei 6-8 săpt. -20%
Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings Lecture Notes in Computer Science, nr. 6285 Editat de Muhammad Ali Babar et al. 11 aug 2010 Paperback Preț: 333.68 lei 417.09 lei 6-8 săpt. -20%
Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers Lecture Notes in Computer Science, nr. 6491 Editat de João M. Fernandes et al. 3 ian 2011 Paperback Preț: 330.54 lei 413.16 lei 6-8 săpt. | 4-10 zile -20%
Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6563 Editat de Brian Malloy et al. 23 feb 2011 Paperback Preț: 327.36 lei 409.20 lei 6-8 săpt. -20%
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings Lecture Notes in Computer Science, nr. 6617 Editat de Mihaela Bobaru et al. 6 apr 2011 Paperback Preț: 333.68 lei 417.09 lei 6-8 săpt. -20%
Towards Ubiquitous Learning: 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings Lecture Notes in Computer Science, nr. 6964 Editat de Carlos Delgado Kloos et al. 9 sep 2011 Paperback Preț: 333.68 lei 417.09 lei 6-8 săpt. -20%
Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings Lecture Notes in Computer Science, nr. 6981 Editat de Jon Whittle et al. 23 sep 2011 Paperback Preț: 341.47 lei 426.84 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings Lecture Notes in Computer Science, nr. 6996 Editat de Tevfik Bultan et al. 21 sep 2011 Paperback Preț: 332.10 lei 415.13 lei 6-8 săpt. -20%
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Lecture Notes in Computer Science, nr. 7000 Editat de Gul Agha et al. 13 oct 2011 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 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 Lecture Notes in Computer Science, nr. 7211 Editat de Helmut Seidl 14 mar 2012 Paperback Preț: 336.55 lei 420.69 lei 6-8 săpt. -20%
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings Lecture Notes in Computer Science, nr. 7313 Editat de James Noble 23 mai 2012 Paperback Preț: 343.23 lei 429.04 lei 6-8 săpt. -20%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 8368 Editat de Steve Counsell et al. apr 2014 Paperback Preț: 330.36 lei 412.95 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 8696 Editat de Andrea Bondavalli et al. 23 sep 2014 Paperback Preț: 331.16 lei 413.95 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 8829 Editat de Stephan Merz et al. 23 sep 2014 Paperback Preț: 331.38 lei 414.22 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 8837 Editat de Franck Cassez et al. 29 sep 2014 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -20%
Programming Languages and Systems Lecture Notes in Computer Science, nr. 8858 Editat de Jacques Garrigue 23 oct 2014 Paperback Preț: 332.81 lei 416.02 lei 6-8 săpt. -20%
Software, Services, and Systems Lecture Notes in Computer Science, nr. 8950 Editat de Rocco De Nicola et al. 4 feb 2015 Paperback Preț: 343.05 lei 428.80 lei 6-8 săpt. -20%
Service-Oriented Computing - ICSOC 2014 Workshops Lecture Notes in Computer Science, nr. 8954 Editat de Farouk Toumani et al. 12 sep 2015 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%
Rule Technologies: Foundations, Tools, and Applications Lecture Notes in Computer Science, nr. 9202 Editat de Nick Bassiliades et al. 23 iul 2015 Paperback Preț: 332.18 lei 415.23 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 9255 Editat de Gilles Pesant 13 aug 2015 Paperback Preț: 346.30 lei 432.88 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 9338 Editat de Floor Koornneef et al. 12 sep 2015 Paperback Preț: 330.36 lei 412.95 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 9364 Editat de Bernd Finkbeiner et al. 22 noi 2015 Paperback Preț: 334.25 lei 417.82 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 9407 Editat de Michael Butler et al. 2 dec 2015 Paperback Preț: 330.58 lei 413.22 lei 6-8 săpt. -20%
Programming Languages and Systems Lecture Notes in Computer Science, nr. 9458 Editat de Xinyu Feng et al. 10 dec 2015 Paperback Preț: 333.82 lei 417.28 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 9938 Editat de Cyrille Artho et al. 22 sep 2016 Paperback Preț: 348.02 lei 435.02 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 10009 Editat de Kazuhiro Ogata et al. 15 oct 2016 Paperback Preț: 332.81 lei 416.02 lei 6-8 săpt. -20%
Runtime Verification Lecture Notes in Computer Science, nr. 10012 Editat de Yliès Falcone et al. 20 sep 2016 Paperback Preț: 334.25 lei 417.82 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 10416 Editat de J. Christopher Beck 23 aug 2017 Paperback Preț: 345.71 lei 432.13 lei 6-8 săpt. -20%
Static Analysis Lecture Notes in Computer Science, nr. 10422 Editat de Francesco Ranzato 21 aug 2017 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Lecture Notes in Computer Science, nr. 10573 Editat de Hervé Panetto et al. 20 oct 2017 Paperback Preț: 347.57 lei 434.47 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 10610 Editat de Zhenhua Duan et al. 14 oct 2017 Paperback Preț: 333.24 lei 416.55 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement Lecture Notes in Computer Science, nr. 10611 Editat de Michael Felderer et al. 28 oct 2017 Paperback Preț: 340.17 lei 425.22 lei 6-8 săpt. -20%
Performance Evaluation and Benchmarking for the Analytics Era Lecture Notes in Computer Science, nr. 10661 Editat de Raghunath Nambiar et al. 10 ian 2018 Paperback Preț: 344.52 lei 430.66 lei 6-8 săpt. -20%
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence Lecture Notes in Computer Science, nr. 10679 Editat de Manjunath Gorentla Venkata et al. 10 ian 2018 Paperback Preț: 344.10 lei 430.13 lei 6-8 săpt. -20%
Programming Languages and Systems Lecture Notes in Computer Science, nr. 10695 Editat de Bor-Yuh Evan Chang 19 noi 2017 Paperback Preț: 336.29 lei 420.36 lei 6-8 săpt. -20%
Accelerator Programming Using Directives Lecture Notes in Computer Science, nr. 10732 Editat de Sunita Chandrasekaran et al. 31 ian 2018 Paperback Preț: 344.31 lei 430.39 lei 6-8 săpt. -20%
Principles of Modeling Lecture Notes in Computer Science, nr. 10760 Editat de Marten Lohstroh et al. 20 iul 2018 Paperback Preț: 335.91 lei 419.88 lei 6-8 săpt. -20%
Static Analysis Lecture Notes in Computer Science, nr. 11002 Editat de Andreas Podelski 29 aug 2018 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -20%
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Lecture Notes in Computer Science, nr. 11230 Editat de Hervé Panetto et al. 18 oct 2018 Paperback Preț: 339.37 lei 424.21 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 11232 Editat de Jing Sun et al. 11 oct 2018 Paperback Preț: 332.18 lei 415.23 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement Lecture Notes in Computer Science, nr. 11271 Editat de Marco Kuhrmann et al. 3 noi 2018 Paperback Preț: 331.59 lei 414.49 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 11781 Editat de Yu-Fang Chen et al. 6 oct 2019 Paperback Preț: 335.69 lei 419.61 lei 6-8 săpt. -20%
Static Analysis Lecture Notes in Computer Science, nr. 11822 Editat de Bor-Yuh Evan Chang 6 oct 2019 Paperback Preț: 332.18 lei 415.23 lei 6-8 săpt. -20%
Mathematics of Program Construction Lecture Notes in Computer Science, nr. 11825 Editat de Graham Hutton 20 oct 2019 Paperback Preț: 331.16 lei 413.95 lei 6-8 săpt. -20%
Programming Languages and Systems Lecture Notes in Computer Science, nr. 11893 Editat de Anthony Widjaja Lin 9 noi 2019 Paperback Preț: 332.81 lei 416.02 lei 6-8 săpt. -20%
Service-Oriented Computing Lecture Notes in Computer Science, nr. 11895 Editat de Sami Yangui et al. 26 oct 2019 Paperback Preț: 337.72 lei 422.14 lei 6-8 săpt. -20%
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings Lecture Notes in Computer Science, nr. 11918 Editat de Wolfgang Ahrendt et al. 15 noi 2019 Paperback Preț: 332.92 lei 416.15 lei 6-8 săpt. -20%
Formal Methods. FM 2019 International Workshops Lecture Notes in Computer Science, nr. 12233 Editat de Emil Sekerinski et al. 11 aug 2020 Paperback Preț: 337.30 lei 421.62 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 12302 Editat de Dang Van Hung et al. 12 oct 2020 Paperback Preț: 336.92 lei 421.15 lei 6-8 săpt. -20%
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Lecture Notes in Computer Science, nr. 12546 Editat de Brijesh Dongol et al. 14 noi 2020 Paperback Preț: 328.29 lei 410.37 lei 6-8 săpt. -20%
Search-Based Software Engineering Lecture Notes in Computer Science, nr. 12914 Editat de Una-May O'Reilly et al. oct 2021 Paperback Preț: 343.68 lei 429.59 lei 6-8 săpt. -20%
Services - SERVICES 2021 Lecture Notes in Computer Science, nr. 12996 Editat de Mohamed Adel Serhani et al. 13 feb 2022 Paperback Preț: 340.80 lei 426.01 lei 6-8 săpt. -20%
Advances in Conceptual Modeling Lecture Notes in Computer Science, nr. 13012 Editat de Iris Reinhartz-Berger et al. 13 oct 2021 Paperback Preț: 342.04 lei 427.54 lei 6-8 săpt. -20%
Formal Methods in Outer Space Lecture Notes in Computer Science, nr. 13065 Editat de Ezio Bartocci et al. 28 sep 2021 Paperback Preț: 344.91 lei 431.14 lei 6-8 săpt. -20%
Accelerator Programming Using Directives Lecture Notes in Computer Science, nr. 13194 Editat de Sridutt Bhalachandra et al. 15 mai 2022 Paperback Preț: 342.66 lei 428.33 lei 6-8 săpt. -20%
Scaling up Learning for Sustained Impact Editat de Davinia Hernández-Leo et al. 12 sep 2013 Paperback Preț: 341.19 lei 426.48 lei 6-8 săpt. -20%
Analytical and Stochastic Modeling Techniques and Applications Editat de Alexander Dudin et al. 19 iul 2013 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
Service-Oriented Computing Editat de Alistair Barros et al. 26 noi 2015 Paperback Preț: 333.41 lei 416.76 lei 6-8 săpt. -20%
Coordination Models and Languages Editat de John Field et al. 25 mai 2009 Paperback Preț: 323.17 lei 403.96 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Editat de Francesco Flammini et al. 15 sep 2011 Paperback Preț: 332.18 lei 415.23 lei 6-8 săpt. -20%
ECOOP 2011--Object-Oriented Programming Editat de Mira Mezini 18 iul 2011 Paperback Preț: 341.40 lei 426.75 lei 6-8 săpt. -20%
Static Analysis Editat de Francesco Logozzo et al. 6 iun 2013 Paperback Preț: 333.02 lei 416.28 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Editat de Zhiming Liu et al. 29 sep 2009 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
Models in Software Engineering Editat de Michel R. V. Chaudron 22 apr 2009 Paperback Preț: 328.29 lei 410.37 lei 6-8 săpt. -20%
Static Analysis Editat de Xavier Rival 31 aug 2016 Paperback Preț: 333.62 lei 417.03 lei 6-8 săpt. -20%
Middleware 2009 Editat de Valérie Issarny et al. 6 noi 2009 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -20%
NASA Formal Methods Editat de Guillaume Brat et al. 17 apr 2013 Paperback Preț: 333.02 lei 416.28 lei 6-8 săpt. -20%
Model Driven Engineering Languages and Systems Editat de Dorina C. Petriu et al. 27 sep 2010 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Integrated Formal Methods Editat de Einar Broch Johnsen et al. 24 mai 2013 Paperback Preț: 330.36 lei 412.95 lei 6-8 săpt. -20%
Formal Methods for Model-Driven Engineering Editat de Marco Bernardo et al. 14 iun 2012 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Editat de Sungdeok Cha et al. 6 oct 2008 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Programming Languages and Systems Editat de Matthias Felleisen et al. 20 feb 2013 Paperback Preț: 339.58 lei 424.48 lei 6-8 săpt. -20%
Analytical and Stochastic Modeling Techniques and Applications Editat de Khalid Al-Begain et al. 25 mai 2009 Paperback Preț: 328.10 lei 410.13 lei 6-8 săpt. -20%
21st Century Learning for 21st Century Skills Editat de Andrew Ravenscroft et al. 14 aug 2012 Paperback Preț: 336.07 lei 420.09 lei 6-8 săpt. -20%
ECOOP 2013 -- Object-Oriented Programming Editat de Giuseppe Castagna 6 iun 2013 Paperback Preț: 346.13 lei 432.67 lei 6-8 săpt. -20%
The Common Component Modeling Example Editat de Andreas Rausch et al. 26 aug 2008 Paperback Preț: 330.96 lei 413.70 lei 6-8 săpt. -20%
Concurrent Objects and Beyond Editat de Gul Agha et al. 18 sep 2014 Paperback Preț: 331.59 lei 414.49 lei 6-8 săpt. -20%
Modelling Foundations and Applications Editat de Antonio Vallecillo et al. 28 iun 2012 Paperback Preț: 330.36 lei 412.95 lei 6-8 săpt. -20%
Algebraic Methodology and Software Technology Editat de José Meseguer et al. 15 iul 2008 Paperback Preț: 329.94 lei 412.42 lei 6-8 săpt. -20%
Service-Oriented Computing Editat de Xavier Franch et al. 27 oct 2014 Paperback Preț: 338.74 lei 423.42 lei 6-8 săpt. -20%
Aliasing in Object-Oriented Programming Editat de David Clarke et al. 26 mar 2013 Paperback Preț: 333.62 lei 417.03 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement Editat de Andreas Jedlitschka et al. 16 iun 2008 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%