Sciweavers

10304 search results - page 274 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
RELMICS
2000
Springer
15 years 5 months ago
Closure Systems and their Structure
Robert E. Jamison, John L. Pfaltz
SPIN
2000
Springer
15 years 5 months ago
Bebop: A Symbolic Model Checker for Boolean Programs
Thomas Ball, Sriram K. Rajamani
STACS
2000
Springer
15 years 5 months ago
The Power Range Assignment Problem in Radio Networks on the Plane
Andrea E. F. Clementi, Paolo Penna, Riccardo Silve...
STACS
2000
Springer
15 years 5 months ago
The CNN Problem and Other k-Server Variants
Elias Koutsoupias, David Scot Taylor
SOFSEM
1995
Springer
15 years 5 months ago
The Fusion Object-Oriented Method: an Evaluation
Alain Pirotte, Thierry Van den Berghe, Esteban Zim...