The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 7539 Programming and Software Engineering » Page 35
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
pdf
Author:
Manfred Broy María Victoria Cengarle Eva Geisberger (auth.) Radu Calinescu David Garlan (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
pdf
Author:
Mario Tokoro (auth.) Toshiaki Aoki Kenji Taguchi (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
Middleware 2012: ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings
pdf
Author:
Ngoc Do Cheng-Hsin Hsu Nalini Venkatasubramanian (auth.) Priya Narasimhan Peter Triantafillou (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
1
0
Read online
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
pdf
Author:
John Erickson Stephen Freund Madanlal Musuvathi (auth.) Shaz Qadeer Serdar Tasiran (eds.)
Language:
English
Year:
2013
0
0
27.01.2024
1
0
Read online
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
pdf
Author:
John Rushby (auth.) Rohit Gheyi David Naumann (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
pdf
Author:
Kohei Honda (auth.) Marco Carbone Jean-Marc Petit (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
1
0
Read online
Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
pdf
Author:
Gábor Bergmann Ábel Hegedüs Ákos Horváth (auth.) Carlo A. Furia Sebastian Nanz (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
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
pdf
Author:
Michael Lienhardt Ivan Lanese (auth.) Holger Giese Grigore Rosu (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
Software Service and Application Engineering: Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
pdf
Author:
Wolfgang Reisig (auth.) Maritta Heisel (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
pdf
Author:
Harald König Michael Löwe (auth.) Adenilso Simao Carroll Morgan (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
1
...
31
32
33
34
35
36
37
38
39
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
