formal modeling and analysis of time...
| |
formal modeling and analysis of timed systems
|
visual information systems
| |
visual information systems
|
artificial neural networks - icann 2008
| |
artificial neural networks - icann 2008
|
pedagogically founded courseware gen...
| |
pedagogically founded courseware generation for web-based learning
|
numerical software with result verif...
| |
numerical software with result verification
|
programming languages and systems
| |
programming languages and systems
|
neural information processing
| |
neural information processing
|
advances in multimedia modeling
| |
advances in multimedia modeling
|
advances in computer games :
| |
advances in computer games :
|
databases, information systems, and ...
| |
databases, information systems, and peer-to-peer computing :
|
network and parallel computing
| |
network and parallel computing
|
engineering self-organising systems
| |
engineering self-organising systems
|
discrete geometry for computer imagery :
| |
discrete geometry for computer imagery :
|
agent-mediated electronic commerce v
| |
agent-mediated electronic commerce v
|
program development in computational...
| |
program development in computational logic
|
advances in knowledge discovery and ...
| |
advances in knowledge discovery and data mining
|
|
|
reading and learning
|
programming languages and systems
| |
programming languages and systems
|
|
|
robocup 2003
|
object-oriented technology
| |
object-oriented technology
|