2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
25 Years of Model Checking
Автор:
Orna Grumberg
, Автор:
Helmut Veith
Категория:
CsLn_
Размер книги: 4.00 Mb
Abstraction, Reformulation, and Approximation, 7 conf., SARA 2007
Автор:
Ian Miguel
, Автор:
Wheeler Tuml
Категория:
CsLn_
Размер книги: 7.09 Mb
Abstraction, Reformulation and Approximation 4 conf
Автор:
Berthe Y. Choueiry
, Автор:
Toby Walsh
Категория:
CsLn_
Размер книги: 3.92 Mb
Abstraction, Reformulation and Approximation 6 conf
Автор:
Jean-Daniel Zucker
, Автор:
Lorenza Saitta
Категория:
CsLn_
Размер книги: 4.93 Mb
Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003
Автор:
Egon Börger
, Автор:
Angelo Gargantini
, Автор:
Elvinia Riccobene
Категория:
CsLn_
Размер книги: 3.93 Mb
Abstract State Machines, B and Z, 1 conf., ABZ 2008
Автор:
Egon Börger
, Автор:
Michael Butler
, Автор:
Jonathan P. Bowen
, Автор:
Paul Boca
Категория:
CsLn_
Размер книги: 4.83 Mb
Abstract State Machines, Theory and Applications, ASM 2000
Автор:
Yuri Gurevich
, Автор:
Philipp W. Kutter
, Автор:
Martin Odersky
, Автор:
Lothar Thiele
Категория:
CsLn_
Размер книги: 3.80 Mb
Abstract State Machines 2004.. Advances in Theory and Practice, 11 conf., ASM 2004
Автор:
Wolf Zimmermann
, Автор:
Bernhard Thalheim
Категория:
CsLn_
Размер книги: 6.92 Mb
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
A Connotational Theory of Program Structure
Автор:
James S. Royer
Категория:
CsLn_
Размер книги: 1.34 Mb
Active, Real-Time, and Temporal Database Systems, 2 conf., ARTDB-97
Автор:
Sten F. Andler
, Автор:
Jörgen Hansson
Категория:
CsLn_
Размер книги: 1.67 Mb
Active Conceptual Modeling of Learning 1 conf
Автор:
Peter P. Chen
, Автор:
Leah Y. Wong
Категория:
CsLn_
Размер книги: 2.89 Mb
Active Networks, IFIP TC6 6 conf., IWAN 2004
Автор:
Gary J. Minden
Категория:
CsLn_
Размер книги: 4.16 Mb
Active Visual Inference of Surface Shape
Автор:
Roberto Cipolla
Категория:
CsLn_
Размер книги: 1.72 Mb
Ad-Hoc, Mobile, and Wireless Networks.. 3 conf., ADHOC-NOW 2004
Автор:
Ioanis Nikolaidis
, Автор:
Michel Barbeau
, Автор:
Evangelos Kranakis
Категория:
CsLn_
Размер книги: 3.80 Mb
Ad-hoc, Mobile and Wireless Networks, 7 conf., ADHOC-NOW 2008
Автор:
David Coudert
, Автор:
David Simplot-Ryl
, Автор:
Ivan Stojmenovic
Категория:
CsLn_
Размер книги: 12.80 Mb
Ada 95 Quality and Style
Автор:
Christine Ausnit-Hood
, Автор:
Kent A. Johnson
, Автор:
Robert G. Pettit IV
, Автор:
Steven B. Opdahl
Категория:
CsLn_
Размер книги: 837 Kb
Ada 95 Rationale
Автор:
John Barnes
Категория:
CsLn_
Размер книги: 8.74 Mb
Ada 95 Rationale
Автор:
John Barnes
Категория:
CsLn_
Размер книги: 3.60 Mb
Ada 95 Reference Manual, Language and Standard Libraries
Автор:
Tucker S. Taft
, Автор:
Robert A. Duff
Категория:
CsLn_
Размер книги: 1.21 Mb
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
Adaptive Agents and Multi-Agent Systems.. Adaptation and Multi-Agent Learning
Автор:
Eduardo Alonso
, Автор:
Daniel Kudenko
, Автор:
Dimitar Kazakov
Категория:
CsLn_
Размер книги: 4.42 Mb
Adaptive Agents and Multi-Agent Systems II.. Adaptation and Multi-Agent Learning
Автор:
Daniel Kudenko
, Автор:
Dimitar Kazakov
, Автор:
Eduardo Alonso
Категория:
CsLn_
Размер книги: 5.34 Mb
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
Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 1
Автор:
Bartlomiej Beliczynski
, Автор:
Andrzej Dzielinski
Категория:
CsLn_
Размер книги: 15.14 Mb
Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 2
Автор:
Bartlomiej Beliczynski
, Автор:
Andrzej Dzielinski
, Автор:
Marcin Iwanowski
, Автор:
Bernadete Ribeiro
Категория:
CsLn_
Размер книги: 17.57 Mb
Adaptive Hypermedia and Adaptive Web-Based Systems, 3 conf., AH 2004
Автор:
Wolfgang Nejdl
, Автор:
Paul De Bra
Категория:
CsLn_
Размер книги: 7.52 Mb
Adaptive Hypermedia and Adaptive Web-Based Systems, 5 conf., AH 2008
Автор:
Wolfgang Nejdl
, Автор:
Judy Kay
, Автор:
Pearl Pu
, Автор:
Eelco Herder
Категория:
CsLn_
Размер книги: 12.85 Mb
Adaptive Multimedial Retrieval.. Retrieval, User, and Semantics, 5 conf., AMR 2007
Автор:
Nozha Boujemaa
, Автор:
Marcin Detyniecki
, Автор:
Andreas Nürnberger
Категория:
CsLn_
Размер книги: 8.72 Mb
Adaptive Multimedia Retrieval.. 1 conf., AMR 2003
Автор:
Andreas Nürnberger
, Автор:
Marcin Detyniecki
Категория:
CsLn_
Размер книги: 5.82 Mb
Adaptive Multimedia Retrieval.. User, Context, and Feedback, 4 conf., AMR 2006
Автор:
Stéphane Marchand-Maillet
, Автор:
Eric Bruno
Категория:
CsLn_
Размер книги: 4.26 Mb
A Decade of Concurrency
Автор:
J.W.de Bakker
, Автор:
W.-P.de Roever
, Автор:
G. Rozenberg
Категория:
CsLn_
Размер книги: 4.96 Mb
Advanced Database Systems
Автор:
Nabil R. Adam
, Автор:
Bharat K. Bhargava
Категория:
CsLn_
Размер книги: 3.71 Mb
Advanced Functional Programming 6 conf., AFP 2008
Автор:
Pieter Koopman
, Автор:
Rinus Plasmeijer
, Автор:
Doaitse Swierstra
Категория:
CsLn_
Размер книги: 2.54 Mb
Advanced Information Systems Engineering, 11 conf., CAiSE'99
Автор:
Matthias Jarke
, Автор:
Andreas Oberweis
Категория:
CsLn_
Размер книги: 4.54 Mb
Advanced Information Systems Engineering, 15 conf., CAiSE 2003
Автор:
Johann Eder
, Автор:
Michele Missikoff
Категория:
CsLn_
Размер книги: 12.68 Mb
Advanced Information Systems Engineering, 16 conf., CAiSE 2004
Автор:
Anne Persson
, Автор:
Janis Stirna
Категория:
CsLn_
Размер книги: 16.71 Mb
Advanced Information Systems Engineering, 16 conf., CAiSE 2004
Автор:
Anne Persson
, Автор:
Janis Stirna
Категория:
CsLn_
Размер книги: 16.71 Mb
Advanced Information Systems Engineering, 20 conf., CAiSE 2008
Автор:
Zohra Bellahsène
Категория:
CsLn_
Размер книги: 8.81 Mb
Advanced Intelligent Computing Theories and Applications, 3 conf., ICIC 2007
Автор:
De-Shuang Huang
, Автор:
De-Shuang Huang
, Автор:
Laurent Heutte
, Автор:
Marco Loog
Категория:
CsLn_
Размер книги: 25.69 Mb
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
Advanced Lectures on Machine Learning 2003
Автор:
Olivier Bousquet
, Автор:
Ulrike von Luxburg
, Автор:
Gunnar Rätsch
Категория:
CsLn_
Размер книги: 3.71 Mb
Advanced Parallel Processing Technologies.. 8 conf., APPT 2009
Автор:
Yong Dou
, Автор:
Ralf Gruber
, Автор:
Josef Joller
Категория:
CsLn_
Размер книги: 7.70 Mb
Advances in Artificial Intelligence, 17 conf., Canadian AI 2004
Автор:
Ahmed Y. Tawfik
, Автор:
Scott D. Goodwin
Категория:
CsLn_
Размер книги: 13.13 Mb
Advances in Artificial Intelligence, 20 conf., Canadian AI 2007
Автор:
Ziad Kobti
, Автор:
Dan Wu
Категория:
CsLn_
Размер книги: 6.56 Mb
Advances in Artificial Intelligence, 21 conf., Canadian AI 2008
Автор:
Sabine Bergler
Категория:
CsLn_
Размер книги: 8.53 Mb
Advances in Artificial Intelligence, 22 conf., Canadian AI 2009
Автор:
Yong Gao
, Автор:
Nathalie Japkowicz
Категория:
CsLn_
Размер книги: 2.96 Mb
Advances in Bioinformatics and Computational Biology, 3 conf., BSB 2008
Автор:
Ana L.C. Bazzan
, Автор:
Mark Craven
, Автор:
Natalia F. Martins
Категория:
CsLn_
Размер книги: 5.15 Mb
Advances in Brain, Vision, and Artificial Intelligence, 2 conf., BVAI 2007
Автор:
Francesco Mele
, Автор:
Giuliana Ramella
, Автор:
Silvia Santillo
, Автор:
Francesco Ventriglia
Категория:
CsLn_
Размер книги: 13.87 Mb
Advances in Computer Science - ASIAN 2006.. Secure Software and Related Issues, 11 conf
Автор:
Mitsu Okada
, Автор:
Ichiro Satoh
Категория:
CsLn_
Размер книги: 4.11 Mb
Advances in Computer Science - ASIAN 2007.. Computer and Network Security, 12 conf
Автор:
Iliano Cervesato
Категория:
CsLn_
Размер книги: 5.10 Mb
Advances in Computer Systems Architecture, 9 conf., ACSAC 2004
Автор:
Pen-Chung Yew
, Автор:
Jingling Xue
Категория:
CsLn_
Размер книги: 15.70 Mb
Advances in Computer Systems Architecture, 9 conf., ACSAC 2004
Автор:
Pen-Chung Yew
, Автор:
Jingling Xue
Категория:
CsLn_
Размер книги: 15.70 Mb
Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8 conf
Автор:
Vijay A. Saraswat
Категория:
CsLn_
Размер книги: 5.64 Mb
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
Advances in Conceptual Modeling.. ER '99
Автор:
Peter P. Chen
, Автор:
David W. Embley
, Автор:
Jacques Kouloumdjian
, Автор:
Stephen W. Liddle
, Автор:
John F. Roddick
Категория:
CsLn_
Размер книги: 23.45 Mb
Advances in Cryptology - ASIACRYPT 2007, 13 conf
Автор:
Kaoru Kurosawa
Категория:
CsLn_
Размер книги: 5.46 Mb
Advances in Cryptology - ASIACRYPT 2008, 14 conf
Автор:
Josef Pawel Pieprzyk
Категория:
CsLn_
Размер книги: 9.10 Mb
Advances in Cryptology - CRYPTO 2005, 25 conf
Автор:
Victor Shoup
Категория:
CsLn_
Размер книги: 4.56 Mb
Advances in Cryptology - CRYPTO 2006, 26 conf
Автор:
Cynthia Dwork
Категория:
CsLn_
Размер книги: 5.25 Mb
Advances in Cryptology - CRYPTO 2007, 27 conf
Автор:
Alfred Menezes
Категория:
CsLn_
Размер книги: 4.35 Mb
Advances in Cryptology - CRYPTO 2008, 28 conf
Автор:
David Wagner
Категория:
CsLn_
Размер книги: 5.76 Mb
Advances in Cryptology - EUROCRYPT 2007, 26 conf
Автор:
Moni Naor
Категория:
CsLn_
Размер книги: 4.34 Mb
Advances in Cryptology - EUROCRYPT 2008, 27 conf
Автор:
Nigel (Editor) Smart
Категория:
CsLn_
Размер книги: 16.32 Mb
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
Advances in Databases, 15 conf., BNCOD 15
Автор:
Carol Small
, Автор:
Paul Douglas
, Автор:
Roger Johnson
, Автор:
Peter King
, Автор:
Nigel Martin
Категория:
CsLn_
Размер книги: 3.08 Mb
Advances in Databases.. Concepts, Systems and Applications, 12 conf., DASFAA 2007
Автор:
Ramamohanarao Kotagiri
, Автор:
P. Radha Krishna
, Автор:
Mukesh Mohania
, Автор:
Ekawit Nantajeewarawat
Категория:
CsLn_
Размер книги: 14.54 Mb
Advances in Databases and Information Systems, 12 conf., ADBIS 2008
Автор:
Paolo Atzeni
, Автор:
Albertas Caplinskas
, Автор:
Hannu Jaakkola
Категория:
CsLn_
Размер книги: 6.58 Mb
Advances in Data Mining
Автор:
Petra Perner
Категория:
CsLn_
Размер книги: 2.23 Mb
Advances in Data Mining.. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects, 8 conf., ICDM 2008
Автор:
Petra Perner
Категория:
CsLn_
Размер книги: 11.36 Mb
Advances in Geometric Modeling and Processing, 5 conf., GMP 2008
Автор:
F. Chen
, Автор:
Bert Jüttler
Категория:
CsLn_
Размер книги: 11.40 Mb
Advances in Grid and Pervasive Computing, 2 conf., GPC 2007
Автор:
Christophe Cérin
, Автор:
Kuan-Ching Li
Категория:
CsLn_
Размер книги: 17.25 Mb
Advances in Grid and Pervasive Computing, 3 conf., GPC 2008
Автор:
Song Wu
, Автор:
Laurence Tianruo Yang
, Автор:
Tony Li Xu
Категория:
CsLn_
Размер книги: 8.10 Mb
Advances in Grid and Pervasive Computing, 4 conf., GPC 2009
Автор:
Nabil Abdennadher
, Автор:
Dana Petcu
Категория:
CsLn_
Размер книги: 13.09 Mb
Advances in Information and Computer Security, 2 conf., IWSEC 2007
Автор:
Atsuko Miyaji
, Автор:
Hiroaki Kikuchi
, Автор:
Kai Rannenberg
Категория:
CsLn_
Размер книги: 5.92 Mb
Advances in Information Retrieval, 26 conf., ECIR 2004
Автор:
Sharon McDonald
, Автор:
John Tait
Категория:
CsLn_
Размер книги: 8.73 Mb
Advances in Information Retrieval, 29 conf., ECIR 2007
Автор:
Giambattista Amati
, Автор:
Claudio Carpineto
, Автор:
Giovanni Romano
Категория:
CsLn_
Размер книги: 7.73 Mb
Advances in Information Retrieval, 30 conf., ECIR 2008
Автор:
Craig Macdonald
, Автор:
Iadh Ounis
, Автор:
Vassilis Plachouras
, Автор:
Ian Ruthven
Категория:
CsLn_
Размер книги: 7.22 Mb
Advances in Knowledge Discovery and Data Mining, 11 conf., PAKDD 2007
Автор:
Zhi-Hua Zhou
Категория:
CsLn_
Размер книги: 17.15 Mb
Advances in Learning Software Organizations, 6 conf., LSO 2004
Автор:
Grigori Melnik
, Автор:
Harald Holz
Категория:
CsLn_
Размер книги: 3.36 Mb
Advances in Multilingual and Multimodal Information Retrieval, 8 conf., CLEF 2007
Автор:
Carol Peters
, Автор:
Valentin Jijkoun
Категория:
CsLn_
Размер книги: 8.14 Mb
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
Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 1
Автор:
Tat-Jen Cham
, Автор:
Jianfei Cai
Категория:
CsLn_
Размер книги: 27.50 Mb
Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 2
Автор:
Tat-Jen; Jianfei Cai
, Автор:
Et. Al. Cham
Категория:
CsLn_
Размер книги: 19.80 Mb
Advances in Multimedia Modeling, 14 conf., MMM 2008
Автор:
Shin'ichi Satoh
, Автор:
Frank Nack
, Автор:
Minoru Etoh
Категория:
CsLn_
Размер книги: 76.25 Mb
Advances in Natural Computation, 1 conf., ICNC 2005
Автор:
Lipo Wang
Категория:
CsLn_
Размер книги: 21.62 Mb
Advances in Natural Language Processing, 5 conf., FinTAL 2006
Автор:
Tapio Salakoski
, Автор:
Filip Ginter
, Автор:
Sampo Pyysalo
, Автор:
Tapio Pahikkala
Категория:
CsLn_
Размер книги: 11.96 Mb
Advances in Neural Networks - ISNN 2008, 5 conf., ISNN 2008
Автор:
Fuchun Sun
, Автор:
Jianwei Zhang
, Автор:
Jinde Cao
, Автор:
Wen Yu
Категория:
CsLn_
Размер книги: 14.63 Mb
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
Advances in Rule Interchange and Applications, RuleML 2007
Автор:
Adrian Paschke
, Автор:
Yevgen Biletskiy
Категория:
CsLn_
Размер книги: 5.18 Mb
Advances in Smalltalk, 14 conf., ISC 2006
Автор:
Wolfgang De Meuter
Категория:
CsLn_
Размер книги: 2.40 Mb
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
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
Advances in Visual Information Systems, 9 conf., VISUAL 2007
Автор:
Guoping Qiu
, Автор:
Clement Leung
Категория:
CsLn_
Размер книги: 19.61 Mb
Advances in Web-Based Learning - ICWL 2004
Автор:
Wenyin Liu
, Автор:
Yuanchun Shi
, Автор:
Li Qing
Категория:
CsLn_
Размер книги: 9.17 Mb
Advances in Web Based Learning - ICWL 2007, 6 conf
Автор:
Howard Leung
, Автор:
Frederick Li
, Автор:
Rynson Lau
, Автор:
Qing Li
Категория:
CsLn_
Размер книги: 14.01 Mb
Advances in Web Based Learning - ICWL 2008, 7 conf
Автор:
Frederick Li
, Автор:
Jianmin Zhao
, Автор:
Timothy Shih
Категория:
CsLn_
Размер книги: 16.12 Mb
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
Advances in Web Semantics I.. Ontologies, Web Services
Автор:
Tharam Dillon
, Автор:
Elizabeth Chang
, Автор:
Robert Meersman
, Автор:
Katia Sycara
Категория:
CsLn_
Размер книги: 6.43 Mb
Affect and Emotion in Human-Computer Interactions
Автор:
Christian Peter
, Автор:
Russell Beale
Категория:
CsLn_
Размер книги: 27.65 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.