Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
автоматизированный
Связанные издания:
1. Overwiew
Administering Structured Documents in Digital Libraries
Advances in Artificial Intelligence: Proc./14th Conference of the Spanish Assocoation for AI, CAEPIA 2011, La Laguna, Spain, November 2011
Advances in Geometric Modeling and Processing: Proc./6th International Conference, GMP 2010, Castro Urdiales, Spain, June 2010
Advances in Visual Computing, Part III: Proc./6th International Symposium, ISVC 2010, Las Vegas,NV,USA, November/December 2010
Advances in Visual Computing, Part II: Proc./6th International Symposium, ISVC 2010, Las Vegas,NV,USA, November/December 2010
Advances in Visual Computing, Part I: Proc./6th International Symposium, ISVC 2010, Las Vegas,NV,USA, November/December 2010
An Experimental Automatic Informational Station AIST-0
An Intelligent Interface for Computer Assisted Language Learning
A Tool for General CAI Lesson Creation
Automated Deduction - CADE-20: Proc./20th International Conference on Automated Deduction. Tallinn, Estonia, July 2005
Automated Deduction - CADE-21: Proc./21st International Conference on Automated Deduction. Bremen, Germany, July 2007
Automated Deduction in Geometry: Revised Papers/5th International Workshop, ADG 2004. Gainesville, FL, USA, September 2004
Automated Deduction in Geometry: Revised Papers/6th International Workshop, ADG 2006. Pontevedra, Spain, August/September 2006
Automated Inductive Reasoning About Logic Programs
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005
Challenges in Feature-Based Manufacturing Research
Compression and Full-Text Indexing for Digital Libraries
Computer-Aided Cooperative Product Development: Proc./MIT-JSME Workshop, MIT, Cambridge, USA, November 1989
Computer-Aided Systems Technology: Its Role in Advanced Computerization
Computer Aided Verification: Proc./19th International Conference, CAV 2007. Berlin, Germany, July 2007
Computer-Based Medical Systems
Converting Text to Hypertext: Computer-Supported Links Design
Copyright and Digital Libraries
Corpus Linguistics for Establishing the Natural Language Content of Digital Library Documents
Creating the Architecture of a Manufacturing Framework by Design Patterns
Database Requirements of CIM Applications
Decision Coordination in Production Management
Developing the Scientific-Technical Digital Library at a National Laboratory
Development of a Method Driven CA2SE Tool
Digital Libraries (Current Issues): Selected Papers/Digital Libraries Workshop DL 94. Newark, NJ, USA, May 1994
Digital Libraries. Introduction
Digital Libraries, Value, and Productivity
Digital Mammography: Proc./10th International Workshop, IWDM 2010, Girona, Catalonia, Spain, June 2010
DL-Raid: An Environment for Supporting Digital Library Services
Document Recognition for a Digital Library
Fault Tolerance in Embedded Real-Time Systems: Importance and Treatment of Common Mode Failures
FM8501: A Verified Microprocessor
Formal Methods in Computer-Aided Design: Proc./4th Intern. Conf., FMCAD 2002, Portland, OR, USA, November 2002
Formal Methods in Computer-Aided Design: Proc./First Intern. Conf., FMCAD 96. Palo Alto, CA, USA, November 1996
Frontiers of Combining Systems: Proc./7th International Symposium, FroCoS 2009, Trento, Italy, September 2009
Going Digital: A Look at Assumptions Underlying Digital Libraries
Information Management in Computer Integrated Manufacturing
Intelligent Data Engineering and Automated Learning - IDEAL 2007: Proc./8th International Conference. Birmingham, UK, December 2007
Knowledge-based Program Synthesis for Computer Vision
Library of Congress Digital Library Effort
Medical Content-Based Retrieval for Clinical Decision Support: Revised Selected Papers/2nd MICCAI International Workshop, MCBR-CDS 2011, Toronto,ON,Canada, September 2011
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011, Part I: Proc./ 14th International Conference, Toronto, Canada, September 2011
Networked Information Systems as Digital Libraries
1
2
3
следующая ›
последняя »