Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Home
»
Издательства
Springer
Связанные издания:
1.1 Why Spatio-temporal Databases?
! = 1 Optimizing Optimal -calculus Implementations
1. Overwiew
1st Grade - A System for Implementation, Testing and Animation of Graph Algorithms
21st Century Learning for 21st Century Skills: Proc./7th European Conference, EC-TEL 2012, Saarbrucken, Dermany, September 2012
25 Years of Model Checking: History, Achievements, Perspectives
2-D Spatial Indexing Scheme in Optimal Time
2nd Workshop on Component-Oriented Programming (WCOP 97)
33 Examples of Termination
35,7 транзакций в секунду на ПК
3. Conceptual Models for Spatio-temporal Applications
3DGML: A 3-Dimensional Graphic Information Retrieval System
3D Object Recognition and Visualization on the Web
3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage Preservation
3D Research Challenges in Cultural Heritage II: Haw to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage
3D Structure from Images - SMILE 2000: Proc./Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Ireland, July 2000
3D Structure from Multiple Images of Large-Scale Environments: Proc./European Workshop, SMILE"98. Freiburg, Germany, June 1998
3D Visual Tool Supporting Derivation of Parallel Programs for MIMD Systems
4. Spatio-temporal Models and Languages: An Approach Based on Data Types
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations
50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence
5. Spatio-temporal Models and Languages: An Approach Based on Constraints
5 графических пакетов
6. Access Methods and Query Processing Techniques
7. Architectures and Implementations of Spatio-temporal Database Management Systems
8. Advanced Uses: Composing Interactive Spatio-temporal Documents
9. Spatio-temporal Databases in the Years Ahead
9th Workshop for PhD Students in Object-Oriented Systems
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
A 3D Based User Interface for Information Retrieval Systems
A 3-level Atomicity Model for Decentralized Process-centered Software Engineering Environments
A.A.Lyapunov and A.P.Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts
A "Bare-Machine" Implementation of Ada Multi-tasking beneath the Linux Kernel
A Basic Model of Typed Components
A Basis for a Multilevel Metalogic Programming Language
ABC/ADL: An ADL Supporting Component Composition
Abdominal Imaging. Computational and Clinical Applications: Proc./4th International Workshop Held in Conjunction with MICCAI 2012, Nice, France, October 2012
Abdominal Imaging. Computational and Clinical Applications: Proc./5th International Workshop Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 2013
Abdominal Imaging: Computational and Clinical Applications: Proc./6th International Workshop, ABDI 2014 Held in Conjuction with MICCAI 2014, Cambridge,MA,USA, September 2014
Abdominal Imaging. Computational and Clinical Applications: Revised Selected Papers/3rd International Workshop, Held in Conjunction with MICCAI 2011, Toronto,ON,Canada, September 2011
Abduction over 3-valued Extended Logic Programs
A Behavioral Module System for the Pi-Calculus
A Behavioral Notion of Subtyping for Object-Oriented Programming in SPARK95
A Belief-Consistent Multilevel Secure Relational Data Model
A Better XML Parser through Functional Programming
A Bibliography of Ole-Johan Dahl
A Biography of Ole-Johan Dahl
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language
A Bottom-up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs
A Bounded Graph-Connect Construction for LR-regular Parsers
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »