| Temporal Logic |
- isbn : 978-3-540-48585-8
- pisbn : 978-3-540-58241-0
|
Fulltext
|
| Algebraic and Logic Programming |
- isbn : 978-3-540-47302-2
- pisbn : 978-3-540-55873-6
|
Fulltext
|
| Information Processing in Medical Imaging |
- isbn : 978-3-540-47742-6
- pisbn : 978-3-540-56800-1
|
Fulltext
|
| Hybrid Systems III |
- isbn : 978-3-540-68334-6
- pisbn : 978-3-540-61155-4
|
Fulltext
|
| Reliable Software Technologies - Ada Europe 96 |
- isbn : 978-3-540-68457-2
- pisbn : 978-3-540-61317-6
|
Fulltext
|
| Category Theory and Computer Science |
- isbn : 978-3-540-38413-7
- pisbn : 978-3-540-54495-1
|
Fulltext
|
| Foundations of Object-Oriented Languages |
- isbn : 978-3-540-46450-1
- pisbn : 978-3-540-53931-5
|
Fulltext
|
| Languages and Compilers for Parallel Computing |
- isbn : 978-3-540-49446-1
- pisbn : 978-3-540-60765-6
|
Fulltext
|
| LOGIDATA+: Deductive Databases with Complex Objects |
- isbn : 978-3-540-47844-7
- pisbn : 978-3-540-56974-9
|
Fulltext
|
| Performance Evaluation of Computer and Communication Systems |
- isbn : 978-3-540-48044-0
- pisbn : 978-3-540-57297-8
|
Fulltext
|