Recent Trends in Algebraic Development Techniques |
- isbn : 978-3-540-40020-2
- pisbn : 978-3-540-20537-1
- doi : 10.1007/b94458
|
Fulltext
|
Advances in Learning Software Organizations |
- pisbn : 978-3-540-20591-3
- isbn : 978-3-540-40052-3
- doi : 10.1007/b94220
|
Fulltext
|
Component-Based Software Quality |
- pisbn : 978-3-540-40503-0
- isbn : 978-3-540-45064-1
- doi : 10.1007/b11721
|
Fulltext
|
Software Architectures for Product Families |
- isbn : 978-3-540-44542-5
- pisbn : 978-3-540-41480-3
- doi : 10.1007/b78902
|
Fulltext
|
Algorithms and Data Structures |
- isbn : 978-3-540-45078-8
- pisbn : 978-3-540-40545-0
- doi : 10.1007/b11837
|
Fulltext
|
Theorem Proving in Higher Order Logics |
- pisbn : 978-3-540-40664-8
- isbn : 978-3-540-45130-3
- doi : 10.1007/b11935
|
Fulltext
|
Empirical Methods and Studies in Software Engineering |
- pisbn : 978-3-540-40672-3
- isbn : 978-3-540-45143-3
- doi : 10.1007/b11962
|
Fulltext
|
Information Extraction in the Web Era |
- pisbn : 978-3-540-40579-5
- isbn : 978-3-540-45092-4
- doi : 10.1007/b11781
|
Fulltext
|
Electronic Information and Communication in Mathematics |
- pisbn : 978-3-540-40689-1
- isbn : 978-3-540-45155-6
- doi : 10.1007/b11818
|
Fulltext
|
Artificial Immune Systems |
- isbn : 978-3-540-45192-1
- pisbn : 978-3-540-40766-9
- doi : 10.1007/b12020
|
Fulltext
|