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%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 8656 Editat de Barry O'Sullivan 19 aug 2014 Paperback Preț: 658.30 lei 822.88 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%
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%
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%
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%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 9039 Editat de Susanne Graf et al. 13 mai 2015 Paperback Preț: 320.14 lei 400.17 lei 6-8 săpt. -20%
Software Engineering in Health Care Lecture Notes in Computer Science, nr. 9062 Editat de Michaela Huhn et al. 27 iul 2017 Paperback Preț: 319.70 lei 399.63 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 39-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%
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%
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%
Verified Software: Theories, Tools, and Experiments Lecture Notes in Computer Science, nr. 9593 Editat de Arie Gurfinkel et al. 29 ian 2016 Paperback Preț: 318.89 lei 398.61 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%
Bidirectional Transformations Lecture Notes in Computer Science, nr. 9715 Editat de Jeremy Gibbons et al. 29 mar 2018 Paperback Preț: 317.04 lei 396.30 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%
Software Technologies: Applications and Foundations Lecture Notes in Computer Science, nr. 9946 Editat de Paolo Milazzo et al. 6 dec 2016 Paperback Preț: 324.90 lei 406.13 lei 3-5 săpt. | 7-13 zile -20%
System Analysis and Modeling. Technology-Specific Aspects of Models Lecture Notes in Computer Science, nr. 9959 Editat de Jens Grabowski et al. 13 sep 2016 Paperback Preț: 319.92 lei 399.90 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%
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%
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%
Theory and Models for Cyber Situation Awareness Lecture Notes in Computer Science, nr. 10030 Editat de Peng Liu et al. 7 iul 2017 Paperback Preț: 346.34 lei 432.92 lei 6-8 săpt. -20%
Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things Lecture Notes in Computer Science, nr. 10080 Editat de Raghunath Nambiar et al. 18 feb 2017 Paperback Preț: 316.03 lei 395.04 lei 6-8 săpt. -20%
Formal Methods: Foundations and Applications Lecture Notes in Computer Science, nr. 10090 Editat de Leila Ribeiro et al. 13 noi 2016 Paperback Preț: 320.32 lei 400.41 lei 6-8 săpt. -20%
Practical Aspects of Declarative Languages Lecture Notes in Computer Science, nr. 10137 Editat de Yuliya Lierler et al. 17 dec 2016 Paperback Preț: 318.48 lei 398.10 lei 6-8 săpt. -20%
Challenges and Opportunity with Big Data Lecture Notes in Computer Science, nr. 10228 Editat de Lin Zhang et al. 4 aug 2017 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 10231 Editat de Olga Kouchnarenko et al. 13 apr 2017 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Reversible Computation Lecture Notes in Computer Science, nr. 10301 Editat de Iain Phillips et al. 25 mai 2017 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%
Coordination Models and Languages Lecture Notes in Computer Science, nr. 10319 Editat de Jean-Marie Jacquet et al. 27 mai 2017 Paperback Preț: 321.74 lei 402.18 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 10321 Editat de Ahmed Bouajjani et al. 28 mai 2017 Paperback Preț: 320.14 lei 400.17 lei 6-8 săpt. -20%
Serviceology for Services Lecture Notes in Computer Science, nr. 10371 Editat de Yoshinori Hara et al. 4 iul 2017 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Theory and Practice of Model Transformation Lecture Notes in Computer Science, nr. 10374 Editat de Esther Guerra et al. 20 iun 2017 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Modelling Foundations and Applications Lecture Notes in Computer Science, nr. 10376 Editat de Anthony Anjorin et al. 20 iun 2017 Paperback Preț: 323.81 lei 404.76 lei 6-8 săpt. -20%
Analytical and Stochastic Modelling Techniques and Applications Lecture Notes in Computer Science, nr. 10378 Editat de Nigel Thomas et al. 9 iun 2017 Paperback Preț: 371.68 lei 6-8 săpt.
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%
Model-Based Safety and Assessment Lecture Notes in Computer Science, nr. 10437 Editat de Marco Bozzano et al. 2 aug 2017 Paperback Preț: 321.36 lei 401.70 lei 6-8 săpt. -20%
Critical Systems: Formal Methods and Automated Verification Lecture Notes in Computer Science, nr. 10471 Editat de Laure Petrucci et al. 25 aug 2017 Paperback Preț: 319.70 lei 399.63 lei 6-8 săpt. -20%
Software Engineering for Resilient Systems Lecture Notes in Computer Science, nr. 10479 Editat de Alexander Romanovsky et al. 12 aug 2017 Paperback Preț: 317.84 lei 397.30 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 10487 Editat de José Proença et al. 14 sep 2017 Paperback Preț: 320.32 lei 400.41 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 10488 Editat de Stefano Tonetta et al. 17 aug 2017 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Fundamentals of Software Engineering Lecture Notes in Computer Science, nr. 10522 Editat de Mehdi Dastani et al. 11 oct 2017 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%
Runtime Verification Lecture Notes in Computer Science, nr. 10548 Editat de Shuvendu Lahiri et al. 6 sep 2017 Paperback Preț: 329.94 lei 412.42 lei 6-8 săpt. -20%
SDL 2017: Model-Driven Engineering for Future Internet Lecture Notes in Computer Science, nr. 10567 Editat de Tibor Csöndes et al. 7 sep 2017 Paperback Preț: 316.44 lei 395.55 lei 6-8 săpt. -20%
Dependable Software Engineering. Theories, Tools, and Applications Lecture Notes in Computer Science, nr. 10606 Editat de Kim Guldstrand Larsen et al. 17 oct 2017 Paperback Preț: 325.83 lei 407.29 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%
Formal Methods: Foundations and Applications Lecture Notes in Computer Science, nr. 10623 Editat de Simone Cavalheiro et al. 12 noi 2017 Paperback Preț: 391.22 lei 489.02 lei 3-5 săpt. | 7-13 zile -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%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 10729 Editat de Antonio Cerone et al. 3 feb 2018 Paperback Preț: 520.48 lei 650.59 lei 39-44 zile -20%
Measurement, Modelling and Evaluation of Computing Systems Lecture Notes in Computer Science, nr. 10740 Editat de Reinhard German et al. 25 ian 2018 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
New Opportunities for Software Reuse Lecture Notes in Computer Science, nr. 10826 Editat de Rafael Capilla et al. 17 apr 2018 Paperback Preț: 777.92 lei 972.40 lei 6-8 săpt. -20%
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab Lecture Notes in Computer Science, nr. 10865 Editat de Frank de Boer et al. 7 apr 2018 Paperback Preț: 318.00 lei 397.50 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%