The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering,Logics and Meanings of Programs,Programming Languages Compilers Interpreters,Ma » Page 12
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
pdf
Author:
Jie Ding Jane Hillston (auth.) Michael Johnson Dusko Pavlovic (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
Architecting Dependable Systems VII
pdf
Author:
Themistoklis Bourdenas Morris Sloman Emil C. Lupu (auth.) Antonio Casimiro Rogério de Lemos Cristina Gacek (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
2
0
Read online
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
pdf
Author:
Ina Schieferdecker (auth.) Alexandre Petrenko Adenilso Simão José Carlos Maldonado (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
1
0
Read online
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
pdf
Author:
Bernhard Schätz Holger Giese (auth.) Holger Giese Gabor Karsai Edward Lee Bernhard Rumpe Bernhard Schätz (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
pdf
Author:
Krishnendu Chatterjee Laurent Doyen (auth.) Christian G. Fermüller Andrei Voronkov (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
pdf
Author:
Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings
pdf
Author:
Willem Bekkers Inge van de Weerd (auth.) Andreas Riel Rory O’Connor Serge Tichkiewitch Richard Messnarz (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
pdf
Author:
Robert Nieuwenhuis (auth.) David Cohen (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
2
0
Read online
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
pdf
Author:
Tarek Abdelzaher (auth.) Krishnendu Chatterjee Thomas A. Henzinger (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
1
0
Read online
Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
pdf
Author:
Joerg Evermann Ivan Porres (auth.) Jörg Kienzle (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
1
0
Read online
1
...
8
9
10
11
12
13
14
15
16
...
379
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
