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

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

book Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

pdf

Author: Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari (auth.) Roberto Gorrieri Heike Wehrheim (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

pdf

Author: Lothar Thiele (auth.) Paul Pettersson Wang Yi (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

pdf

Author: Ittai Balaban Amir Pnueli Lenore D. Zuck (auth.) Farn Wang (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

pdf

Author: Daniel Krob (auth.) Elie Najm Jean-François Pradat-Peyre Véronique Viguié Donzeau-Gouge (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

pdf

Author: Susanne Graf Sophie Quinton (auth.) John Derrick Jüri Vain (eds.)
Language: English
Year: 2007

00

27.01.2024

1

0

book Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

pdf

Author: Ethan K. Jackson Wolfram Schulte (auth.) Kenji Suzuki Teruo Higashino Keiichi Yasumoto Khaled El-Fakih (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Embedded Systems Design: The ARTIST Roadmap for Research and Development

Embedded Systems Design: The ARTIST Roadmap for Research and Development

pdf

Author: Bruno Bouyssounouse Joseph Sifakis (auth.)
Language: English
Year: 2005

00

27.01.2024

1

0

book ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

pdf

Author: Bertrand Meyer (auth.) Andrew P. Black (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book ECOOP 2008 – Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

ECOOP 2008 – Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

pdf

Author: Rachid Guerraoui (auth.) Jan Vitek (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Dependability Metrics: Advanced Lectures

Dependability Metrics: Advanced Lectures

pdf

Author: Irene Eusgeld Felix C. Freiling (auth.) Irene Eusgeld Felix C. Freiling Ralf Reussner (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0