Sciweavers

14379 search results - page 231 / 2876
» is 2000
Sort
View
ASM
2000
ASM
15 years 11 months ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace
ATAL
2000
Springer
15 years 11 months ago
Developing Multi-agent Systems with JADE
Fabio Bellifemine, Agostino Poggi, Giovanni Rimass...
ATAL
2000
Springer
15 years 11 months ago
Autonomy: A Nice Idea in Theory
Michael Luck, Mark d'Inverno
114
Voted
BIRTHDAY
2000
Springer
15 years 11 months ago
Prologue
Christoph Kreitz
BIRTHDAY
2000
Springer
15 years 11 months ago
Concepts in Proof Planning
Erica Melis, Jörg H. Siekmann