Sciweavers

11395 search results - page 296 / 2279
» Beyond computer science
Sort
View
SPIN
1999
Springer
15 years 11 months ago
A Framework for Automatic Construction of Abstract Promela Models
María-del-Mar Gallardo, Pedro Merino
177
Voted
SCCC
1998
IEEE
15 years 11 months ago
The Use of Agents Techniques on Intelligent Tutoring Systems
Lúcia Maria Martins Giraffa, Rosa Maria Vic...
121
Voted
ITICSE
1998
ACM
15 years 11 months ago
The problem of examination questions in algorithmics
Pierre-Arnoul de Marneffe