The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Algorithm Analysis and Problem Complexity,Software Engineering,Programming Techniques,Logics and Mea » Page 17
Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
pdf
Author:
Yehuda Naveh (auth.) Ofer Strichman Stefan Szeider (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
1
0
Read online
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
pdf
Author:
Burkhard Monien Dominic Dumrauf Tobias Tscheuschner (auth.) Samson Abramsky Cyril Gavoille Claude Kirchner Friedhelm Meyer auf der Heide Paul G. Spirakis (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
3
0
Read online
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
Scientific and Statistical Database Management: 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings
pdf
Author:
Daniel J. Abadi (auth.) Michael Gertz Bertram Ludäscher (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
1
0
Read online
Learning and Intelligent Optimization: 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
pdf
Author:
Asvin Goel (auth.) Christian Blum Roberto Battiti (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Multi-Agent-Based Simulation XI: International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
pdf
Author:
Fabien Michel Jacques Ferber Pierre-Alain Laur Florian Aleman (auth.) Tibor Bosse Armando Geller Catholijn M. Jonker (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
DNA Computing and Molecular Programming: 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers
pdf
Author:
Yuriy Brun (auth.) Yasubumi Sakakibara Yongli Mi (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Transactions on Computational Science XI: Special Issue on Security in Computing, Part II
pdf
Author:
Celia Li Zhuang Wang Cungang Yang (auth.) Marina L. Gavrilova C. J. Kenneth Tan Edward David Moreno (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
1
0
Read online
Communication and Networking: International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part I
pdf
Author:
Giovanni Cagalaban Seoksoo Kim (auth.) Tai-hoon Kim Alan Chin-Chen Chang MingChu Li Chunming Rong Charalampos Z. Patrikakis Dominik Ślęzak (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Internet and Network Economics: 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
pdf
Author:
Karthik V. Aadithya Balaraman Ravindran Tomasz P. Michalak Nicholas R. Jennings (auth.) Amin Saberi (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
1
...
13
14
15
16
17
18
19
20
21
...
604
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через