The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering,Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Pr » Page 11
Transactions on Aspect-Oriented Software Development VIII
pdf
Author:
Suman Roychoudhury Jeff Gray Frédéric Jouault (auth.) Shmuel Katz Mira Mezini Christine Schwanninger Wouter Joosen (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
pdf
Author:
Ryan Williams (auth.) Karem A. Sakallah Laurent Simon (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
pdf
Author:
Aart Middeldorp Georg Moser Friedrich Neurauter Johannes Waldmann Harald Zankl (auth.) Franz Winkler (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
pdf
Author:
Samson Abramsky (auth.) Cristian S. Calude Jarkko Kari Ion Petre Grzegorz Rozenberg (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
2
0
Read online
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
pdf
Author:
Jeffrey O’Leary (auth.) Alexander Romanovsky Tullio Vardanega (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
2
0
Read online
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
pdf
Author:
Bernhard Möller (auth.) Harrie de Swart (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
pdf
Author:
David Poole (auth.) James P. Delgrande Wolfgang Faber (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
pdf
Author:
Mariangiola Dezani-Ciancaglini Silvia Ghilezan Svetlana Jakšić Jovanka Pantović (auth.) Julio Mariño (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
pdf
Author:
Hector Geffner (auth.) Ron van der Meyden Jan-Georg Smaus (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
pdf
Author:
K. Rustan M. Leino (auth.) Mihaela Bobaru Klaus Havelund Gerard J. Holzmann Rajeev Joshi (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
1
...
7
8
9
10
11
12
13
14
15
...
338
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
