| Advanced Information Systems Engineering |
- isbn : 978-3-540-48459-2
- pisbn : 978-3-540-58113-0
|
Fulltext
|
| Logic Program Synthesis and Transformation |
- isbn : 978-3-540-49745-5
- pisbn : 978-3-540-60939-1
|
Fulltext
|
| Recent Trends in Data Type Specification |
- isbn : 978-3-540-70642-7
- pisbn : 978-3-540-61629-0
|
Fulltext
|
| Algebraic and Logic Programming |
- isbn : 978-3-540-70672-4
- pisbn : 978-3-540-61735-8
|
Fulltext
|
| Mathematical Foundation of Programming Semantics |
- isbn : 978-3-540-44861-7
- pisbn : 978-3-540-16816-4
|
Fulltext
|
| TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 |
- isbn : 978-3-540-46116-6
- pisbn : 978-3-540-50939-4
|
Fulltext
|
| IGIS '94: Geographic Information Systems |
- isbn : 978-3-540-49105-7
- pisbn : 978-3-540-58795-8
|
Fulltext
|
| Field-Programmable Logic, Smart Applications, New Paradigms and Compilers |
- isbn : 978-3-540-70670-0
- pisbn : 978-3-540-61730-3
|
Fulltext
|
| Trees in Algebra and Programming - CAAP '96 |
- isbn : 978-3-540-49944-2
- pisbn : 978-3-540-61064-9
|
Fulltext
|
| Applied Algebra, Algebraic Algorithms and Error-Correcting Codes |
- isbn : 978-3-540-47630-6
- pisbn : 978-3-540-56686-1
|
Fulltext
|