The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computation by Abstract Devices,Artificial Intelligence (incl. Robotics),Computer Appl. in Administr » Page 1249
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part III
djvu
Author:
Ha-Nam Nguyen Syng-Yup Ohn (auth.) Irwin King Jun Wang Lai-Wan Chan DeLiang Wang (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
djvu
Author:
J. A. Bergstra (auth.) J. Grabowski P. Lescanne W. Wechler (eds.)
Language:
English
Year:
1988
0
0
26.01.2024
1
0
Read online
Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings
djvu
Author:
Wu Wen-tsun (auth.) Ding-Zhu Du Xiang-Sun Zhang (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
0
0
Read online
Research in Computational Molecular Biology: 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings
pdf
Author:
Balaji S. Srinivasan Antal F. Novak (auth.) Alberto Apostolico Concettina Guerra Sorin Istrail Pavel A. Pevzner Michael Waterman (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
pdf
Author:
Gerard_J. Holzmann (auth.) Ed Brinksma Kim Guldstrand Larsen (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
pdf
Author:
Randal E. Bryant Steven German Miroslav N. Velev (auth.) Neil V. Murray (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
pdf
Author:
Ole Lehrmann Madsen (auth.) Reinhard Wilhelm (eds.)
Language:
English
Year:
2001
0
0
26.01.2024
1
0
Read online
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
djvu
Author:
Alexander Aiken Dexter Kozen Moshe Vardi Ed Wimmers (auth.) Egon Börger Yuri Gurevich Karl Meinke (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
1
0
Read online
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
djvu
Author:
Deepak Kapur (auth.) Harald Ganzinger (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
pdf
Author:
Jean-Pierre Jouannaud Ralf Treinen (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Hubert Comon Claude Marché Ralf Treinen (eds.)
Language:
English
Year:
2001
0
0
26.01.2024
0
0
Read online
1
...
1245
1246
1247
1248
1249
1250
1251
1252
1253
...
1276
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
