Lecture Notes in Computer Science - Informatics
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540416357, 9783540445777
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logic for Computer Science: The Engineering Challenge

2001 ◽  
pp. 257-267 ◽  
Author(s):  
Wolfgang Thomas
Keyword(s):  
Computer Science

Cryptography 2000±10

2001 ◽  
pp. 63-85 ◽  
Author(s):  
Ueli Maurer

Scientific Visualization - Methods and Applications -

2001 ◽  
pp. 311-327 ◽  
Author(s):  
Hans Hagen ◽  
Achim Ebert ◽  
Rolf Hendrik van Lengen ◽  
Gerik Scheuermann
Keyword(s):  
Scientific Visualization

Parallel Computation: MM +/- X

2001 ◽  
pp. 234-250
Author(s):  
Lawrence Snyder
Keyword(s):  
Parallel Computation

Microprocessors — 10 Years Back, 10 Years Ahead

2001 ◽  
pp. 209-218 ◽  
Author(s):  
Gurindar S. Sohi

Extended Static Checking: A Ten-Year Perspective

2001 ◽  
pp. 157-175 ◽  
Author(s):  
K. Rustan M. Leino
Keyword(s):  
Static Checking

Progress on the State Explosion Problem in Model Checking

2001 ◽  
pp. 176-194 ◽  
Author(s):  
Edmund Clarke ◽  
Orna Grumberg ◽  
Somesh Jha ◽  
Yuan Lu ◽  
Helmut Veith
Keyword(s):  
Model Checking ◽  
The State ◽  
State Explosion ◽  
State Explosion Problem

Orientations in Verification Engineering of Avionics Software

2001 ◽  
pp. 131-137 ◽  
Author(s):  
Famantanantsoa Randimbivololona
Load More ...
Sign in / Sign up

Export Citation Format

Share Document