Categories and Types in Logic, Language, and Physics |
- pisbn : 978-3-642-54788-1
- isbn : 978-3-642-54789-8
- doi : 10.1007/978-3-642-54789-8
|
Fulltext
|
Principles of Security and Trust |
- isbn : 978-3-642-54792-8
- pisbn : 978-3-642-54791-1
- doi : 10.1007/978-3-642-54792-8
|
Fulltext
|
Efficient Algorithms for Global Optimization Methods in Computer Vision |
- isbn : 978-3-642-54774-4
- pisbn : 978-3-642-54773-7
- doi : 10.1007/978-3-642-54774-4
|
Fulltext
|
Bridging Between Information Retrieval and Databases |
- isbn : 978-3-642-54798-0
- pisbn : 978-3-642-54797-3
- doi : 10.1007/978-3-642-54798-0
|
Fulltext
|
Database Systems for Advanced Applications |
- pisbn : 978-3-319-05809-2
- isbn : 978-3-319-05810-8
- doi : 10.1007/978-3-319-05810-8
|
Fulltext
|
Database Systems for Advanced Applications |
- isbn : 978-3-319-05813-9
- pisbn : 978-3-319-05812-2
- doi : 10.1007/978-3-319-05813-9
|
Fulltext
|
From Programs to Systems - The Systems Perspective in Computing |
- isbn : 978-3-642-54848-2
- pisbn : 978-3-642-54847-5
- doi : 10.1007/978-3-642-54848-2
|
Fulltext
|
Building Bridges: HCI, Visualization, and Non-formal Modeling |
- pisbn : 978-3-642-54893-2
- isbn : 978-3-642-54894-9
- doi : 10.1007/978-3-642-54894-9
|
Fulltext
|
NASA Formal Methods |
- isbn : 978-3-319-06200-6
- pisbn : 978-3-319-06199-3
- doi : 10.1007/978-3-319-06200-6
|
Fulltext
|
Traffic Monitoring and Analysis |
- isbn : 978-3-642-54999-1
- pisbn : 978-3-642-54998-4
- doi : 10.1007/978-3-642-54999-1
|
Fulltext
|