Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Computer Science Today
Связанные издания:
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Alternating Automata and Program Verification
A Quantum Jump in Computer Science
Artificial Life and Real World Computing
Avoiding the Undefined by Underspecification
Chu Spaces and Their Interpretation as Concurrent Objects
Computational Machine Learning in Theory and Praxis
Computational Models for Distributed Multimedia Applications
Database Transaction Models
Efficient Use of Parallel & Distributed Systems: From Theory to Practice
Experimental Validation of Models of Parallel Computation
Formulations and Formalisms in Software Architecture
Fuzzy Sets as a Tool for Modeling
Hypermedia Systems as Internet Tools
Information Retrieval and Informative Reasoning
Mathematical System Models as a Basis of Software Engineering
Multimedia Authoring Tools: State of the Art and Research Challenges
Petri Net Models of Distributed Algorithms
Programming Satan s Computer
Quo Vadetis, Parallel Machine Models?
Reasoning about Actions and Change with Ramification
Recurrent Neural Networks
Scalable Computing
Standard Generalized Markup Language: Mathematical and Philosophical Issues
Symmetry and Induction in Model Checking
Towards a Theory of Recursive Structures
Trends in Active Vision