Sciweavers

10392 search results - page 256 / 2079
» Introduction to Computer Science
Sort
View
MFCS
2001
Springer
15 years 11 months ago
Algorithmic Information Theory and Cellular Automata Dynamics
Julien Cervelle, Bruno Durand, Enrico Formenti
134
Voted
RTA
2001
Springer
15 years 11 months ago
Relating Accumulative and Non-accumulative Functional Programs
Armin Kühnemann, Robert Glück, Kazuhiko ...
152
Voted
SOFSEM
2001
Springer
15 years 11 months ago
How to Employ Reverse Search in Distributed Single Source Shortest Paths
Lubos Brim, Ivana Cerná, Pavel Krcál...
SPIN
2001
Springer
15 years 11 months ago
Directed Explicit Model Checking with HSF-SPIN
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...