Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings Lecture Notes in Computer Science, nr. 3668 Editat de Maurizio Gabbrielli et al. 19 sep 2005 Paperback Preț: 328.16 lei 410.20 lei 6-8 săpt. -20%
Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers Lecture Notes in Computer Science, nr. 3840 Editat de Mingshu Li et al. 16 ian 2006 Paperback Preț: 331.48 lei 414.35 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings Lecture Notes in Computer Science, nr. 4034 Editat de Jürgen Münch et al. 9 iun 2006 Paperback Preț: 329.25 lei 411.55 lei 6-8 săpt. -20%
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Lecture Notes in Computer Science, nr. 4079 Editat de Sandro Etalle et al. 3 aug 2006 Paperback Preț: 329.25 lei 411.55 lei 6-8 săpt. -20%
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings Lecture Notes in Computer Science, nr. 4134 Editat de Kwangkeun Yi 17 aug 2006 Paperback Preț: 328.94 lei 411.17 lei 6-8 săpt. -20%
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings Lecture Notes in Computer Science, nr. 4192 Editat de Bernd Mohr et al. 13 sep 2006 Paperback Preț: 327.04 lei 408.80 lei 6-8 săpt. -20%
Product-Focused Software Process Improvement: 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings Lecture Notes in Computer Science, nr. 4589 Editat de Jürgen Münch et al. 21 iun 2007 Paperback Preț: 328.16 lei 410.20 lei 6-8 săpt. -20%
Middleware 2007: ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings Lecture Notes in Computer Science, nr. 4834 Editat de Renato Cerqueira et al. 12 noi 2007 Paperback Preț: 329.25 lei 411.55 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%
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%
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings Lecture Notes in Computer Science, nr. 6142 Editat de Laurence Tratt et al. 17 iun 2010 Paperback Preț: 327.36 lei 409.20 lei 3-5 săpt. -20%
Analytical and Stochastic Modeling Techniques and Applications: 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings Lecture Notes in Computer Science, nr. 6148 Editat de Khalid Al-Begain et al. iun 2010 Paperback Preț: 327.36 lei 409.20 lei 3-5 săpt. -20%
Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings Lecture Notes in Computer Science, nr. 6156 Editat de Muhammad Ali Babar et al. 11 iun 2010 Paperback Preț: 327.36 lei 409.20 lei 3-5 săpt. -20%
Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings Lecture Notes in Computer Science, nr. 6182 Editat de Roel Wieringa et al. 17 iun 2010 Paperback Preț: 328.16 lei 410.20 lei 3-5 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%
Software Product Lines: Going Beyond: 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings Lecture Notes in Computer Science, nr. 6287 Editat de Jan Bosch et al. 30 aug 2010 Paperback Preț: 333.68 lei 417.09 lei 3-5 săpt. -20%
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings Lecture Notes in Computer Science, nr. 6337 Editat de Radhia Cousot et al. 9 sep 2010 Paperback Preț: 330.54 lei 413.16 lei 3-5 săpt. -20%
Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings Lecture Notes in Computer Science, nr. 6351 Editat de Erwin Schoitsch 3 sep 2010 Paperback Preț: 330.54 lei 413.16 lei 3-5 săpt. -20%
HCI in Work and Learning, Life and Leisure: 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings Lecture Notes in Computer Science, nr. 6389 Editat de Gerhard Leitner et al. 21 oct 2010 Paperback Preț: 333.68 lei 417.09 lei 3-5 săpt. -20%
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Lecture Notes in Computer Science, nr. 6418 Editat de Howard Barringer et al. 19 oct 2010 Paperback Preț: 331.62 lei 414.53 lei 3-5 săpt. -20%
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Lecture Notes in Computer Science, nr. 6461 Editat de Kazunori Ueda 5 noi 2010 Paperback Preț: 329.60 lei 412.00 lei 3-5 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%
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%
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%
End-User Development: Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings Lecture Notes in Computer Science, nr. 6654 Editat de Maria Francesca Costabile et al. 31 mai 2011 Paperback Preț: 328.94 lei 411.17 lei 3-5 săpt. -20%
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures Lecture Notes in Computer Science, nr. 6659 Editat de Marco Bernardo et al. 3 iun 2011 Paperback Preț: 333.68 lei 417.09 lei 3-5 săpt. -20%
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings Lecture Notes in Computer Science, nr. 6664 Editat de Michael Butler et al. 16 iun 2011 Paperback Preț: 329.74 lei 412.17 lei 3-5 săpt. -20%
Modelling -- Foundation and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings Lecture Notes in Computer Science, nr. 6698 Editat de Robert B. France et al. 26 mai 2011 Paperback Preț: 327.36 lei 409.20 lei 3-5 săpt. -20%
Software Architecture: 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings Lecture Notes in Computer Science, nr. 6903 Editat de Ivica Crnkovic et al. 9 sep 2011 Paperback Preț: 328.94 lei 411.17 lei 3-5 săpt. -20%
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 Lecture Notes in Computer Science, nr. 6957 Editat de Bernhard K. Aichernig et al. 12 dec 2011 Paperback Preț: 326.72 lei 408.40 lei 3-5 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%
Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings Lecture Notes in Computer Science, nr. 6981 Editat de Jon Whittle et al. 23 sep 2011 Paperback Preț: 341.47 lei 426.84 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings Lecture Notes in Computer Science, nr. 6996 Editat de Tevfik Bultan et al. 21 sep 2011 Paperback Preț: 332.10 lei 415.13 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%
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings Lecture Notes in Computer Science, nr. 7041 Editat de Gilles Barthe et al. 21 oct 2011 Paperback Preț: 332.10 lei 415.13 lei 3-5 săpt. -20%
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings Lecture Notes in Computer Science, nr. 7211 Editat de Helmut Seidl 14 mar 2012 Paperback Preț: 336.55 lei 420.69 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%
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 – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings Lecture Notes in Computer Science, nr. 11800 Editat de Maurice H. ter Beek et al. 15 sep 2019 Paperback Preț: 343.53 lei 429.41 lei 6-8 săpt. -20%
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings Lecture Notes in Computer Science, nr. 11918 Editat de Wolfgang Ahrendt et al. 15 noi 2019 Paperback Preț: 332.92 lei 416.15 lei 6-8 săpt. -20%
From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers Lecture Notes in Computer Science, nr. 12611 Editat de Juliana Bowles et al. 5 mar 2021 Paperback Preț: 371.74 lei 464.68 lei 6-8 săpt. -20%