Engineering for Human-Computer Interaction |
- isbn : 978-3-540-45348-2
- pisbn : 978-3-540-43044-5
- doi : 10.1007/3-540-45348-2
|
Fulltext
|
Implementation of Functional Languages |
- isbn : 978-3-540-45361-1
- pisbn : 978-3-540-41919-8
- doi : 10.1007/3-540-45361-X
|
Fulltext
|
Digital Cities II: Computational and Sociological Approaches |
- pisbn : 978-3-540-43963-9
- isbn : 978-3-540-45636-0
- doi : 10.1007/3-540-45636-8
|
Fulltext
|
Software Reuse: Methods, Techniques, and Tools |
- pisbn : 978-3-540-43483-2
- isbn : 978-3-540-46020-6
- doi : 10.1007/3-540-46020-9
|
Fulltext
|
Medical Data Analysis |
- pisbn : 978-3-540-00044-0
- isbn : 978-3-540-36104-6
- doi : 10.1007/3-540-36104-9
|
Fulltext
|
SOFSEM 2002: Theory and Practice of Informatics |
- pisbn : 978-3-540-00145-4
- isbn : 978-3-540-36137-4
- doi : 10.1007/3-540-36137-5
|
Fulltext
|
Perspectives of System Informatics |
- isbn : 978-3-540-45575-2
- pisbn : 978-3-540-43075-9
- doi : 10.1007/3-540-45575-2
|
Fulltext
|
Algorithms in Bioinformatics |
- isbn : 978-3-540-44696-5
- pisbn : 978-3-540-42516-8
- doi : 10.1007/3-540-44696-6
|
Fulltext
|
Types for Proofs and Programs |
- isbn : 978-3-540-44557-9
- pisbn : 978-3-540-41517-6
- doi : 10.1007/3-540-44557-9
|
Fulltext
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
- isbn : 978-3-540-44652-1
- pisbn : 978-3-540-42464-2
- doi : 10.1007/3-540-44652-4
|
Fulltext
|