Filtre: Paperback

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

43-57 zile

-20%

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3707

Editat de Doron A. Peled et al.

19 sep 2005

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

22-36 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5089

Editat de Andreas Jedlitschka et al.

16 iun 2008

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-20%

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5140

Editat de José Meseguer et al.

15 iul 2008

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

43-57 zile

-20%

The Common Component Modeling Example: Comparing Software Component Models

Lecture Notes in Computer Science, nr. 5153

Editat de Andreas Rausch et al.

26 aug 2008

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5311

Editat de Sungdeok Cha et al.

6 oct 2008

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

43-57 zile

-20%

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Lecture Notes in Computer Science, nr. 5421

Editat de Michel R. V. Chaudron

22 apr 2009

Preț: 327^.36 lei 409^.20 lei

43-57 zile

-20%

Service-Oriented Computing - ICSOC 2008 Workshops: ICSOC 2008, International Workshops, Sydney, Australia, December 1st, 2008. Revised Selected Papers.

Lecture Notes in Computer Science, nr. 5472

Editat de George Feuerlicht et al.

22 apr 2009

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

43-57 zile

-20%

Trustworthy Software Development Processes: International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5543

Editat de Qing Wang et al.

23 apr 2009

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

43-57 zile

-20%

Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5658

Editat de Walid Mohamed Taha

2 iul 2009

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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5799

Editat de Zhiming Liu et al.

29 sep 2009

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

43-57 zile

-20%

Middleware 2009: ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5896

Editat de Valérie Issarny et al.

6 noi 2009

Preț: 328^.94 lei 411^.17 lei

43-57 zile

-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

22-36 zile

-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

22-36 zile

-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

22-36 zile

-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

22-36 zile

-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

22-36 zile

-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

22-36 zile

-20%

Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

Lecture Notes in Computer Science, nr. 6394

Editat de Dorina C. Petriu et al.

27 sep 2010

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-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

22-36 zile

-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

22-36 zile

-20%

Computer Safety, Reliability, and Security

Programming and Software Engineering

Editat de Frank Ortmeier et al.

30 aug 2012

Preț: 333^.82 lei 417^.28 lei

43-57 zile

-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

22-36 zile

-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

22-36 zile

-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

43-57 zile | 5-11 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

43-57 zile

-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

22-36 zile

-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

22-36 zile

-20%

Computer Safety, Reliability, and Security: 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6894

Editat de Francesco Flammini et al.

15 sep 2011

Preț: 329^.25 lei 411^.55 lei

43-57 zile

-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

22-36 zile

-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

43-57 zile

-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

43-57 zile

-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

22-36 zile

-20%

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 7320

Editat de Marco Bernardo et al.

14 iun 2012

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

43-57 zile

-20%

Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7349

Editat de Antonio Vallecillo et al.

28 iun 2012

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-20%

21st Century Learning for 21st Century Skills: 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7563

Editat de Andrew Ravenscroft et al.

14 aug 2012

Preț: 332^.74 lei 415^.93 lei

43-57 zile

-20%

Service-Oriented Computing - ICSOC Workshops 2012: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7759

Editat de Aditya Ghose et al.

9 apr 2013

Preț: 328^.62 lei 410^.77 lei

43-57 zile

-20%

Aliasing in Object-Oriented Programming: Types, Analysis and Verification

Lecture Notes in Computer Science, nr. 7850

Editat de David Clarke et al.

26 mar 2013

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

43-57 zile

-20%

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7871

Editat de Guillaume Brat et al.

17 apr 2013

Preț: 329^.91 lei 412^.39 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8837

Editat de Franck Cassez et al.

29 sep 2014

Preț: 327^.36 lei 409^.20 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Bor-Yuh Evan Chang

6 oct 2019

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7935

Editat de Francesco Logozzo et al.

6 iun 2013

Preț: 329^.91 lei 412^.39 lei

43-57 zile

-20%

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7940

Editat de Einar Broch Johnsen et al.

24 mai 2013

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-20%

Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7984

Editat de Alexander Dudin et al.

19 iul 2013

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-20%

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8174

Editat de Axel Legay et al.

19 aug 2013

Preț: 326^.87 lei 408^.59 lei

43-57 zile

-20%

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8368

Editat de Steve Counsell et al.

apr 2014

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-20%

Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 8665

Editat de Gul Agha et al.

18 sep 2014

Preț: 328^.62 lei 410^.77 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8696

Editat de Andrea Bondavalli et al.

23 sep 2014

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

43-57 zile

-20%

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8829

Editat de Stephan Merz et al.

23 sep 2014

Preț: 328^.48 lei 410^.60 lei

43-57 zile

-20%

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8858

Editat de Jacques Garrigue

23 oct 2014

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-20%

Service-Oriented Computing - ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8954

Editat de Farouk Toumani et al.

12 sep 2015

Preț: 327^.99 lei 409^.99 lei

43-57 zile

-20%

Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9202

Editat de Nick Bassiliades et al.

23 iul 2015

Preț: 329^.25 lei 411^.55 lei

43-57 zile

-20%

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9333

Editat de Ezio Bartocci et al.

11 sep 2015

Preț: 327^.19 lei 408^.99 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9338

Editat de Floor Koornneef et al.

12 sep 2015

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9407

Editat de Michael Butler et al.

2 dec 2015

Preț: 327^.67 lei 409^.59 lei

43-57 zile

-20%

Service-Oriented Computing: 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9435

Editat de Alistair Barros et al.

26 noi 2015

Preț: 330^.36 lei 412^.95 lei

43-57 zile

-20%

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9458

Editat de Xinyu Feng et al.

10 dec 2015

Preț: 330^.68 lei 413^.35 lei

43-57 zile

-20%

Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 9640

Editat de Rogério de Lemos et al.

18 ian 2018

Preț: 326^.87 lei 408^.59 lei

43-57 zile

-20%

Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9837

Editat de Xavier Rival

31 aug 2016

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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 331^.48 lei 414^.35 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10009

Editat de Kazuhiro Ogata et al.

15 oct 2016

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-20%

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10012

Editat de Yliès Falcone et al.

20 sep 2016

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10017

Editat de Atsushi Igarashi

9 oct 2016

Preț: 328^.62 lei 410^.77 lei

43-57 zile

-20%

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10227

Editat de Clark Barrett et al.

9 apr 2017

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

43-57 zile

-20%

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10422

Editat de Francesco Ranzato

21 aug 2017

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10482

Editat de Deepak D'Souza et al.

4 oct 2017

Preț: 329^.60 lei 412^.00 lei

43-57 zile

-20%

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10510

Editat de Nadia Polikarpova et al.

27 aug 2017

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-20%

Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10548

Editat de Shuvendu Lahiri et al.

6 sep 2017

Preț: 327^.19 lei 408^.99 lei

43-57 zile

-20%

On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10574

Editat de Hervé Panetto et al.

21 oct 2017

Preț: 331^.48 lei 414^.35 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10610

Editat de Zhenhua Duan et al.

14 oct 2017

Preț: 330^.23 lei 412^.79 lei

43-57 zile

-20%

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10748

Editat de Martina Seidl et al.

23 ian 2018

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

43-57 zile

-20%

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10760

Editat de Marten Lohstroh et al.

20 iul 2018

Preț: 332^.60 lei 415^.75 lei

43-57 zile

-20%

Web Services – ICWS 2018: 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10966

Editat de Hai Jin et al.

19 iun 2018

Preț: 330^.98 lei 413^.73 lei

43-57 zile

-20%

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11002

Editat de Andreas Podelski

29 aug 2018

Preț: 327^.36 lei 409^.20 lei

43-57 zile

-20%

Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11163

Editat de El Hassan Abdelwahed et al.

13 sep 2018

Preț: 327^.36 lei 409^.20 lei

43-57 zile

-20%

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11176

Editat de Manuel Mazzara et al.

6 dec 2018

Preț: 326^.81 lei 408^.51 lei

22-36 zile | 5-11 zile

-20%

Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11232

Editat de Jing Sun et al.

11 oct 2018

Preț: 329^.25 lei 411^.55 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11271

Editat de Marco Kuhrmann et al.

3 noi 2018

Preț: 328^.62 lei 410^.77 lei

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11434

Editat de Xiao Liu et al.

10 apr 2019

Preț: 329^.91 lei 412^.39 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11781

Editat de Yu-Fang Chen et al.

6 oct 2019

Preț: 332^.42 lei 415^.53 lei

43-57 zile

-20%

Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11825

Editat de Graham Hutton

20 oct 2019

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

43-57 zile

-20%

Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11893

Editat de Anthony Widjaja Lin

9 noi 2019

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-20%

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Lecture Notes in Computer Science, nr. 12232

Editat de Emil Sekerinski et al.

13 aug 2020

Preț: 331^.48 lei 414^.35 lei

43-57 zile

-20%

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12399

Editat de Jyotirmoy Deshmukh et al.

8 oct 2020

Preț: 332^.29 lei 415^.36 lei

43-57 zile

-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

43-57 zile

-20%

Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12562

Editat de Maurizio Morisio et al.

21 noi 2020

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

43-57 zile

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering