B 2007: Formal Specification and Development in B |
- isbn : 978-3-540-68761-0
- pisbn : 978-3-540-68760-3
- doi : 10.1007/11955757
|
Fulltext
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques |
- pisbn : 978-3-540-38044-3
- isbn : 978-3-540-38045-0
- doi : 10.1007/11830924
|
Fulltext
|
Principles of Distributed Systems |
- isbn : 978-3-540-49991-6
- pisbn : 978-3-540-49990-9
- doi : 10.1007/11945529
|
Fulltext
|
Advances in Case-Based Reasoning |
- isbn : 978-3-540-36846-5
- pisbn : 978-3-540-36843-4
- doi : 10.1007/11805816
|
Fulltext
|
Ad-Hoc, Mobile, and Wireless Networks |
- isbn : 978-3-540-37248-6
- pisbn : 978-3-540-37246-2
- doi : 10.1007/11814764
|
Fulltext
|
Formal Methods for Components and Objects |
- pisbn : 978-3-540-36749-9
- isbn : 978-3-540-36750-5
- doi : 10.1007/11804192
|
Fulltext
|
Practical Aspects of Declarative Languages |
- pisbn : 978-3-642-11502-8
- isbn : 978-3-642-11503-5
- doi : 10.1007/978-3-642-11503-5
|
Fulltext
|
Structural, Syntactic, and Statistical Pattern Recognition |
- isbn : 978-3-540-37241-7
- pisbn : 978-3-540-37236-3
- doi : 10.1007/11815921
|
Fulltext
|
Transactions on Edutainment III |
- pisbn : 978-3-642-11244-7
- isbn : 978-3-642-11245-4
- doi : 10.1007/978-3-642-11245-4
|
Fulltext
|
System Analysis and Modeling: Language Profiles |
- isbn : 978-3-540-68373-5
- pisbn : 978-3-540-68371-1
- doi : 10.1007/11951148
|
Fulltext
|