Sciweavers

13306 search results - page 204 / 2662
» Theoretical Computer Science
Sort
View
SPIN
2004
Springer
15 years 12 months ago
Model Checking Genetic Regulatory Networks Using GNA and CADP
Grégory Batt, Damien Bergamini, Hidde de Jo...
GI
2003
Springer
15 years 11 months ago
Verteiltes Video-basiertes mobiles Lernen
Hans L. Cycon, Thomas C. Schmidt, Matthias Wä...
GI
2003
Springer
15 years 11 months ago
Anforderungen an E-Diskurs-Plattformen illustriert am Beispiel DITO
Stefan René Salz, Oliver Märker, Angi ...
FOCS
2002
IEEE
15 years 11 months ago
Power from Random Strings
Eric Allender, Harry Buhrman, Michal Koucký...