Sciweavers

11395 search results - page 310 / 2279
» Beyond computer science
Sort
View
GI
2000
Springer
15 years 10 months ago
OLAP-Auswertung von Web-Zugriffen
Thomas Stöhr, Erhard Rahm, Stephan Quitzsch
MFCS
2000
Springer
15 years 10 months ago
Optical Routing of Uniform Instances in Tori
Francesc Comellas, Margarida Mitjana, Lata Narayan...
RELMICS
2000
Springer
15 years 10 months ago
Closure Systems and their Structure
Robert E. Jamison, John L. Pfaltz
SPIN
2000
Springer
15 years 10 months ago
Bebop: A Symbolic Model Checker for Boolean Programs
Thomas Ball, Sriram K. Rajamani
FOCS
1997
IEEE
15 years 10 months ago
The Analysis of a List-Coloring Algorithm on a Random Graph
Dimitris Achlioptas, Michael S. O. Molloy