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

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

book Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

pdf

Author: Andrea Degasperi Stephen Gilmore (auth.) Marco Bernardo Pierpaolo Degano Gianluigi Zavattaro (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

pdf

Author: Dieter Fiems Veronique Inghelbrecht Bart Steyaert Herwig Bruneel (auth.) Khalid Al-Begain Armin Heindl Miklós Telek (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

pdf

Author: Jörg Kienzle Jeff Gray Dominik Stein Walter Cazzola Omar Aldawud Tzilla Elrad (auth.) Holger Giese (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

pdf

Author: Roberto Giacobazzi Isabella Mastroeni (auth.) María Alpuente Germán Vidal (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

pdf

Author: Ugo Montanari Marco Pistore (auth.) Marco Bernardo Alessandro Bogliolo (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

pdf

Author: Christopher Nelson Jung Soo Kim (auth.) Nicolas Guelfi (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

pdf

Author: Yan Liu Ian Gorton (auth.) George T. Heineman Ivica Crnkovic Heinz W. Schmidt Judith A. Stafford Clemens Szyperski Kurt Wallnau (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

pdf

Author: Héctor Geffner (auth.) Peter van Beek (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

pdf

Author: Fernando Castro Daniel Chaver Luis Pinuel Manuel Prieto Michael C. Huang (auth.) Vassilis Paliouras Johan Vounckx Diederik Verkest (eds.)
Language: English
Year: 2005

00

27.01.2024

2

0

book Model Driven Architecture – Foundations and Applications: First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

Model Driven Architecture – Foundations and Applications: First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

pdf

Author: Maria José Presso Mariano Belaunde (auth.) Alan Hartman David Kreische (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0