The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 6286 : Programming and Software Engineering » Page 70
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
pdf
Author:
Ludovic Henrio Florian Kammüller Muhammad Uzair Khan (auth.) Frank S. de Boer Marcello M. Bonsangue Stefan Hallerstede Michael Leuschel (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
pdf
Author:
Andy Wellings Alan Burns (auth.) Nabil Abdennadher Fabrice Kordon (eds.)
Language:
English
Year:
2007
0
0
27.01.2024
0
0
Read online
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
pdf
Author:
Chris Ackermann Rance Cleaveland Samuel Huang Arnab Ray Charles Shelton (auth.) Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Roşu Oleg Sokolsky Nikolai Tillmann (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
1
0
Read online
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
0
0
27.01.2024
0
0
Read online
Semantic Web Rules: International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
pdf
Author:
Michael Genesereth (auth.) Mike Dean John Hall Antonino Rotolo Said Tabet (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
pdf
Author:
Nikola Mitrović Jose A. Royo Eduardo Mena (auth.) Jan Gulliksen Morton Borup Harning Philippe Palanque Gerrit C. van der Veer Janet Wesson (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
1
0
Read online
Autonomic and Trusted Computing: 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
pdf
Author:
Stefan Wildermann Andreas Oetken Jürgen Teich Zoran Salcic (auth.) Bing Xie Juergen Branke S. Masoud Sadjadi Daqing Zhang Xingshe Zhou (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
pdf
Author:
Koen Claessen (auth.) Zhenjiang Hu (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
pdf
Author:
Thomas Ball Brian Hackett Shuvendu K. Lahiri Shaz Qadeer Julien Vanegue (auth.) Gary T. Leavens Peter O’Hearn Sriram K. Rajamani (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
1
0
Read online
Human Machine Interaction: Research Results of the MMI Program
pdf
Author:
Bruno Dumas Denis Lalanne Sharon Oviatt (auth.) Denis Lalanne Jürg Kohlas (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
3
0
Read online
1
...
66
67
68
69
70
71
72
73
74
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
