The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages,Database Management,Information Storage and Retrieval,Algori » Page 8
Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
pdf
Author:
Kamal Ali Kevin Leung Tolga Konik Dongkyu Choi (auth.) Luc De Raedt (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Membrane Computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
pdf
Author:
Gheorghe Păun (auth.) Marian Gheorghe Thomas Hinze Gheorghe Păun Grzegorz Rozenberg Arto Salomaa (eds.)
Language:
English
Year:
2011
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
The Evolution of Conceptual Modeling: From a Historical Perspective towards the Future of Conceptual Modeling
pdf
Author:
Roel Wieringa (auth.) Roland Kaschek Lois Delcambre (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
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
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
Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
pdf
Author:
Marcus Hutter Frank Stephan Vladimir Vovk Thomas Zeugmann (auth.) Marcus Hutter Frank Stephan Vladimir Vovk Thomas Zeugmann (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Transactions on Computational Science IX: Special Issue on Voronoi Diagrams in Science and Engineering
pdf
Author:
Ophir Setter Micha Sharir Dan Halperin (auth.) Marina L. Gavrilova C. J. Kenneth Tan François Anton (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
0
0
Read online
1
...
4
5
6
7
8
9
10
11
12
...
360
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через