| Symbolic and Algebraic Computation |
- isbn : 978-3-540-35128-3
- pisbn : 978-3-540-09519-4
|
Fulltext
|
| Supercomputing |
- isbn : 978-3-540-38888-3
- pisbn : 978-3-540-18991-6
|
Fulltext
|
| Symbolic and Algebraic Computation |
- isbn : 978-3-540-46153-1
- pisbn : 978-3-540-51084-0
|
Fulltext
|
| Fundamentals of Computation Theory |
- isbn : 978-3-540-37084-0
- pisbn : 978-3-540-08442-6
|
Fulltext
|
| Temporal Logic in Specification |
- isbn : 978-3-540-46811-0
- pisbn : 978-3-540-51803-7
|
Fulltext
|
| Automata, Languages, and Programming |
- isbn : 978-3-540-35168-9
- pisbn : 978-3-540-09510-1
|
Fulltext
|
| Aspects of Automated Natural Language Generation |
- isbn : 978-3-540-47054-0
- pisbn : 978-3-540-55399-1
|
Fulltext
|
| Modular Construction and Partial Order Semantics of Petri Nets |
- isbn : 978-3-540-47282-7
- pisbn : 978-3-540-55767-8
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-540-47787-7
- pisbn : 978-3-540-56922-0
|
Fulltext
|
| Deductive and Object-Oriented Databases |
- isbn : 978-3-540-48212-3
- pisbn : 978-3-540-57530-6
|
Fulltext
|