The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Logics and Meanings of Programs » Page 8
Database and XML Technologies: 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
pdf
Author:
M. Tamer Özsu Patrick Kling (auth.) Mong Li Lee Jeffrey Xu Yu Zohra Bellahsène Rainer Unland (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
1
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
Graph Structures for Knowledge Representation and Reasoning: Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
pdf
Author:
Elias Bareinboim Carlos Brito Judea Pearl (auth.) Madalina Croitoru Sebastian Rudolph Nic Wilson John Howse Olivier Corby (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
pdf
Author:
Wiebe van der Hoek (auth.) Chiaki Sakama Sebastian Sardina Wamberto Vasconcelos Michael Winikoff (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
pdf
Author:
Hans Daduna Lars Peter Saul (auth.) Jens B. Schmitt (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
pdf
Author:
Murad Banaji (auth.) Katsuhisa Horimoto Masahiko Nakatsui Nikolaj Popov (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
pdf
Author:
Michael Leuschel Jens Bendisposto (auth.) Jim Davies Leila Silva Adenilso Simao (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
pdf
Author:
Patricia Bouyer Nicolas Markey Ocan Sankur (auth.) Parosh Aziz Abdulla Igor Potapov (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
1
...
4
5
6
7
8
9
10
11
12
...
338
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
