The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 8
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
2
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
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
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
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
Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
pdf
Author:
Artiom Alhazov (auth.) Marian Gheorghe Gheorghe Păun Grzegorz Rozenberg Arto Salomaa Sergey Verlan (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday
pdf
Author:
Solomon Marcus (auth.) Jozef Kelemen Alica Kelemenová (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
1
...
4
5
6
7
8
9
10
11
12
...
358
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
