Самая большая электронная библиотека рунета. Поиск книг и журналов

25 Years of Model Checking

Автор: , Автор:
Категория: CsLn_
Размер книги: 4.00 Mb

Abstraction, Reformulation, and Approximation, 7 conf., SARA 2007

Автор: , Автор:
Категория: CsLn_
Размер книги: 7.09 Mb

Abstraction, Reformulation and Approximation 4 conf

Автор: , Автор:
Категория: CsLn_
Размер книги: 3.92 Mb

Abstraction, Reformulation and Approximation 6 conf

Автор: , Автор:
Категория: CsLn_
Размер книги: 4.93 Mb

Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 3.93 Mb

Abstract State Machines, B and Z, 1 conf., ABZ 2008

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 4.83 Mb

Abstract State Machines, Theory and Applications, ASM 2000

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 3.80 Mb

Abstract State Machines 2004.. Advances in Theory and Practice, 11 conf., ASM 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 6.92 Mb

Accessing Multilingual Information Repositories, 6 conf., CLEF 2005

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 29.25 Mb

A Connotational Theory of Program Structure

Автор:
Категория: CsLn_
Размер книги: 1.34 Mb

Active, Real-Time, and Temporal Database Systems, 2 conf., ARTDB-97

Автор: , Автор:
Категория: CsLn_
Размер книги: 1.67 Mb

Active Conceptual Modeling of Learning 1 conf

Автор: , Автор:
Категория: CsLn_
Размер книги: 2.89 Mb

Active Networks, IFIP TC6 6 conf., IWAN 2004

Автор:
Категория: CsLn_
Размер книги: 4.16 Mb

Active Visual Inference of Surface Shape

Автор:
Категория: CsLn_
Размер книги: 1.72 Mb

Ad-Hoc, Mobile, and Wireless Networks.. 3 conf., ADHOC-NOW 2004

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 3.80 Mb

Ad-hoc, Mobile and Wireless Networks, 7 conf., ADHOC-NOW 2008

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 12.80 Mb

Ada 95 Quality and Style

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 837 Kb

Ada 95 Rationale

Автор:
Категория: CsLn_
Размер книги: 8.74 Mb

Ada 95 Rationale

Автор:
Категория: CsLn_
Размер книги: 3.60 Mb

Ada 95 Reference Manual, Language and Standard Libraries

Автор: , Автор:
Категория: CsLn_
Размер книги: 1.21 Mb

Ada 2005 Reference Manual.. Language and Standard Libraries

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 2.35 Mb

Adaptive Agents and Multi-Agent Systems.. Adaptation and Multi-Agent Learning

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 4.42 Mb

Adaptive Agents and Multi-Agent Systems II.. Adaptation and Multi-Agent Learning

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.34 Mb

Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 1

Автор: , Автор:
Категория: CsLn_
Размер книги: 15.14 Mb

Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 2

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 17.57 Mb

Adaptive Hypermedia and Adaptive Web-Based Systems, 3 conf., AH 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 7.52 Mb

Adaptive Hypermedia and Adaptive Web-Based Systems, 5 conf., AH 2008

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 12.85 Mb

Adaptive Multimedial Retrieval.. Retrieval, User, and Semantics, 5 conf., AMR 2007

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 8.72 Mb

Adaptive Multimedia Retrieval.. 1 conf., AMR 2003

Автор: , Автор:
Категория: CsLn_
Размер книги: 5.82 Mb

Adaptive Multimedia Retrieval.. User, Context, and Feedback, 4 conf., AMR 2006

Автор: , Автор:
Категория: CsLn_
Размер книги: 4.26 Mb

A Decade of Concurrency

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 4.96 Mb

Advanced Database Systems

Автор: , Автор:
Категория: CsLn_
Размер книги: 3.71 Mb

Advanced Functional Programming 6 conf., AFP 2008

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 2.54 Mb

Advanced Information Systems Engineering, 11 conf., CAiSE'99

Автор: , Автор:
Категория: CsLn_
Размер книги: 4.54 Mb

Advanced Information Systems Engineering, 15 conf., CAiSE 2003

Автор: , Автор:
Категория: CsLn_
Размер книги: 12.68 Mb

Advanced Information Systems Engineering, 16 conf., CAiSE 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 16.71 Mb

Advanced Information Systems Engineering, 16 conf., CAiSE 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 16.71 Mb

Advanced Information Systems Engineering, 20 conf., CAiSE 2008

Автор:
Категория: CsLn_
Размер книги: 8.81 Mb

Advanced Intelligent Computing Theories and Applications, 3 conf., ICIC 2007

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 25.69 Mb

Advanced Intelligent Computing Theories and Applications, 4 conf., ICIC 2008

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 25.41 Mb

Advanced Lectures on Machine Learning 2003

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 3.71 Mb

Advanced Parallel Processing Technologies.. 8 conf., APPT 2009

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 7.70 Mb

Advances in Artificial Intelligence, 17 conf., Canadian AI 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 13.13 Mb

Advances in Artificial Intelligence, 20 conf., Canadian AI 2007

Автор: , Автор:
Категория: CsLn_
Размер книги: 6.56 Mb

Advances in Artificial Intelligence, 21 conf., Canadian AI 2008

Автор:
Категория: CsLn_
Размер книги: 8.53 Mb

Advances in Artificial Intelligence, 22 conf., Canadian AI 2009

Автор: , Автор:
Категория: CsLn_
Размер книги: 2.96 Mb

Advances in Bioinformatics and Computational Biology, 3 conf., BSB 2008

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.15 Mb

Advances in Brain, Vision, and Artificial Intelligence, 2 conf., BVAI 2007

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 13.87 Mb

Advances in Computer Science - ASIAN 2006.. Secure Software and Related Issues, 11 conf

Автор: , Автор:
Категория: CsLn_
Размер книги: 4.11 Mb

Advances in Computer Science - ASIAN 2007.. Computer and Network Security, 12 conf

Автор:
Категория: CsLn_
Размер книги: 5.10 Mb

Advances in Computer Systems Architecture, 9 conf., ACSAC 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 15.70 Mb

Advances in Computer Systems Architecture, 9 conf., ACSAC 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 15.70 Mb

Advances in Conceptual Modeling - Foundations and Applications, ER 2007

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 8.30 Mb

Advances in Conceptual Modeling.. ER '99

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 23.45 Mb

Advances in Cryptology - ASIACRYPT 2007, 13 conf

Автор:
Категория: CsLn_
Размер книги: 5.46 Mb

Advances in Cryptology - ASIACRYPT 2008, 14 conf

Автор:
Категория: CsLn_
Размер книги: 9.10 Mb

Advances in Cryptology - CRYPTO 2005, 25 conf

Автор:
Категория: CsLn_
Размер книги: 4.56 Mb

Advances in Cryptology - CRYPTO 2006, 26 conf

Автор:
Категория: CsLn_
Размер книги: 5.25 Mb

Advances in Cryptology - CRYPTO 2007, 27 conf

Автор:
Категория: CsLn_
Размер книги: 4.35 Mb

Advances in Cryptology - CRYPTO 2008, 28 conf

Автор:
Категория: CsLn_
Размер книги: 5.76 Mb

Advances in Cryptology - EUROCRYPT 2007, 26 conf

Автор:
Категория: CsLn_
Размер книги: 4.34 Mb

Advances in Cryptology - EUROCRYPT 2008, 27 conf

Автор:
Категория: CsLn_
Размер книги: 16.32 Mb

Advances in Data and Web Management, Joint 9 conf., APWeb 2007

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 16.30 Mb

Advances in Databases, 15 conf., BNCOD 15

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 3.08 Mb

Advances in Databases.. Concepts, Systems and Applications, 12 conf., DASFAA 2007

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 14.54 Mb

Advances in Databases and Information Systems, 12 conf., ADBIS 2008

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 6.58 Mb

Advances in Data Mining

Автор:
Категория: CsLn_
Размер книги: 2.23 Mb

Advances in Geometric Modeling and Processing, 5 conf., GMP 2008

Автор: , Автор:
Категория: CsLn_
Размер книги: 11.40 Mb

Advances in Grid and Pervasive Computing, 2 conf., GPC 2007

Автор: , Автор:
Категория: CsLn_
Размер книги: 17.25 Mb

Advances in Grid and Pervasive Computing, 3 conf., GPC 2008

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 8.10 Mb

Advances in Grid and Pervasive Computing, 4 conf., GPC 2009

Автор: , Автор:
Категория: CsLn_
Размер книги: 13.09 Mb

Advances in Information and Computer Security, 2 conf., IWSEC 2007

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.92 Mb

Advances in Information Retrieval, 26 conf., ECIR 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 8.73 Mb

Advances in Information Retrieval, 29 conf., ECIR 2007

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 7.73 Mb

Advances in Information Retrieval, 30 conf., ECIR 2008

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 7.22 Mb

Advances in Knowledge Discovery and Data Mining, 11 conf., PAKDD 2007

Автор:
Категория: CsLn_
Размер книги: 17.15 Mb

Advances in Learning Software Organizations, 6 conf., LSO 2004

Автор: , Автор:
Категория: CsLn_
Размер книги: 3.36 Mb

Advances in Multilingual and Multimodal Information Retrieval, 8 conf., CLEF 2007

Автор: , Автор:
Категория: CsLn_
Размер книги: 8.14 Mb

Advances in Multimedia Information Processing - PCM 2007, 8 conf

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 19.42 Mb

Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 1

Автор: , Автор:
Категория: CsLn_
Размер книги: 27.50 Mb

Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 2

Автор: , Автор:
Категория: CsLn_
Размер книги: 19.80 Mb

Advances in Multimedia Modeling, 14 conf., MMM 2008

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 76.25 Mb

Advances in Natural Computation, 1 conf., ICNC 2005

Автор:
Категория: CsLn_
Размер книги: 21.62 Mb

Advances in Natural Language Processing, 5 conf., FinTAL 2006

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 11.96 Mb

Advances in Neural Networks - ISNN 2008, 5 conf., ISNN 2008

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 14.63 Mb

Advances in Nonlinear Speech Processing, on Non-Linear Speech Processing, NOLISP 2007

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 6.62 Mb

Advances in Rule Interchange and Applications, RuleML 2007

Автор: , Автор:
Категория: CsLn_
Размер книги: 5.18 Mb

Advances in Smalltalk, 14 conf., ISC 2006

Автор:
Категория: CsLn_
Размер книги: 2.40 Mb

Advances in Visual Computing, 3 conf., ISVC 2007, part 1

Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 20.68 Mb

Advances in Visual Computing, 3 conf., ISVC 2007, part 2

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 25.78 Mb

Advances in Visual Information Systems, 9 conf., VISUAL 2007

Автор: , Автор:
Категория: CsLn_
Размер книги: 19.61 Mb

Advances in Web-Based Learning - ICWL 2004

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 9.17 Mb

Advances in Web Based Learning - ICWL 2007, 6 conf

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 14.01 Mb

Advances in Web Based Learning - ICWL 2008, 7 conf

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 16.12 Mb

Advances in Web Mining and Web Usage Analysis, 9 conf., WebKDD 2007

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 7.12 Mb

Advances in Web Semantics I.. Ontologies, Web Services

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 6.43 Mb

Affect and Emotion in Human-Computer Interactions

Автор: , Автор:
Категория: CsLn_
Размер книги: 27.65 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.