Вы здесь

Главная

Czech Society for Computer Science

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

A Approach to Overcoming the Inheritance Anomaly
An Artistic Design System
A Nesting Sensitive Complexity Metric
Architecture for Interactive Systems with Highly Graphical User Interfaces
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
Connectionist-Stochastic Model for Speech Recognition
Constrained narrowing by decomposition
Cuurent Trends in Numerical Linear Algebra: From Theory to Practice
Differential Ray Tracing
Direct Specifications vs. Abstract Specifications A Relational Approach
Extensibility in the Oberon System
Fast Hidden Line Removal in Raster Space Formulated as Set Union Algorithm with a Two-Way_Cross Scan Conversion
GKS-94: A Major Revision of GKS
Have you talked to your computer lately?
Integrating Static and Dynamic Sort Checking in Logic Programming
Intelligent Hypermedia Access: The Universal Information-Space Guide
Linear Maximum Matching on Cubic Graphs
Massaging Heapsort into an Optimal Disk Sorting Algorithm
Merging Petri Nets and Objects
Neural Learning is not Efficient
Neural Networks with One Type of Cascade Architecture
On a Decidability Border for Temporal Logics on Petri Nets
Parallel Algorithm for Integral Solutions of the Inequality y-1/2<Vx/H<=y+1/2 Linear Interpolation
Partial Evaluation and the Generation of Program Generators
Petri Net Based Integrated Development Environment
Programming by Logic and Logic by Programming
Prototype of a Grammar Checker Kernel
Scalable Operating Systems
Software Configuration Management in Modern Software Engineering
Software Quality from ISO 9000 to the Optimizing Process
The Amendments to PHIGS
The Architecture of a Grammar Checker
Towards Algebraic Semantics of Imperative Languages
Towards Logic Program Synthesis from a Small Example Set
Using Type Theory to Synthesise Database Functions
Verifying Temporal Properties of Systems
XXI SOFSEM '94: Contributed Talks, Milovy, Czech Republic, November-December 1994
XXI SOFSEM '94: Invited Talks, Milovy, Czech Republic, November-December 1994