The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Programming Languages Compilers Interpreters,Programming Techniques,Logics and Meanings of Programs, » Page 11
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
pdf
Author:
John Hughes (auth.) Michael Hanus (eds.)
Language:
English
Year:
2007
0
0
06.02.2024
0
0
Read online
Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
pdf
Author:
Toby Walsh (auth.) Jürgen Dix João Leite Guido Governatori Wojtek Jamroga (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
pdf
Author:
Barry W. Boehm (auth.) Jürgen Münch Ye Yang Wilhelm Schäfer (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
pdf
Author:
Ian Alexander (auth.) Roel Wieringa Anne Persson (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
pdf
Author:
June Andronick (auth.) Bernhard Beckert Claude Marché (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
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
0
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
0
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
1
...
7
8
9
10
11
12
13
14
15
...
377
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через