Books · Search
Electronic digital computers · Electronic data processing
Informatik
1971
Congresses · Functional programming languages
Implementation of functional languages
2001
Computer systems · Congresses
Foundations of information and knowledge systems
2000
Congresses · Data structures (Computer science)
Programs as data objects
Informatics and Medicine
1977
Multimedia systems · Congresses
Multimedia applications, services and techniques, ECMAST '99
1999
Formal methods (Computer science) · Congresses
Applied formal methods--FM-Trends 98
Computer graphics · Congresses
Graph drawing
World Wide Web · Interactive multimedia
Adaptive hypermedia and adaptive Web-based systems
Petri nets · Congresses
Application and theory of petri nets 1999
Development · System design
Advances in exception handling techniques
Mathematics · Congresses
Mathematical foundations of computer science 2000
Congresses · Smart cards
Smart card research and applications
Parallelverarbeitung · Compiler
Languages and compilers for parallel computing
Parallel processing (Electronic computers) · Vector processing (Computer science)
Vector and parallel processing--VECPAR 2000
Parallel processing (Electronic computers) · Petri nets
Concurrent object-oriented programming and Petri nets
Computer logic · Congresses
Computer science logic
Congresses · Computer animation
Articulated motion and deformable objects
Vorlesungen über Informatik: Band 2
Software engineering · Computer Science
Software engineering
Congresses · Symbolic and mathematical Logic
Higher order logic theorem proving and its applications
1995
Congresses · Computer vision
Scale-space theories in computer vision
Computer security · Congresses
Advances in cryptology, 1981-1997
1998
Development · Congresses
Recent trends in algebraic development techniques
