Sciweavers

12452 search results - page 75 / 2491
» An exploration of program as language
Sort
View
82
Voted
ICALP
2009
Springer
15 years 5 months ago
Superhighness and Strong Jump Traceability
André Nies
77
Voted
IFIP
2009
Springer
15 years 5 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier
93
Voted
IFIP
2009
Springer
15 years 5 months ago
A Practice-Based Analysis of an Online Strategy Game
Giannis Milolidakis, Chris Kimble, Demosthenes Ako...
73
Voted
IFIP
2009
Springer
15 years 5 months ago
Networked Innovation in Innovation Networks: A Home Appliances Case Study
Luis Berasategi, Joseba Arana, Eduardo Castellano