Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings Lecture Notes in Computer Science, nr. 6887 Editat de Eran Yahav 6 sep 2011 Paperback Preț: 324.99 lei 406.23 lei 6-8 săpt. -20%
Autonomic and Trusted Computing: 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings Lecture Notes in Computer Science, nr. 6906 Editat de Jose M. Alcaraz Calero et al. 19 aug 2011 Paperback Preț: 318.67 lei 398.33 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings Lecture Notes in Computer Science, nr. 6959 Editat de Gwen Salaün et al. 19 sep 2011 Paperback Preț: 319.42 lei 399.28 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%
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%
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures Lecture Notes in Computer Science, nr. 7007 Editat de Bertrand Meyer et al. 9 ian 2012 Paperback Preț: 399.09 lei 498.86 lei 6-8 săpt. -20%
Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers Lecture Notes in Computer Science, nr. 7151 Editat de Zhiming Liu et al. 6 iul 2012 Paperback Preț: 409.92 lei 512.40 lei 6-8 săpt. -20%
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers Lecture Notes in Computer Science, nr. 7176 Editat de Marco Carbone et al. 23 apr 2012 Paperback Preț: 395.90 lei 494.88 lei 6-8 săpt. -20%
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 7230 Editat de Robert L. Constable et al. 11 apr 2012 Paperback Preț: 324.99 lei 406.23 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%
End-User Development Editat de Yvonne Dittrich et al. 17 mai 2013 Paperback Preț: 323.39 lei 404.23 lei 6-8 săpt. -20%
Reliable Software Technologies -- Ada-Europe 2013 Editat de Hubert B. Keller et al. 16 mai 2013 Paperback Preț: 289.19 lei 361.48 lei 6-8 săpt. -20%
Coordination Models and Languages Editat de Rocco De Nicola et al. 17 mai 2013 Paperback Preț: 320.50 lei 400.63 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%
Computer Performance Engineering Editat de Mirco Tribastone et al. 3 feb 2013 Paperback Preț: 413.65 lei 517.07 lei 6-8 săpt. -20%
Software Engineering and Formal Methods Editat de Domenico Bianculli et al. 3 feb 2016 Paperback Preț: 325.03 lei 406.29 lei 6-8 săpt. -20%
Human Factors in Computing and Informatics Editat de Andreas Holzinger et al. 19 iun 2013 Paperback Preț: 351.41 lei 439.27 lei 6-8 săpt. -20%
Reversible Computation Editat de Gerhard W. Dueck et al. 6 iun 2013 Paperback Preț: 414.26 lei 517.83 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%
Large-Scale Complex IT Systems. Development, Operation and Management Editat de Radu Calinescu et al. 14 sep 2012 Paperback Preț: 328.93 lei 411.16 lei 6-8 săpt. -20%
Analytical and Stochastic Modeling Techniques and Applications Editat de Khalid Al-Begain et al. 21 mai 2012 Paperback Preț: 322.99 lei 403.74 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%
OpenMP in the Era of Low Power Devices and Accelerators Editat de Alistair P. Rendell et al. 21 aug 2013 Paperback Preț: 290.24 lei 362.80 lei 6-8 săpt. -20%
Safe and Secure Software Reuse Editat de John Favaro et al. 6 iun 2013 Paperback Preț: 326.05 lei 407.56 lei 6-8 săpt. -20%
Computer Performance Engineering Editat de Maria Simonetta Balsamo et al. 21 aug 2013 Paperback Preț: 325.44 lei 406.80 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%
ECOOP 2014 -- Object-Oriented Programming Editat de Richard Jones 6 aug 2014 Paperback Preț: 343.86 lei 429.81 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing Editat de Sharon Barner et al. 17 mar 2011 Paperback Preț: 317.47 lei 396.84 lei 6-8 săpt. -20%
Human-Centered Software Engineering Editat de Stefan Sauer et al. 25 aug 2014 Paperback Preț: 324.22 lei 405.27 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%
Web Services and Formal Methods Editat de Mario Bravetti et al. 31 mar 2011 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Model-Based Methodologies for Pervasive and Embedded Software Editat de Ricardo J. Machado et al. 14 mai 2013 Paperback Preț: 287.16 lei 358.95 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement Editat de Jens Heidrich et al. 19 iul 2013 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%
Formal Techniques for Distributed Systems Editat de Dirk Beyer et al. 16 mai 2013 Paperback Preț: 324.02 lei 405.03 lei 6-8 săpt. -20%
Software Composition Editat de Walter Binder et al. 30 iul 2013 Paperback Preț: 314.81 lei 393.51 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%
Search Based Software Engineering Editat de Günther Ruhe et al. 19 iul 2013 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
Dependable Computing Editat de Marco Vieira et al. 25 mai 2013 Paperback Preț: 290.62 lei 363.28 lei 6-8 săpt. -20%
Multicore Software Engineering, Performance, and Tools Editat de João M. Lourenço et al. 14 iul 2013 Paperback Preț: 285.73 lei 357.15 lei 6-8 săpt. -20%
Theory and Practice of Model Transformations Editat de Keith Duddy et al. 25 mai 2013 Paperback Preț: 412.22 lei 515.27 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%
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%
Rule-Based Modeling and Computing on the Semantic Web Editat de Monica Palmirani et al. 14 oct 2011 Paperback Preț: 323.81 lei 404.76 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing Editat de Armin Biere et al. 19 iul 2013 Paperback Preț: 294.52 lei 368.14 lei 6-8 săpt. -20%
Formal Techniques for Distributed Systems Editat de Holger Giese et al. 31 mai 2012 Paperback Preț: 321.36 lei 401.70 lei 6-8 săpt. -20%
Theory, Practice, and Applications of Rules on the Web Editat de Leora Morgenstern et al. 19 iul 2013 Paperback Preț: 293.07 lei 366.34 lei 6-8 săpt. -20%
Coordination Models and Languages Editat de Marjan Sirjani 31 mai 2012 Paperback Preț: 321.74 lei 402.18 lei 6-8 săpt. -20%
Agent-Oriented Software Engineering XIII Editat de Jörg Müller et al. 7 aug 2013 Paperback Preț: 290.04 lei 362.55 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%
Service-Oriented and Cloud Computing Editat de Kung-Kiu Lau et al. 21 aug 2013 Paperback Preț: 292.49 lei 365.61 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement Editat de Oscar Dieste et al. 31 mai 2012 Paperback Preț: 327.07 lei 408.84 lei 6-8 săpt. -20%
Service-Oriented and Cloud Computing Editat de Massimo Villari et al. 22 sep 2014 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Tools for Practical Software Verification Editat de Bertrand Meyer et al. 30 noi 2012 Paperback Preț: 289.19 lei 361.48 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%
Selected Topics in Performance Evaluation and Benchmarking Editat de Raghunath Nambiar et al. 31 ian 2013 Paperback Preț: 290.84 lei 363.55 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%
Integrated Formal Methods Editat de Dominique Méry et al. 6 oct 2010 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%