Sciweavers

17920 search results - page 240 / 3584
» Recentering computer science
Sort
View
MFCS
2009
Springer
16 years 1 months ago
Constructing Brambles
Mathieu Chapelle, Frédéric Mazoit, I...
MFCS
2009
Springer
16 years 1 months ago
The Expressive Power of Binary Submodular Functions
Stanislav Zivný, David A. Cohen, Peter G. J...
RELMICS
2009
Springer
16 years 1 months ago
A Model of Internet Routing Using Semi-modules
John N. Billings, Timothy G. Griffin
SPIN
2009
Springer
16 years 1 months ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh