Sciweavers

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