Book serie: / Книги серии: Lecture Notes in Computer Science 6275 : Programming and Software Engineering » Page 73 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 6275 : Programming and Software Engineering » Page 73

book Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers

pdf

Author: Sabine Buckl Florian Matthes Christian M. Schweda (auth.) Asit Dan Frédéric Gittler Farouk Toumani (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

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

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

pdf

Author: Doug Lea (auth.) Theo D’Hondt (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

pdf

Author: Mariangiola Dezani-Ciancaglini Ugo de’Liguoro (auth.) Cosimo Laneve Jianwen Su (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I

Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I

pdf

Author: Chee-Kit Looi (auth.) Vincent Aleven Judy Kay Jack Mostow (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

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

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

pdf

Author: Olivier Danvy Chung-chieh Shan Ian Zerny (auth.) Walid Mohamed Taha (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

pdf

Author: Thomas Tuerk Klaus Schneider Mike Gordon (auth.) Eyal Bin Avi Ziv Shmuel Ur (eds.)
Language: English
Year: 2007

00

27.01.2024

1

0

book Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

pdf

Author: Philip Koopman Justin Ray (auth.) Bruno Müller-Clostermann Klaus Echtle Erwin P. Rathgeb (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

pdf

Author: Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

pdf

Author: Tony Hoare (auth.) Peter Müller (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

pdf

Author: Thai Son Hoang Hironobu Kuruma David Basin Jean-Raymond Abrial (auth.) Michael Leuschel Heike Wehrheim (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0