The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 6390 : Theoretical Computer Science and General Issues » Page 6
Property Testing: Current Research and Surveys
pdf
Author:
Oded Goldreich (auth.) Oded Goldreich (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
Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings
pdf
Author:
Leonid A. Levin (auth.) Shlomi Dolev Jorge Cobb Michael Fischer Moti Yung (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Sequences and Their Applications – SETA 2010: 6th International Conference, Paris, France, September 13-17, 2010. Proceedings
pdf
Author:
Jung-Soo Chung Jong-Seon No (auth.) Claude Carlet Alexander Pott (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Algorithms – ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II
pdf
Author:
Paolo Ferragina (auth.) Mark de Berg Ulrich Meyer (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
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
Swarm and Evolutionary Computation: International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings
pdf
Author:
Djibrilla Amadou Kountché Nicolas Monmarché Mohamed Slimane (auth.) Leszek Rutkowski Marcin Korytkowski Rafał Scherer Ryszard Tadeusiewicz Lotfi A. Zadeh Jacek M. Zurada (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
Computational Linguistics and Intelligent Text Processing: 12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part I
pdf
Author:
Eduard Bejček Pavel Straňák Daniel Zeman (auth.) Alexander F. Gelbukh (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
1
2
3
4
5
6
7
8
9
10
...
177
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
