| Information and Knowledge Management: Expanding the Definition of “Database” |
- isbn : 978-3-540-48148-5
- pisbn : 978-3-540-57419-4
|
Fulltext
|
| Design and Implementation of Large Spatial Databases |
- isbn : 978-3-540-46924-7
- pisbn : 978-3-540-52208-9
|
Fulltext
|
| Formal Program Development |
- isbn : 978-3-540-48197-3
- pisbn : 978-3-540-57499-6
|
Fulltext
|
| International Symposium on Programming |
- isbn : 978-3-540-38809-8
- pisbn : 978-3-540-12925-7
|
Fulltext
|
| Systems of Reductions |
- isbn : 978-3-540-48026-6
- pisbn : 978-3-540-18598-7
|
Fulltext
|
| Recent Issues in Pattern Analysis and Recognition |
- isbn : 978-3-540-46815-8
- pisbn : 978-3-540-51815-0
|
Fulltext
|
| Attribute Grammar Inversion and Source-to-source Translation |
- isbn : 978-3-540-39079-4
- pisbn : 978-3-540-19072-1
|
Fulltext
|
| Attribute Grammars and their Applications |
- isbn : 978-3-540-46666-6
- pisbn : 978-3-540-53101-2
|
Fulltext
|
| Using Sophisticated Models in Resolution Theorem Proving |
- isbn : 978-3-540-38306-2
- pisbn : 978-3-540-10231-1
|
Fulltext
|
| Group-Theoretic Algorithms and Graph Isomorphism |
- isbn : 978-3-540-39182-1
- pisbn : 978-3-540-11493-2
|
Fulltext
|