2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
25 Years of Model Checking
Orna Grumberg
,
Helmut Veith
Категория:
CsLn_
4.00 Mb
#2
Abstraction, Reformulation, and Approximation, 7 conf., SARA 2007
Ian Miguel
,
Wheeler Tuml
Категория:
CsLn_
7.09 Mb
#3
Abstraction, Reformulation and Approximation 4 conf
Berthe Y. Choueiry
,
Toby Walsh
Категория:
CsLn_
3.92 Mb
#4
Abstraction, Reformulation and Approximation 6 conf
Jean-Daniel Zucker
,
Lorenza Saitta
Категория:
CsLn_
4.93 Mb
#5
Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003
Egon Börger
,
Angelo Gargantini
,
Elvinia Riccobene
Категория:
CsLn_
3.93 Mb
#6
Abstract State Machines, B and Z, 1 conf., ABZ 2008
Egon Börger
,
Michael Butler
,
Jonathan P. Bowen
,
Paul Boca
Категория:
CsLn_
4.83 Mb
#7
Abstract State Machines, Theory and Applications, ASM 2000
Yuri Gurevich
,
Philipp W. Kutter
,
Martin Odersky
,
Lothar Thiele
Категория:
CsLn_
3.80 Mb
#8
Abstract State Machines 2004.. Advances in Theory and Practice, 11 conf., ASM 2004
Wolf Zimmermann
,
Bernhard Thalheim
Категория:
CsLn_
6.92 Mb
#9
Accessing Multilingual Information Repositories, 6 conf., CLEF 2005
Carol Peters
,
Fredric Gey
,
Julio Gonzalo
,
Henning Mueller
,
Gareh Jones
,
Michael Kluck
,
Bernardo Magnini
,
Maarten de Rijke
Категория:
CsLn_
29.25 Mb
#10
A Connotational Theory of Program Structure
James S. Royer
Категория:
CsLn_
1.34 Mb
#11
Active, Real-Time, and Temporal Database Systems, 2 conf., ARTDB-97
Sten F. Andler
,
Jörgen Hansson
Категория:
CsLn_
1.67 Mb
#12
Active Conceptual Modeling of Learning 1 conf
Peter P. Chen
,
Leah Y. Wong
Категория:
CsLn_
2.89 Mb
#13
Active Networks, IFIP TC6 6 conf., IWAN 2004
Gary J. Minden
Категория:
CsLn_
4.16 Mb
#14
Active Visual Inference of Surface Shape
Roberto Cipolla
Категория:
CsLn_
1.72 Mb
#15
Ad-Hoc, Mobile, and Wireless Networks.. 3 conf., ADHOC-NOW 2004
Ioanis Nikolaidis
,
Michel Barbeau
,
Evangelos Kranakis
Категория:
CsLn_
3.80 Mb
#16
Ad-hoc, Mobile and Wireless Networks, 7 conf., ADHOC-NOW 2008
David Coudert
,
David Simplot-Ryl
,
Ivan Stojmenovic
Категория:
CsLn_
12.80 Mb
#17
Ada 95 Quality and Style
Christine Ausnit-Hood
,
Kent A. Johnson
,
Robert G. Pettit IV
,
Steven B. Opdahl
Категория:
CsLn_
837 Kb
#18
Ada 95 Rationale
John Barnes
Категория:
CsLn_
8.74 Mb
#19
Ada 95 Rationale
John Barnes
Категория:
CsLn_
3.60 Mb
#20
Ada 95 Reference Manual, Language and Standard Libraries
Tucker S. Taft
,
Robert A. Duff
Категория:
CsLn_
1.21 Mb
#21
Ada 2005 Reference Manual.. Language and Standard Libraries
S. Tucker Taft
,
Robert A. Duff
,
Randall L. Brukardt
,
Erhard Ploedereder
,
Pascal Leroy
Категория:
CsLn_
2.35 Mb
#22
Adaptive Agents and Multi-Agent Systems.. Adaptation and Multi-Agent Learning
Eduardo Alonso
,
Daniel Kudenko
,
Dimitar Kazakov
Категория:
CsLn_
4.42 Mb
#23
Adaptive Agents and Multi-Agent Systems II.. Adaptation and Multi-Agent Learning
Daniel Kudenko
,
Dimitar Kazakov
,
Eduardo Alonso
Категория:
CsLn_
5.34 Mb
#24
Adaptive Agents and Multi-Agent Systems III.. Adaptation and Multi-Agent Learning, 5, 6, 7 conf., ALAMAS 2005-2007
Karl Tuyls
,
Ann Nowe
,
Zahia Guessoum
,
Daniel Kudenko
Категория:
CsLn_
7.39 Mb
#25
Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 1
Bartlomiej Beliczynski
,
Andrzej Dzielinski
Категория:
CsLn_
15.14 Mb
#26
Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 2
Bartlomiej Beliczynski
,
Andrzej Dzielinski
,
Marcin Iwanowski
,
Bernadete Ribeiro
Категория:
CsLn_
17.57 Mb
#27
Adaptive Hypermedia and Adaptive Web-Based Systems, 3 conf., AH 2004
Wolfgang Nejdl
,
Paul De Bra
Категория:
CsLn_
7.52 Mb
#28
Adaptive Hypermedia and Adaptive Web-Based Systems, 5 conf., AH 2008
Wolfgang Nejdl
,
Judy Kay
,
Pearl Pu
,
Eelco Herder
Категория:
CsLn_
12.85 Mb
#29
Adaptive Multimedial Retrieval.. Retrieval, User, and Semantics, 5 conf., AMR 2007
Nozha Boujemaa
,
Marcin Detyniecki
,
Andreas Nürnberger
Категория:
CsLn_
8.72 Mb
#30
Adaptive Multimedia Retrieval.. 1 conf., AMR 2003
Andreas Nürnberger
,
Marcin Detyniecki
Категория:
CsLn_
5.82 Mb
#31
Adaptive Multimedia Retrieval.. User, Context, and Feedback, 4 conf., AMR 2006
Stéphane Marchand-Maillet
,
Eric Bruno
Категория:
CsLn_
4.26 Mb
#32
A Decade of Concurrency
J.W.de Bakker
,
W.-P.de Roever
,
G. Rozenberg
Категория:
CsLn_
4.96 Mb
#33
Advanced Database Systems
Nabil R. Adam
,
Bharat K. Bhargava
Категория:
CsLn_
3.71 Mb
#34
Advanced Functional Programming 6 conf., AFP 2008
Pieter Koopman
,
Rinus Plasmeijer
,
Doaitse Swierstra
Категория:
CsLn_
2.54 Mb
#35
Advanced Information Systems Engineering, 11 conf., CAiSE'99
Matthias Jarke
,
Andreas Oberweis
Категория:
CsLn_
4.54 Mb
#36
Advanced Information Systems Engineering, 15 conf., CAiSE 2003
Johann Eder
,
Michele Missikoff
Категория:
CsLn_
12.68 Mb
#37
Advanced Information Systems Engineering, 16 conf., CAiSE 2004
Anne Persson
,
Janis Stirna
Категория:
CsLn_
16.71 Mb
#38
Advanced Information Systems Engineering, 16 conf., CAiSE 2004
Anne Persson
,
Janis Stirna
Категория:
CsLn_
16.71 Mb
#39
Advanced Information Systems Engineering, 20 conf., CAiSE 2008
Zohra Bellahsène
Категория:
CsLn_
8.81 Mb
#40
Advanced Intelligent Computing Theories and Applications, 3 conf., ICIC 2007
De-Shuang Huang
,
De-Shuang Huang
,
Laurent Heutte
,
Marco Loog
Категория:
CsLn_
25.69 Mb
#41
Advanced Intelligent Computing Theories and Applications, 4 conf., ICIC 2008
De-Shuang Huang
,
Donald C. Wunsch
,
Daniel S. Levine
,
Kang-Hyun Jo
Категория:
CsLn_
25.41 Mb
#42
Advanced Lectures on Machine Learning 2003
Olivier Bousquet
,
Ulrike von Luxburg
,
Gunnar Rätsch
Категория:
CsLn_
3.71 Mb
#43
Advanced Parallel Processing Technologies.. 8 conf., APPT 2009
Yong Dou
,
Ralf Gruber
,
Josef Joller
Категория:
CsLn_
7.70 Mb
#44
Advances in Artificial Intelligence, 17 conf., Canadian AI 2004
Ahmed Y. Tawfik
,
Scott D. Goodwin
Категория:
CsLn_
13.13 Mb
#45
Advances in Artificial Intelligence, 20 conf., Canadian AI 2007
Ziad Kobti
,
Dan Wu
Категория:
CsLn_
6.56 Mb
#46
Advances in Artificial Intelligence, 21 conf., Canadian AI 2008
Sabine Bergler
Категория:
CsLn_
8.53 Mb
#47
Advances in Artificial Intelligence, 22 conf., Canadian AI 2009
Yong Gao
,
Nathalie Japkowicz
Категория:
CsLn_
2.96 Mb
#48
Advances in Bioinformatics and Computational Biology, 3 conf., BSB 2008
Ana L.C. Bazzan
,
Mark Craven
,
Natalia F. Martins
Категория:
CsLn_
5.15 Mb
#49
Advances in Brain, Vision, and Artificial Intelligence, 2 conf., BVAI 2007
Francesco Mele
,
Giuliana Ramella
,
Silvia Santillo
,
Francesco Ventriglia
Категория:
CsLn_
13.87 Mb
#50
Advances in Computer Science - ASIAN 2006.. Secure Software and Related Issues, 11 conf
Mitsu Okada
,
Ichiro Satoh
Категория:
CsLn_
4.11 Mb
#51
Advances in Computer Science - ASIAN 2007.. Computer and Network Security, 12 conf
Iliano Cervesato
Категория:
CsLn_
5.10 Mb
#52
Advances in Computer Systems Architecture, 9 conf., ACSAC 2004
Pen-Chung Yew
,
Jingling Xue
Категория:
CsLn_
15.70 Mb
#53
Advances in Computer Systems Architecture, 9 conf., ACSAC 2004
Pen-Chung Yew
,
Jingling Xue
Категория:
CsLn_
15.70 Mb
#54
Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8 conf
Vijay A. Saraswat
Категория:
CsLn_
5.64 Mb
#55
Advances in Conceptual Modeling - Foundations and Applications, ER 2007
Jean-Luc Hainaut
,
Elke Al. Rundensteiner
,
Markus Kirchberg
,
Michaela Bertolotto
,
Mathias Brochhausen
Категория:
CsLn_
8.30 Mb
#56
Advances in Conceptual Modeling.. ER '99
Peter P. Chen
,
David W. Embley
,
Jacques Kouloumdjian
,
Stephen W. Liddle
,
John F. Roddick
Категория:
CsLn_
23.45 Mb
#57
Advances in Cryptology - ASIACRYPT 2007, 13 conf
Kaoru Kurosawa
Категория:
CsLn_
5.46 Mb
#58
Advances in Cryptology - ASIACRYPT 2008, 14 conf
Josef Pawel Pieprzyk
Категория:
CsLn_
9.10 Mb
#59
Advances in Cryptology - CRYPTO 2005, 25 conf
Victor Shoup
Категория:
CsLn_
4.56 Mb
#60
Advances in Cryptology - CRYPTO 2006, 26 conf
Cynthia Dwork
Категория:
CsLn_
5.25 Mb
#61
Advances in Cryptology - CRYPTO 2007, 27 conf
Alfred Menezes
Категория:
CsLn_
4.35 Mb
#62
Advances in Cryptology - CRYPTO 2008, 28 conf
David Wagner
Категория:
CsLn_
5.76 Mb
#63
Advances in Cryptology - EUROCRYPT 2007, 26 conf
Moni Naor
Категория:
CsLn_
4.34 Mb
#64
Advances in Cryptology - EUROCRYPT 2008, 27 conf
Nigel (Editor) Smart
Категория:
CsLn_
16.32 Mb
#65
Advances in Data and Web Management, Joint 9 conf., APWeb 2007
Guozhu Dong
,
Xuemin Lin
,
Wei Wang
,
Yun Yang
,
Jeffrey Xu Yu
Категория:
CsLn_
16.30 Mb
#66
Advances in Databases, 15 conf., BNCOD 15
Carol Small
,
Paul Douglas
,
Roger Johnson
,
Peter King
,
Nigel Martin
Категория:
CsLn_
3.08 Mb
#67
Advances in Databases.. Concepts, Systems and Applications, 12 conf., DASFAA 2007
Ramamohanarao Kotagiri
,
P. Radha Krishna
,
Mukesh Mohania
,
Ekawit Nantajeewarawat
Категория:
CsLn_
14.54 Mb
#68
Advances in Databases and Information Systems, 12 conf., ADBIS 2008
Paolo Atzeni
,
Albertas Caplinskas
,
Hannu Jaakkola
Категория:
CsLn_
6.58 Mb
#69
Advances in Data Mining
Petra Perner
Категория:
CsLn_
2.23 Mb
#70
Advances in Data Mining.. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects, 8 conf., ICDM 2008
Petra Perner
Категория:
CsLn_
11.36 Mb
#71
Advances in Geometric Modeling and Processing, 5 conf., GMP 2008
F. Chen
,
Bert Jüttler
Категория:
CsLn_
11.40 Mb
#72
Advances in Grid and Pervasive Computing, 2 conf., GPC 2007
Christophe Cérin
,
Kuan-Ching Li
Категория:
CsLn_
17.25 Mb
#73
Advances in Grid and Pervasive Computing, 3 conf., GPC 2008
Song Wu
,
Laurence Tianruo Yang
,
Tony Li Xu
Категория:
CsLn_
8.10 Mb
#74
Advances in Grid and Pervasive Computing, 4 conf., GPC 2009
Nabil Abdennadher
,
Dana Petcu
Категория:
CsLn_
13.09 Mb
#75
Advances in Information and Computer Security, 2 conf., IWSEC 2007
Atsuko Miyaji
,
Hiroaki Kikuchi
,
Kai Rannenberg
Категория:
CsLn_
5.92 Mb
#76
Advances in Information Retrieval, 26 conf., ECIR 2004
Sharon McDonald
,
John Tait
Категория:
CsLn_
8.73 Mb
#77
Advances in Information Retrieval, 29 conf., ECIR 2007
Giambattista Amati
,
Claudio Carpineto
,
Giovanni Romano
Категория:
CsLn_
7.73 Mb
#78
Advances in Information Retrieval, 30 conf., ECIR 2008
Craig Macdonald
,
Iadh Ounis
,
Vassilis Plachouras
,
Ian Ruthven
Категория:
CsLn_
7.22 Mb
#79
Advances in Knowledge Discovery and Data Mining, 11 conf., PAKDD 2007
Zhi-Hua Zhou
Категория:
CsLn_
17.15 Mb
#80
Advances in Learning Software Organizations, 6 conf., LSO 2004
Grigori Melnik
,
Harald Holz
Категория:
CsLn_
3.36 Mb
#81
Advances in Multilingual and Multimodal Information Retrieval, 8 conf., CLEF 2007
Carol Peters
,
Valentin Jijkoun
Категория:
CsLn_
8.14 Mb
#82
Advances in Multimedia Information Processing - PCM 2007, 8 conf
Horace H. S. Ip
,
Oscar C Au
,
Howard Leung
,
Ming-Ting Sun
,
Wei-Ying Ma
Категория:
CsLn_
19.42 Mb
#83
Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 1
Tat-Jen Cham
,
Jianfei Cai
Категория:
CsLn_
27.50 Mb
#84
Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 2
Tat-Jen; Jianfei Cai
,
Et. Al. Cham
Категория:
CsLn_
19.80 Mb
#85
Advances in Multimedia Modeling, 14 conf., MMM 2008
Shin'ichi Satoh
,
Frank Nack
,
Minoru Etoh
Категория:
CsLn_
76.25 Mb
#86
Advances in Natural Computation, 1 conf., ICNC 2005
Lipo Wang
Категория:
CsLn_
21.62 Mb
#87
Advances in Natural Language Processing, 5 conf., FinTAL 2006
Tapio Salakoski
,
Filip Ginter
,
Sampo Pyysalo
,
Tapio Pahikkala
Категория:
CsLn_
11.96 Mb
#88
Advances in Neural Networks - ISNN 2008, 5 conf., ISNN 2008
Fuchun Sun
,
Jianwei Zhang
,
Jinde Cao
,
Wen Yu
Категория:
CsLn_
14.63 Mb
#89
Advances in Nonlinear Speech Processing, on Non-Linear Speech Processing, NOLISP 2007
Mohamed Chetouani
,
Amir Hussain
,
Bruno Gas
,
Maurice Milgram
,
Jean-Luc Zarader
Категория:
CsLn_
6.62 Mb
#90
Advances in Rule Interchange and Applications, RuleML 2007
Adrian Paschke
,
Yevgen Biletskiy
Категория:
CsLn_
5.18 Mb
#91
Advances in Smalltalk, 14 conf., ISC 2006
Wolfgang De Meuter
Категория:
CsLn_
2.40 Mb
#92
Advances in Visual Computing, 3 conf., ISVC 2007, part 1
George Bebis
,
Richard Boyle
,
Bahram Parvin
,
Darko Koracin
,
Nikos Paragios
,
Syeda-Mahmood Tanveer
Категория:
CsLn_
20.68 Mb
#93
Advances in Visual Computing, 3 conf., ISVC 2007, part 2
George Bebis
,
Richard Boyle
,
Bahram Parvin
,
Darko Koracin
,
Nikos Paragios
,
Syeda-Mahmood Tanveer
,
Tao Ju
Категория:
CsLn_
25.78 Mb
#94
Advances in Visual Information Systems, 9 conf., VISUAL 2007
Guoping Qiu
,
Clement Leung
Категория:
CsLn_
19.61 Mb
#95
Advances in Web-Based Learning - ICWL 2004
Wenyin Liu
,
Yuanchun Shi
,
Li Qing
Категория:
CsLn_
9.17 Mb
#96
Advances in Web Based Learning - ICWL 2007, 6 conf
Howard Leung
,
Frederick Li
,
Rynson Lau
,
Qing Li
Категория:
CsLn_
14.01 Mb
#97
Advances in Web Based Learning - ICWL 2008, 7 conf
Frederick Li
,
Jianmin Zhao
,
Timothy Shih
Категория:
CsLn_
16.12 Mb
#98
Advances in Web Mining and Web Usage Analysis, 9 conf., WebKDD 2007
Haizheng Zhang
,
Myra Spiliopoulou
,
Bamshad Mobasher
,
C. Lee Giles
,
Andrew McCallum
Категория:
CsLn_
7.12 Mb
#99
Advances in Web Semantics I.. Ontologies, Web Services
Tharam Dillon
,
Elizabeth Chang
,
Robert Meersman
,
Katia Sycara
Категория:
CsLn_
6.43 Mb
#100
Affect and Emotion in Human-Computer Interactions
Christian Peter
,
Russell Beale
Категория:
CsLn_
27.65 Mb
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.