formal modeling and analysis of time...
| |
formal modeling and analysis of timed systems
|
|
|
evolvable systems
|
advanced functional programming
| |
advanced functional programming
|
information computing and applications
| |
information computing and applications
|
robocup 2008: robot soccer world cup xii
| |
robocup 2008: robot soccer world cup xii
|
financial cryptography and data security
| |
financial cryptography and data security
|
perspectives of systems informatics
| |
perspectives of systems informatics
|
|
|
artifical evolution
|
approximation, randomization, and co...
| |
approximation, randomization, and combinatorial optimization
|
|
|
public key cryptography
|
algorithmic learning theory :
| |
algorithmic learning theory :
|
relational and algebraic methods in ...
| |
relational and algebraic methods in computer science
|
practical aspects of declarative lan...
| |
practical aspects of declarative languages
|
multidisciplinary aspects of time an...
| |
multidisciplinary aspects of time and time perception
|
advances in artificial intelligence ...
| |
advances in artificial intelligence - iberamia 2008
|
common component modeling example
| |
common component modeling example
|
computational collective intelligence
| |
computational collective intelligence
|
|
|
digital human modeling
|
cryptographic hardware and embedded ...
| |
cryptographic hardware and embedded systems -- ches 2008
|
|
|
ambient networks :
|