Вы здесь

Главная

XXI SOFSEM 94

Связанные издания:

An Artistic Design System
Bayesian Belief Networks: Odds and Ends
CAD: Computer-Aided Disaster!
Complexity and Expressive Power of Disjunctive Logic Programming and Datalog
Computational Learning Theory and Neural Networks: an Introduction
Cuurent Trends in Numerical Linear Algebra: From Theory to Practice
Extensibility in the Oberon System
GKS-94: A Major Revision of GKS
Have you talked to your computer lately?
Partial Evaluation and the Generation of Program Generators
Programming by Logic and Logic by Programming
Scalable Operating Systems
Software Configuration Management in Modern Software Engineering
Software Quality from ISO 9000 to the Optimizing Process
The Amendments to PHIGS
Verifying Temporal Properties of Systems