Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Berlin Et Al.
Связанные издания:
Ada - Europe`93: Proc./12th Ada-Europe Intern. Conf., "Ada Sans Frontieres". Paris, France, June 1993
Advances in Databases: Proc./11th British National Conference on Databases, BNCOD 11. Keele, UK, July 1993
Advances in Spatial Databases: Proc./Third Intern. Symp., SSD`93. Singapore, June 1993
A Hyperdoctrinal View of Concurrent Constraint Programming
Application and Theory of Petri Nets 1993: Proc./14th Intern. Conf. Chicago, Illinois, USA, June 1993
Asynchronous rendez-vous in distributed logic programming
Compact Metric Information Systems
Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics
Computer Aided Verification: Proc./5th Intern. Conf., CAV`93. Elounda, Greece, June/July 1993
Conceptual Graphs for Knowledge Representation: Proc./First Intern. Conf. on Conceptual Structures, ICCS 93. Quebec City, Canada, August 1993
Expressiveness Results for Process Algebras
FME`93: Industrial-Strength Formal Methods: Proc./First Intern. Symp. of Formal Methods Europe. Odense, Denmark, April 1993
Functional Programming, Concurrency, Simulation and Automated Reasoning: Intern. Lecture Series 1991-1992. McMaster University, Hamilton, Ontario, Canada
Fuzzy Logic in Artificial Intelligence: Proc./8th Austrian Artificial Intelligence Conf., FLAI`93. Linz, Austria, June 1993
GWAI-92: Advances in Artificial Intelligence: Proc./16th German Conf. on Artificial Intelligence. Bonn, Germany, August/September 1992
Infinite Behaviour and Fairness in Concurrent Constraint Programming
Information Processing in Medical Imaging: Proc./13th Intern. Conf., IPMI 93. Flagstaff, Arizona, USA, June 1993
IPMU`92 - Advanced Methods in Artificial Intelligence: Proc./4th Intern.Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Palma de Mallorca, Spain, July 1992
Logic Programming and Automated Reasoning: Proc./4th Intern.Conf, LPAR`93. St.Peterburg, Russia, July 1993
Model-Based Recognition of Anatomical Objects from Medical Images
On Blocks: locality and asynchronous communication
On the action semantics of concurrent programming languages
On the Relation Between Unity Properties and Sequences of States
PARLE`93. Parallel Architectures and Languages Europe: Proc./5th Intern.PARLE Conf. Munich, Germany, June 1993
Proving Total Correctness of Programs in Wear Second-Order Logic
Rewriting Techniques and Applications: Proc./5th Intern. Conf., RTA-93. Montreal, Canada, June 1993
Segmentation of Magnetic Resonance Brain Images using Analog Constraint Satisfaction Neural Networks
Semantics: Foundations and Applications: Proc./REX Workshop. Beekbergen,The Netherlands, June 1-4, 1992
Spatial Knowledge Representation for Visualization of Human Anatomy and Function
SPCF: Its Model, Calculus, and Computational Power
Temporal Preconditions of Recursive Procedures
The MOSIX Distributed Operating System: Load Balancing for UNIX
Towards an Epistemic Approach to Reasoning about Concurrent Programs
Trace Nets