- 2 402 202 книги
- Поиск
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 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.. 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
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.