The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 5472 Programming and Software Engineering » Page 30
Service-Oriented Computing – ICSOC 2008 Workshops: ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers
pdf
Author:
Christian Zirpins Guadalupe Ortiz Yen-Jao Chung Wolfgang Emmerich (auth.) George Feuerlicht Winfried Lamersdorf (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
pdf
Author:
Mario Bravetti Gianluigi Zavattaro (auth.) Roberto Bruni Karsten Wolf (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Trustworthy Software Development Processes: International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
pdf
Author:
Lionel Briand (auth.) Qing Wang Vahid Garousi Raymond Madachy Dietmar Pfahl (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
pdf
Author:
Daniel Jackson (auth.) Hana Chockler Alan J. Hu (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
1
0
Read online
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
pdf
Author:
Roberto Bruni (auth.) Marco Bernardo Luca Padovani Gianluigi Zavattaro (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
pdf
Author:
Rafael Tolosana-Calasanz Omer F. Rana José A. Bañares (auth.) Michel R. V. Chaudron Clemens Szyperski Ralf Reussner (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Software Architecture: Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
pdf
Author:
Dewayne E. Perry (auth.) Ron Morrison Dharini Balasubramaniam Katrina Falkner (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
pdf
Author:
Takuya Katayama (auth.) Shaoying Liu Tom Maibaum Keijiro Araki (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
pdf
Author:
Jana Koehler Thomas Gschwind Jochen Küster Cesare Pautasso Ksenia Ryndina (auth.) Andy Schürr Manfred Nagl Albert Zündorf (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
1
0
Read online
Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
pdf
Author:
Ian Piumarta Alessandro Warth (auth.) Robert Hirschfeld Kim Rose (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
1
...
26
27
28
29
30
31
32
33
34
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
