Filtre: Engleză

Programming and Software Engineering

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

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

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

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

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

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

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4279

Editat de Naoki Kobayashi

6 noi 2006

Preț: 326^.55 lei 408^.19 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

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

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

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

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

Preț: 326^.55 lei 408^.19 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

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

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

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

Preț: 328^.16 lei 410^.20 lei

3-5 săpt.

-20%

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6252

Editat de Ahmed Bouajjani et al.

3 sep 2010

Preț: 326^.55 lei 408^.19 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

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

Preț: 330^.54 lei 413^.16 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

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

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

Preț: 330^.54 lei 413^.16 lei

6-8 săpt. | 4-10 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

Preț: 327^.36 lei 409^.20 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

Preț: 328^.94 lei 411^.17 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

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

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

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

Preț: 326^.72 lei 408^.40 lei

3-5 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

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

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

Preț: 332^.10 lei 415^.13 lei

3-5 săpt.

-20%

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12546

Editat de Brijesh Dongol et al.

14 noi 2020

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Programming and Software Engineering

Papetărie, jocuri, reviste