Sciweavers

10392 search results - page 378 / 2079
» Introduction to Computer Science
Sort
View
168
Voted
LICS
2006
IEEE
16 years 1 months ago
Adapting Logics
Andreas Blass
163
Voted
LICS
2006
IEEE
16 years 1 months ago
Faster Solutions of Rabin and Streett Games
Nir Piterman, Amir Pnueli
156
Voted
LICS
2006
IEEE
16 years 1 months ago
3-Valued Abstraction: More Precision at Less Cost
Sharon Shoham, Orna Grumberg
113
Voted
ITICSE
2006
ACM
16 years 1 months ago
Let's modify the objects-first approach into design-patterns-first
Rudolf Pecinovský, Jarmila Pavlíckov...