Filtre: Springer Berlin, Heidelberg

Programming and Software Engineering

Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4066

Editat de Arend Rensink et al.

29 iun 2006

Preț: 325^.15 lei 406^.44 lei

43-57 zile

-20%

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4323

Editat de Gavin Doherty et al.

18 ian 2007

Preț: 319^.29 lei 399^.11 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%

Lecture Notes in Computer Science, nr. 5835

Editat de Rogério de Lemos et al.

2 noi 2009

Preț: 324^.19 lei 405^.23 lei

43-57 zile

-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

Preț: 324^.99 lei 406^.23 lei

43-57 zile

-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

Preț: 321^.81 lei 402^.26 lei

43-57 zile

-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

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

ECOOP 2010 -- Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6183

Editat de Theo D'Hondt

17 iun 2010

Preț: 638^.44 lei 798^.05 lei

22-36 zile

-20%

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6706

Editat de Martin Gogolla et al.

22 iun 2011

Preț: 317^.05 lei 396^.31 lei

22-36 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%

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

Preț: 333^.68 lei 417^.09 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%

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

Preț: 399^.09 lei 498^.86 lei

43-57 zile

-20%

Rule-Based Modeling and Computing on the Semantic Web: 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7018

Editat de Monica Palmirani et al.

14 oct 2011

Preț: 321^.81 lei 402^.26 lei

43-57 zile

-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

Preț: 409^.92 lei 512^.40 lei

43-57 zile

-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

Preț: 395^.90 lei 494^.88 lei

43-57 zile

-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

Preț: 324^.99 lei 406^.23 lei

43-57 zile

-20%

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7273

Editat de Holger Giese et al.

31 mai 2012

Preț: 319^.42 lei 399^.28 lei

43-57 zile

-20%

Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7274

Editat de Marjan Sirjani

31 mai 2012

Preț: 319^.42 lei 399^.28 lei

43-57 zile

-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

Preț: 343^.23 lei 429^.04 lei

43-57 zile

-20%

Analytical and Stochastic Modeling Techniques and Applications: 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7314

Editat de Khalid Al-Begain et al.

21 mai 2012

Preț: 321^.81 lei 402^.26 lei

43-57 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%

Product-Focused Software Process Improvement: 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7343

Editat de Oscar Dieste et al.

31 mai 2012

Preț: 325^.79 lei 407^.24 lei

43-57 zile

-20%

Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7587

Editat de Mirco Tribastone et al.

3 feb 2013

Preț: 411^.19 lei 513^.99 lei

43-57 zile

-20%

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 7682

Editat de Bertrand Meyer et al.

30 noi 2012

Preț: 287^.32 lei 359^.15 lei

43-57 zile

-20%

Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Lecture Notes in Computer Science, nr. 7706

Editat de Ricardo J. Machado et al.

14 mai 2013

Preț: 285^.58 lei 356^.98 lei

43-57 zile

-20%

Selected Topics in Performance Evaluation and Benchmarking: 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7755

Editat de Raghunath Nambiar et al.

31 ian 2013

Preț: 288^.93 lei 361^.17 lei

43-57 zile

-20%

Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7792

Editat de Matthias Felleisen et al.

20 feb 2013

Preț: 336^.09 lei 420^.11 lei

43-57 zile

-20%

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7843

Editat de Maurice H. ter Beek et al.

25 apr 2013

Preț: 286^.22 lei 357^.78 lei

43-57 zile

-20%

Agent-Oriented Software Engineering XIII: 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7852

Editat de Jörg Müller et al.

7 aug 2013

Preț: 288^.27 lei 360^.34 lei

43-57 zile

-20%

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7857

Editat de Armin Biere et al.

19 iul 2013

Preț: 292^.40 lei 365^.50 lei

43-57 zile

-20%

Dependable Computing: 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7869

Editat de Marco Vieira et al.

25 mai 2013

Preț: 288^.76 lei 360^.95 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%

Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7890

Editat de Rocco De Nicola et al.

17 mai 2013

Preț: 318^.48 lei 398^.10 lei

43-57 zile

-20%

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7892

Editat de Dirk Beyer et al.

16 mai 2013

Preț: 321^.66 lei 402^.08 lei

43-57 zile

-20%

Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7896

Editat de Hubert B. Keller et al.

16 mai 2013

Preț: 287^.51 lei 359^.38 lei

43-57 zile

-20%

End-User Development: 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7897

Editat de Yvonne Dittrich et al.

17 mai 2013

Preț: 321^.03 lei 401^.30 lei

43-57 zile

-20%

Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7909

Editat de Keith Duddy et al.

25 mai 2013

Preț: 409^.92 lei 512^.40 lei

43-57 zile

-20%

ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7920

Editat de Giuseppe Castagna

6 iun 2013

Preț: 342^.11 lei 427^.64 lei

43-57 zile

-20%

Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7925

Editat de John Favaro et al.

6 iun 2013

Preț: 323^.55 lei 404^.44 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%

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Lecture Notes in Computer Science, nr. 7938

Editat de Marco Bernardo et al.

7 iun 2013

Preț: 287^.51 lei 359^.38 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%

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7942

Editat de Margus Veanes et al.

7 iun 2013

Preț: 410^.23 lei 512^.80 lei

43-57 zile

-20%

Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7949

Editat de Pieter Van Gorp et al.

6 iun 2013

Preț: 290^.20 lei 362^.75 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7983

Editat de Jens Heidrich et al.

19 iul 2013

Preț: 324^.35 lei 405^.44 lei

43-57 zile

-20%

Theory, Practice, and Applications of Rules on the Web: 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8035

Editat de Leora Morgenstern et al.

19 iul 2013

Preț: 291^.13 lei 363^.91 lei

43-57 zile

-20%

Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8063

Editat de João M. Lourenço et al.

14 iul 2013

Preț: 284^.33 lei 355^.41 lei

43-57 zile

-20%

Search Based Software Engineering: 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8084

Editat de Günther Ruhe et al.

19 iul 2013

Preț: 321^.98 lei 402^.47 lei

43-57 zile

-20%

Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8088

Editat de Walter Binder et al.

30 iul 2013

Preț: 313^.10 lei 391^.37 lei

43-57 zile

-20%

Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8135

Editat de Kung-Kiu Lau et al.

21 aug 2013

Preț: 290^.51 lei 363^.14 lei

43-57 zile

-20%

Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)

Lecture Notes in Computer Science, nr. 8339

Editat de S. Tucker Taft et al.

15 ian 2014

Preț: 978^.60 lei 1223^.24 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%

Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8742

Editat de Stefan Sauer et al.

25 aug 2014

Preț: 321^.81 lei 402^.26 lei

43-57 zile

-20%

Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8745

Editat de Massimo Villari et al.

22 sep 2014

Preț: 315^.16 lei 393^.95 lei

43-57 zile

-20%

Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8763

Editat de Mercedes G. Merayo et al.

23 sep 2014

Preț: 316^.59 lei 395^.75 lei

43-57 zile

-20%

Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8831

Editat de Xavier Franch et al.

27 oct 2014

Preț: 335^.29 lei 419^.11 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%

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9509

Editat de Domenico Bianculli et al.

3 feb 2016

Preț: 322^.61 lei 403^.26 lei

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2015 Workshops: WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9586

Editat de Alex Norta et al.

26 apr 2016

Preț: 319^.42 lei 399^.28 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%

Papetărie, jocuri, reviste

Programming and Software Engineering