| Fuzzy Logic in Artificial Intelligence |
- isbn : 978-3-540-47782-2
- pisbn : 978-3-540-56920-6
|
Fulltext
|
| Design and Implementation of Symbolic Computation Systems |
- isbn : 978-3-540-48031-0
- pisbn : 978-3-540-57272-5
|
Fulltext
|
| Towards Dynamic Randomized Algorithms in Computational Geometry |
- isbn : 978-3-540-48202-4
- pisbn : 978-3-540-57503-0
|
Fulltext
|
| Hardware Specification, Verification and Synthesis: Mathematical Aspects |
- isbn : 978-0-387-34801-8
- pisbn : 978-0-387-97226-8
|
Fulltext
|
| Programming Language Implementation and Logic Programming |
- isbn : 978-3-540-47297-1
- pisbn : 978-3-540-55844-6
|
Fulltext
|
| Results and Trends in Theoretical Computer Science |
- isbn : 978-3-540-48445-5
- pisbn : 978-3-540-58131-4
|
Fulltext
|
| The Concurrency Control Problem for Database Systems |
- isbn : 978-3-540-38747-3
- pisbn : 978-3-540-10845-0
|
Fulltext
|
| Semantics of Data Types |
- isbn : 978-3-540-38891-3
- pisbn : 978-3-540-13346-9
|
Fulltext
|
| Directions in Databases |
- isbn : 978-3-540-48580-3
- pisbn : 978-3-540-58235-9
|
Fulltext
|
| Automata on Infinite Words |
- isbn : 978-3-540-39505-8
- pisbn : 978-3-540-15641-3
|
Fulltext
|