OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools Lecture Notes in Computer Science, nr. 8356 Editat de Stephen Poole et al. 4 mar 2014 Paperback Preț: 317.26 lei 396.57 lei 6-8 săpt. -20%
Web Services and Formal Methods Lecture Notes in Computer Science, nr. 8379 Editat de Emilio Tuosto et al. 25 iul 2014 Paperback Preț: 262.18 lei 327.73 lei 6-8 săpt. -20%
Requirements Engineering: Foundation for Software Quality Lecture Notes in Computer Science, nr. 8396 Editat de Camille Salinesi et al. 2 apr 2014 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%
Verified Software: Theories, Tools and Experiments Lecture Notes in Computer Science, nr. 8471 Editat de Dimitra Giannakopoulou et al. 28 oct 2014 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Search-Based Software Engineering Lecture Notes in Computer Science, nr. 8636 Editat de Claire Le Goues et al. 8 aug 2014 Paperback Preț: 349.59 lei 437.00 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 8656 Editat de Barry O'Sullivan 19 aug 2014 Paperback Preț: 682.16 lei 852.70 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 8666 Editat de Andrea Bondavalli et al. 20 aug 2014 Paperback Preț: 326.26 lei 407.83 lei 6-8 săpt. -20%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 8702 Editat de Dimitra Giannakopoulou et al. 4 aug 2014 Paperback Preț: 328.10 lei 410.13 lei 6-8 săpt. -20%
Runtime Verification Lecture Notes in Computer Science, nr. 8734 Editat de Borzoo Bonakdarpour et al. 23 sep 2014 Paperback Preț: 326.05 lei 407.56 lei 6-8 săpt. -20%
Programming Languages Lecture Notes in Computer Science, nr. 8771 Editat de Fernando Magno Quintao Pereira 22 sep 2014 Paperback Preț: 260.74 lei 325.93 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%
Product-Focused Software Process Improvement Lecture Notes in Computer Science, nr. 8892 Editat de Andreas Jedlitschka et al. 20 noi 2014 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 8997 Editat de Ivan Lanese et al. 18 feb 2015 Paperback Preț: 327.07 lei 408.84 lei 6-8 săpt. -20%
Coordination Models and Languages Lecture Notes in Computer Science, nr. 9037 Editat de Tom Holvoet et al. 13 mai 2015 Paperback Preț: 320.32 lei 400.41 lei 6-8 săpt. -20%
Cloud Computing and Big Data Lecture Notes in Computer Science, nr. 9106 Editat de Weizhong Qiang et al. 3 feb 2016 Paperback Preț: 328.29 lei 410.37 lei 6-8 săpt. -20%
Reversible Computation Lecture Notes in Computer Science, nr. 9138 Editat de Jean Krivine et al. iul 2015 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Tests and Proofs Lecture Notes in Computer Science, nr. 9154 Editat de Jasmin Christian Blanchette et al. iul 2015 Paperback Preț: 318.69 lei 398.37 lei 6-8 săpt. -20%
Search-Based Software Engineering Lecture Notes in Computer Science, nr. 9275 Editat de Márcio Barros et al. 5 aug 2015 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 9276 Editat de Radu Calinescu et al. 21 aug 2015 Paperback Preț: 326.47 lei 408.09 lei 6-8 săpt. -20%
Software Architecture Lecture Notes in Computer Science, nr. 9278 Editat de Danny Weyns et al. 26 aug 2015 Paperback Preț: 352.65 lei 440.81 lei 38-44 zile -20%
Service Oriented and Cloud Computing Lecture Notes in Computer Science, nr. 9306 Editat de Schahram Dustdar et al. 8 sep 2015 Paperback Preț: 321.15 lei 401.43 lei 6-8 săpt. -20%
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Lecture Notes in Computer Science, nr. 9397 Editat de Manjunath Gorentla Venkata et al. 9 dec 2015 Paperback Preț: 262.81 lei 328.52 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%
Dependable Software Engineering: Theories, Tools, and Applications Lecture Notes in Computer Science, nr. 9409 Editat de Xuandong Li et al. 27 oct 2015 Paperback Preț: 324.22 lei 405.27 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%
Formal Methods: Foundations and Applications Lecture Notes in Computer Science, nr. 9526 Editat de Márcio Cornélio et al. 3 feb 2016 Paperback Preț: 262.98 lei 328.73 lei 6-8 săpt. -20%
Practical Aspects of Declarative Languages Lecture Notes in Computer Science, nr. 9585 Editat de Marco Gavanelli et al. 19 dec 2015 Paperback Preț: 262.18 lei 327.73 lei 6-8 săpt. -20%
Requirements Engineering: Foundation for Software Quality Lecture Notes in Computer Science, nr. 9619 Editat de Maya Daneva et al. 4 mar 2016 Paperback Preț: 324.02 lei 405.03 lei 6-8 săpt. -20%
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems Lecture Notes in Computer Science, nr. 9629 Editat de Anne Remke et al. 24 mar 2016 Paperback Preț: 318.27 lei 397.84 lei 6-8 săpt. -20%
Intelligent Tutoring Systems Lecture Notes in Computer Science, nr. 9684 Editat de Alessandro Micarelli et al. 3 iun 2016 Paperback Preț: 392.71 lei 6-8 săpt.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Lecture Notes in Computer Science, nr. 9707 Editat de Thierry Lecomte et al. 15 iun 2016 Paperback Preț: 320.50 lei 400.63 lei 6-8 săpt. -20%
Reversible Computation Lecture Notes in Computer Science, nr. 9720 Editat de Simon Devitt et al. 30 iun 2016 Paperback Preț: 325.03 lei 406.29 lei 6-8 săpt. -20%
Software Engineering for Resilient Systems Lecture Notes in Computer Science, nr. 9823 Editat de Ivica Crnkovic et al. 26 aug 2016 Paperback Preț: 315.00 lei 393.75 lei 6-8 săpt. -20%
Analytical and Stochastic Modelling Techniques and Applications Lecture Notes in Computer Science, nr. 9845 Editat de Sabine Wittevrongel et al. 4 aug 2016 Paperback Preț: 323.60 lei 404.50 lei 6-8 săpt. -20%
Programming Languages Lecture Notes in Computer Science, nr. 9889 Editat de Fernando Castor et al. 18 sep 2016 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 9892 Editat de Michel Rueher 23 aug 2016 Paperback Preț: 656.03 lei 820.03 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 9922 Editat de Amund Skavhaug et al. 4 sep 2016 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 9923 Editat de Amund Skavhaug et al. sep 2016 Paperback Preț: 328.10 lei 410.13 lei 6-8 săpt. -20%
Service-Oriented Computing Lecture Notes in Computer Science, nr. 9936 Editat de Quan Z. Sheng et al. 20 sep 2016 Paperback Preț: 653.15 lei 816.44 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%
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers Lecture Notes in Computer Science, nr. 9964 Editat de Marko van Eekelen et al. 27 sep 2016 Paperback Preț: 312.30 lei 390.38 lei 6-8 săpt. -20%
Scala: From a Functional Programming Perspective: An Introduction to the Programming Language Lecture Notes in Computer Science, nr. 9980 Autor Vicenç Torra 21 sep 2016 Paperback Preț: 312.30 lei 390.38 lei 6-8 săpt. -20%
Dependable Software Engineering: Theories, Tools, and Applications Lecture Notes in Computer Science, nr. 9984 Editat de Martin Fränzle et al. 6 oct 2016 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings Lecture Notes in Computer Science, nr. 9995 Editat de John Fitzgerald et al. 8 noi 2016 Paperback Preț: 344.30 lei 430.38 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%
Hardware and Software: Verification and Testing Lecture Notes in Computer Science, nr. 10028 Editat de Roderick Bloem et al. noi 2016 Paperback Preț: 318.48 lei 398.10 lei 6-8 săpt. -20%
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings Lecture Notes in Computer Science, nr. 11460 Editat de Julia M. Badger et al. 28 mai 2019 Paperback Preț: 434.83 lei 543.54 lei 6-8 săpt. -20%