algorithms in bioinformatics
| |
algorithms in bioinformatics
|
formal modeling and analysis of time...
| |
formal modeling and analysis of timed systems
|
advances in conceptual modeling - ch...
| |
advances in conceptual modeling - challenges and opportunities
|
perspectives of systems informatics
| |
perspectives of systems informatics
|
advances in new technologies, intera...
| |
advances in new technologies, interactive interfaces and communicability
|
|
|
mining complex data
|
relational and algebraic methods in ...
| |
relational and algebraic methods in computer science
|
descriptional complexity of formal s...
| |
descriptional complexity of formal systems
|
the move to meaningful internet syst...
| |
the move to meaningful internet systems: otm 2008
|
computer aided verification
| |
computer aided verification
|
logic, language and meaning
| |
logic, language and meaning
|
swarm and evolutionary computation
| |
swarm and evolutionary computation
|
facing the multicore - challenge ii
| |
facing the multicore - challenge ii
|
advances in artificial intelligence ...
| |
advances in artificial intelligence - iberamia 2008
|
logic and program semantics
| |
logic and program semantics
|
medical content-based retrieval for ...
| |
medical content-based retrieval for clinical decision support
|
business process management
| |
business process management
|
algorithms and architectures for par...
| |
algorithms and architectures for parallel processing
|
financial cryptography and data security
| |
financial cryptography and data security
|
convergence and hybrid information t...
| |
convergence and hybrid information technology
|