Sciweavers

10392 search results - page 116 / 2079
» Introduction to Computer Science
Sort
View
83
Voted
RELMICS
2009
Springer
15 years 8 months ago
Knowledge and Structure in Social Algorithms
Rohit Parikh
102
Voted
SPIN
2009
Springer
15 years 8 months ago
EMMA: Explicit Model Checking Manager (Tool Presentation)
Radek Pelánek, Václav Rosecký