Computer Science Today - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540601050, 9783540494355
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Multimedia authoring tools: State of the art and research challenges

1995 ◽  
pp. 575-591 ◽  
Author(s):  
Dick C. A. Bulterman ◽  
Lynda Hardman
Keyword(s):  
State Of The Art ◽  
Authoring Tools ◽  
Multimedia Authoring ◽  
Research Challenges

Algebraic topology and distributed computing a primer

1995 ◽  
pp. 203-217 ◽  
Author(s):  
Maurice Herlihy ◽  
Sergio Rajsbaum
Keyword(s):  
Distributed Computing ◽  
Algebraic Topology

scholarly journals Symmetry and induction in model checking

1995 ◽  
pp. 455-470 ◽  
Author(s):  
E. M. Clarke ◽  
S. Jha
Keyword(s):  
Model Checking

Programming Satan's computer

1995 ◽  
pp. 426-440 ◽  
Author(s):  
Ross Anderson ◽  
Roger Needham

The ART behind IDEAS

1995 ◽  
pp. 141-158 ◽  
Author(s):  
Thomas Beth ◽  
Andreas Klappenecker ◽  
Torsten Minkwitz ◽  
Armin Nückel

Hypermedia systems as internet tools

1995 ◽  
pp. 608-624 ◽  
Author(s):  
Hermann Maurer

Information retrieval and informative reasoning

1995 ◽  
pp. 549-559 ◽  
Author(s):  
C. J. van Rijsbergen
Keyword(s):  
Information Retrieval

A quantum jump in computer science

1995 ◽  
pp. 1-14 ◽  
Author(s):  
Gilles Brassard
Keyword(s):  
Computer Science ◽  
Quantum Jump
Load More ...
Sign in / Sign up

Export Citation Format

Share Document