Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings Lecture Notes in Computer Science, nr. 4954 Editat de Cesare Pautasso et al. 17 mar 2008 Paperback Preț: 319.42 lei 399.28 lei 6-8 săpt. -20%
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers Lecture Notes in Computer Science, nr. 5088 Editat de Andy Schürr et al. 15 oct 2008 Paperback Preț: 636.86 lei 796.08 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%
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings Lecture Notes in Computer Science, nr. 5256 Editat de Shaoying Liu et al. 8 oct 2008 Paperback Preț: 326.55 lei 408.19 lei 6-8 săpt. -20%
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings Lecture Notes in Computer Science, nr. 5366 Editat de Maria Garcia Banda et al. 2 dec 2008 Paperback Preț: 646.38 lei 807.97 lei 6-8 săpt. -20%
Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings Lecture Notes in Computer Science, nr. 5419 Editat de David Kaeli 12 ian 2009 Paperback Preț: 313.87 lei 392.34 lei 6-8 săpt. -20%
End-User Development: 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings Lecture Notes in Computer Science, nr. 5435 Editat de Volkmar Pipek et al. 27 feb 2009 Paperback Preț: 320.55 lei 400.68 lei 6-8 săpt. -20%
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Lecture Notes in Computer Science, nr. 5533 Editat de Orna Grumberg et al. 12 mai 2009 Paperback Preț: 319.42 lei 399.28 lei 6-8 săpt. -20%
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures Lecture Notes in Computer Science, nr. 5569 Editat de Marco Bernardo et al. 12 mai 2009 Paperback Preț: 405.98 lei 507.48 lei 6-8 săpt. -20%
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings Lecture Notes in Computer Science, nr. 5582 Editat de Grace A. Lewis et al. 9 iun 2009 Paperback Preț: 320.24 lei 400.30 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%
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings Lecture Notes in Computer Science, nr. 5732 Editat de Ian P. Gent 7 sep 2009 Paperback Preț: 649.52 lei 811.90 lei 6-8 săpt. -20%
Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29--October 2, 2009 Proceedings Lecture Notes in Computer Science, nr. 5794 Editat de Ulrike Cress et al. 15 sep 2009 Paperback Preț: 642.07 lei 755.38 lei 6-8 săpt. -15%
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Lecture Notes in Computer Science, nr. 5850 Editat de Ana Cavalcanti et al. 26 oct 2009 Paperback Preț: 646.38 lei 807.97 lei 6-8 săpt. -20%
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings Lecture Notes in Computer Science, nr. 5904 Editat de Zhenjiang Hu 24 noi 2009 Paperback Preț: 324.99 lei 406.23 lei 6-8 săpt. -20%
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings Lecture Notes in Computer Science, nr. 5937 Editat de Manuel Carro et al. 12 ian 2010 Paperback Preț: 321.81 lei 402.26 lei 6-8 săpt. -20%
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers Lecture Notes in Computer Science, nr. 5961 Editat de Farhad Arbab et al. 27 ian 2010 Paperback Preț: 330.54 lei 413.16 lei 6-8 săpt. -20%
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance: 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings Lecture Notes in Computer Science, nr. 5987 Editat de Erwin Rathgeb et al. 5 mar 2010 Paperback Preț: 322.61 lei 403.26 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%
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers Lecture Notes in Computer Science, nr. 6405 Editat de Kedar Namjoshi et al. 10 feb 2011 Paperback Preț: 314.67 lei 393.34 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. | 6-12 zile -20%
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6527 Editat de Jim Davies et al. 23 mar 2011 Paperback Preț: 321.03 lei 401.30 lei 6-8 săpt. -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%
Service-Oriented Computing: ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SC-LOG San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6568 Editat de E. Michael Maximilien et al. 4 mar 2011 Paperback Preț: 320.24 lei 400.30 lei 6-8 săpt. -20%
Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings Lecture Notes in Computer Science, nr. 6606 Editat de Daniel M. Berry et al. 16 mar 2011 Paperback Preț: 317.05 lei 396.31 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%
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Editat de Manfred Nagl et al. 18 iul 2008 Paperback Preț: 652.76 lei 815.95 lei 6-8 săpt. -20%
Models in Software Engineering Autor Holger Giese iul 2008 Paperback Preț: 324.22 lei 405.27 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%
Recent Advances in Parallel Virtual Machine and Message Passing Interface Editat de Alexey Lastovetsky et al. 28 aug 2008 Paperback Preț: 325.25 lei 406.56 lei 6-8 săpt. -20%
Software Language Engineering Editat de Mark van den Brand et al. 25 mar 2010 Paperback Preț: 327.27 lei 409.09 lei 6-8 săpt. -20%
Quality of Software Architectures Models and Architectures Editat de Steffen Becker et al. 7 oct 2008 Paperback Preț: 319.49 lei 399.37 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Editat de Bettina Buth et al. 7 sep 2009 Paperback Preț: 325.03 lei 406.29 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing Editat de Hana Chockler et al. 22 apr 2009 Paperback Preț: 318.48 lei 398.10 lei 6-8 săpt. -20%
Formal Methods for Components and Objects Editat de Marcello M. Bonsangue et al. 7 sep 2009 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
HCI and Usability for e-Inclusion Editat de Andreas Holzinger et al. 26 oct 2009 Paperback Preț: 638.02 lei 797.52 lei 6-8 săpt. -20%
Formal Foundations of Reuse and Domain Engineering Editat de Stephen H. Edwards et al. 11 sep 2009 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
Rule Interchange and Applications Editat de Adrian Paschke et al. 15 oct 2009 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Model Driven Engineering Languages and Systems Editat de Andy Schürr et al. 15 sep 2009 Paperback Preț: 648.46 lei 810.58 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%
Recent Advances in Parallel Virtual Machine and Message Passing Interface Editat de Matti Ropo et al. 28 aug 2009 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%
Runtime Verification Editat de Saddek Bensalem et al. 23 sep 2009 Paperback Preț: 317.66 lei 397.08 lei 6-8 săpt. -20%
Static Analysis Editat de Jens Palsberg et al. 20 iul 2009 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Editat de Karin Breitman et al. 17 noi 2009 Paperback Preț: 648.25 lei 810.31 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems Editat de Darren Cofer et al. 20 iul 2009 Paperback Preț: 319.28 lei 399.10 lei 6-8 săpt. -20%
Fun and Games Editat de Panos Markopoulos et al. 8 oct 2008 Paperback Preț: 318.27 lei 397.84 lei 6-8 săpt. -20%
Language Engineering and Rigorous Software Development Editat de Ana Bove et al. 14 iul 2009 Paperback Preț: 320.51 lei 400.64 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%
Domain-Specific Languages Editat de Walid Mohamed Taha 2 iul 2009 Paperback Preț: 328.49 lei 410.62 lei 6-8 săpt. -20%
Times of Convergence. Technologies Across Learning Contexts Editat de Pierre Dillenbourg et al. 8 sep 2008 Paperback Preț: 387.92 lei 6-8 săpt.
Computer Performance Engineering Editat de Jeremy T. Bradley iul 2009 Paperback Preț: 318.69 lei 398.37 lei 6-8 săpt. -20%
Software Process and Product Measurement Editat de Juan J. Cuadrado-Gallego et al. 25 aug 2008 Paperback Preț: 317.84 lei 397.30 lei 6-8 săpt. -20%
ECOOP 2009 -- Object-Oriented Programming Editat de Sophia Drossopoulou 30 iun 2009 Paperback Preț: 641.91 lei 802.39 lei 6-8 săpt. -20%
Model-Driven Development of Reliable Automotive Services Editat de Manfred Broy et al. 14 iul 2008 Paperback Preț: 317.26 lei 396.57 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems Editat de María Alpuente et al. 26 oct 2009 Paperback Preț: 318.27 lei 397.84 lei 6-8 săpt. -20%
ECOOP 2008 - Object-Oriented Programming Editat de Jan Vitek iul 2008 Paperback Preț: 645.20 lei 806.49 lei 6-8 săpt. -20%
Tests and Proofs Editat de Catherine Dubois 24 iun 2009 Paperback Preț: 316.03 lei 395.04 lei 6-8 săpt. -20%
Web Services and Formal Methods Editat de Marlon Dumas et al. 11 apr 2008 Paperback Preț: 316.23 lei 395.28 lei 6-8 săpt. -20%
Software Composition Editat de Alexandre Bergel et al. 22 iun 2009 Paperback Preț: 316.44 lei 395.55 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%
Autonomic and Trusted Computing Editat de Juan González Nieto et al. 22 iun 2009 Paperback Preț: 321.56 lei 401.94 lei 6-8 săpt. -20%
Service-Oriented Computing Editat de Luciano Baresi et al. 17 noi 2009 Paperback Preț: 643.13 lei 803.92 lei 6-8 săpt. -20%
Software Engineering for Self-Adaptive Systems Editat de Betty H. C. Cheng et al. 19 iun 2009 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%
Task Models and Diagrams for User Interface Design Editat de David England et al. 18 feb 2010 Paperback Preț: 315.82 lei 394.77 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 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%
Model Driven Architecture - Foundations and Applications Editat de Richard F. Paige et al. 12 iun 2009 Paperback Preț: 324.82 lei 406.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%
Software Process and Product Measurement Editat de Alain Abran et al. 2 noi 2009 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Component-Based Software Engineering Editat de Michel R. V. Chaudron et al. 6 oct 2008 Paperback Preț: 325.63 lei 407.04 lei 6-8 săpt. -20%
Architectures for Adaptive Software Systems Editat de Raffaela Mirandola et al. 8 iun 2009 Paperback Preț: 318.27 lei 397.84 lei 6-8 săpt. -20%
Verified Software: Theories, Tools, Experiments Editat de Natarajan Shankar et al. 22 sep 2008 Paperback Preț: 320.93 lei 401.17 lei 6-8 săpt. -20%
Requirements Engineering: Foundation for Software Quality Editat de Martin Glinz et al. 27 mai 2009 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%
Computer Performance Engineering Editat de Nigel Thomas et al. 10 sep 2008 Paperback Preț: 321.56 lei 401.94 lei 6-8 săpt. -20%
Reliable Software Technologies - Ada-Europe 2009 Editat de Fabrice Kordon et al. 25 mai 2009 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Architecting Dependable Systems V Editat de Rogério de Lemos et al. 28 aug 2008 Paperback Preț: 325.25 lei 406.56 lei 6-8 săpt. -20%
Object-Oriented Technology. ECOOP 2008 Workshop Reader Editat de Patrick Eugster 25 mai 2009 Paperback Preț: 313.36 lei 391.71 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%
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%
Secure Transaction Protocol Analysis Autor Qingfeng Chen et al. 30 iul 2008 Paperback Preț: 319.49 lei 399.37 lei 6-8 săpt. -20%
Formal Techniques for Distributed Systems Editat de David Lee et al. 25 mai 2009 Paperback Preț: 320.32 lei 400.41 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%
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%
Intelligent Tutoring Systems Editat de Beverly Woolf et al. 8 iul 2008 Paperback Preț: 647.44 lei 761.69 lei 6-8 săpt. -15%
Web Services and Formal Methods Editat de Roberto Bruni et al. 19 mai 2009 Paperback Preț: 319.70 lei 399.63 lei 6-8 săpt. -20%
Interactive Systems. Design, Specification, and Verification Editat de T. C. Nicholas Graham et al. iul 2008 Paperback Preț: 323.60 lei 404.50 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%
Theory and Practice of Model Transformations Editat de Antonio Vallecillo et al. 17 iun 2008 Paperback Preț: 321.15 lei 401.43 lei 6-8 săpt. -20%
Formal Methods: Foundations and Applications Editat de Marcel Vinícius Medeiros Oliveira et al. 9 noi 2009 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Autonomic and Trusted Computing Editat de Chunming Rong et al. 11 iun 2008 Paperback Preț: 643.76 lei 804.69 lei 6-8 săpt. -20%
Service-Oriented Computing - ICSOC 2008 Workshops Editat de George Feuerlicht et al. 22 apr 2009 Paperback Preț: 328.93 lei 411.16 lei 6-8 săpt. -20%
Theory and Practice of Model Transformations Editat de Richard F. Paige 15 iun 2009 Paperback Preț: 324.11 lei 405.14 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%