Programming Languages and Systems Lecture Notes in Computer Science, nr. 8301 Editat de Chung-Chien Shan 18 noi 2013 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 8348 Editat de José Luiz Fiadeiro et al. 30 iul 2014 Paperback Preț: 327.07 lei 408.84 lei 6-8 săpt. -20%
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%
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%
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%
Risk Assessment and Risk-Driven Testing Lecture Notes in Computer Science, nr. 8418 Editat de Thomas Bauer et al. 25 iul 2014 Paperback Preț: 259.52 lei 324.40 lei 6-8 săpt. -20%
FM 2014: Formal Methods Lecture Notes in Computer Science, nr. 8442 Editat de Cliff Jones et al. 9 apr 2014 Paperback Preț: 647.86 lei 809.82 lei 6-8 săpt. -20%
Intelligent Tutoring Systems Lecture Notes in Computer Science, nr. 8474 Editat de Stefan Trausan-Matu et al. 21 mai 2014 Paperback Preț: 640.93 lei 754.03 lei 6-8 săpt. -15%
Foundational and Practical Aspects of Resource Analysis Lecture Notes in Computer Science, nr. 8552 Editat de Ugo Dal Lago et al. 6 noi 2014 Paperback Preț: 260.74 lei 325.93 lei 6-8 săpt. -20%
Theory and Practice of Model Transformations Lecture Notes in Computer Science, nr. 8568 Editat de Davide Di Ruscio et al. 5 aug 2014 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%
Tests and Proofs Lecture Notes in Computer Science, nr. 8570 Editat de Martina Seidl et al. 4 aug 2014 Paperback Preț: 318.48 lei 398.10 lei 6-8 săpt. -20%
Rules on the Web: From Theory to Applications Lecture Notes in Computer Science, nr. 8620 Editat de Antonis Bikakis et al. 4 aug 2014 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Software Architecture Lecture Notes in Computer Science, nr. 8627 Editat de Paris Avgeriou et al. 4 aug 2014 Paperback Preț: 328.49 lei 410.62 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%
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%
Software Language Engineering Lecture Notes in Computer Science, nr. 8706 Editat de Benoit Combemale et al. 23 sep 2014 Paperback Preț: 325.63 lei 407.04 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science, nr. 8718 Editat de Frédéric Lang et al. 20 aug 2014 Paperback Preț: 317.84 lei 397.30 lei 6-8 săpt. -20%
Integrated Formal Methods Lecture Notes in Computer Science, nr. 8739 Editat de Elvira Albert et al. 15 sep 2014 Paperback Preț: 327.48 lei 409.36 lei 6-8 săpt. -20%
Model and Data Engineering Lecture Notes in Computer Science, nr. 8748 Editat de Yamine Ait Ameur et al. 23 sep 2014 Paperback Preț: 325.03 lei 406.29 lei 6-8 săpt. -20%
Model-Based Safety and Assessment Lecture Notes in Computer Science, nr. 8822 Editat de Frank Ortmeier et al. 2 oct 2014 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing Lecture Notes in Computer Science, nr. 8855 Editat de Eran Yahav 6 noi 2014 Paperback Preț: 323.17 lei 403.96 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%
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%
Software Engineering Lecture Notes in Computer Science, nr. 8987 Editat de Bertrand Meyer et al. 3 feb 2016 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. 9013 Editat de Samuel A. Fricker et al. 12 mar 2015 Paperback Preț: 324.61 lei 405.76 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%
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%
Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science, nr. 9128 Editat de Manuel Núñez et al. 27 mai 2015 Paperback Preț: 318.69 lei 398.37 lei 6-8 săpt. -20%
Mathematics of Program Construction Lecture Notes in Computer Science, nr. 9129 Editat de Ralf Hinze et al. 12 iun 2015 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%
Practical Aspects of Declarative Languages Lecture Notes in Computer Science, nr. 9131 Editat de Enrico Pontelli et al. iun 2015 Paperback Preț: 260.15 lei 325.19 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%
Theory and Practice of Model Transformations Lecture Notes in Computer Science, nr. 9152 Editat de Dimitris Kolovos et al. 7 iul 2015 Paperback Preț: 319.49 lei 399.37 lei 6-8 săpt. -20%
Modelling Foundations and Applications Lecture Notes in Computer Science, nr. 9153 Editat de Gabriele Taentzer et al. 9 iul 2015 Paperback Preț: 262.98 lei 328.73 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%
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%
Software Engineering for Resilient Systems Lecture Notes in Computer Science, nr. 9274 Editat de Alessandro Fantechi et al. 19 aug 2015 Paperback Preț: 259.94 lei 324.93 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%
Fields of Logic and Computation II Lecture Notes in Computer Science, nr. 9300 Editat de Lev D. Beklemishev et al. 27 aug 2015 Paperback Preț: 323.81 lei 404.76 lei 6-8 săpt. -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%
Programming Languages Lecture Notes in Computer Science, nr. 9325 Editat de Alberto Pardo et al. 15 noi 2015 Paperback Preț: 259.94 lei 324.93 lei 6-8 săpt. -20%
Runtime Verification Lecture Notes in Computer Science, nr. 9333 Editat de Ezio Bartocci et al. 11 sep 2015 Paperback Preț: 329.94 lei 412.42 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%
Model and Data Engineering Lecture Notes in Computer Science, nr. 9344 Editat de Ladjel Bellatreche et al. 11 sep 2015 Paperback Preț: 325.44 lei 406.80 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%
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%
Web Services, Formal Methods, and Behavioral Types Lecture Notes in Computer Science, nr. 9421 Editat de Thomas Hildebrandt et al. 20 apr 2016 Paperback Preț: 261.58 lei 326.98 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing Lecture Notes in Computer Science, nr. 9434 Editat de Nir Piterman 27 oct 2015 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
Testing Software and Systems Lecture Notes in Computer Science, nr. 9447 Editat de Khaled El-Fakih et al. 10 noi 2015 Paperback Preț: 321.36 lei 401.70 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%
Product-Focused Software Process Improvement Lecture Notes in Computer Science, nr. 9459 Editat de Pekka Abrahamsson et al. 10 noi 2015 Paperback Preț: 339.58 lei 424.48 lei 6-8 săpt. -20%
Risk Assessment and Risk-Driven Testing Lecture Notes in Computer Science, nr. 9488 Editat de Fredrik Seehusen et al. 13 noi 2015 Paperback Preț: 258.71 lei 323.39 lei 6-8 săpt. -20%
Engineering Trustworthy Software Systems Lecture Notes in Computer Science, nr. 9506 Editat de Zhiming Liu et al. mar 2016 Paperback Preț: 324.22 lei 405.27 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%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 9539 Editat de Christiano Braga et al. 30 ian 2016 Paperback Preț: 324.41 lei 405.51 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%
Integrated Formal Methods Lecture Notes in Computer Science, nr. 9681 Editat de Erika Ábrahám et al. 24 mai 2016 Paperback Preț: 527.06 lei 658.83 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.
Coordination Models and Languages Lecture Notes in Computer Science, nr. 9686 Editat de Alberto Lluch Lafuente et al. 27 iun 2016 Paperback Preț: 321.94 lei 402.43 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 9688 Editat de Elvira Albert et al. 27 iun 2016 Paperback Preț: 321.74 lei 402.18 lei 6-8 săpt. -20%
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Lecture Notes in Computer Science, nr. 9700 Editat de Marco Bernardo et al. 12 iun 2016 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%
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%
Rule Technologies. Research, Tools, and Applications Lecture Notes in Computer Science, nr. 9718 Editat de Jose Julio Alferes et al. 28 iun 2016 Paperback Preț: 627.98 lei 784.98 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%
Tests and Proofs Lecture Notes in Computer Science, nr. 9762 Editat de Bernhard K. Aichernig et al. 21 iun 2016 Paperback Preț: 317.84 lei 397.30 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%
Service-Oriented and Cloud Computing Lecture Notes in Computer Science, nr. 9846 Editat de Marco Aiello et al. 25 aug 2016 Paperback Preț: 320.93 lei 401.17 lei 6-8 săpt. -20%
Human-Centered and Error-Resilient Systems Development Lecture Notes in Computer Science, nr. 9856 Editat de Cristian Bogdan et al. 23 aug 2016 Paperback Preț: 327.48 lei 409.36 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%
Model and Data Engineering Lecture Notes in Computer Science, nr. 9893 Editat de Ladjel Bellatreche et al. 7 sep 2016 Paperback Preț: 326.26 lei 407.83 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%
Computer Performance Engineering Lecture Notes in Computer Science, nr. 9951 Editat de Dieter Fiems et al. 16 sep 2016 Paperback Preț: 319.10 lei 398.88 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%