Computer Aided Verification |
- pisbn : 978-3-540-63166-8
- isbn : 978-3-540-69195-2
- doi : 10.1007/3-540-63166-6
|
Fulltext
|
Principles of Data Mining and Knowledge Discovery |
- isbn : 978-3-540-69236-2
- pisbn : 978-3-540-63223-8
- doi : 10.1007/3-540-63223-9
|
Fulltext
|
Mobile Object Systems Towards the Programmable Internet |
- pisbn : 978-3-540-62852-1
- isbn : 978-3-540-68705-4
- doi : 10.1007/3-540-62852-5
|
Fulltext
|
Lectures on Petri Nets I: Basic Models |
- pisbn : 978-3-540-65306-6
- isbn : 978-3-540-49442-3
- doi : 10.1007/3-540-65306-6
|
Fulltext
|
Recent Trends in Algebraic Development Techniques |
- pisbn : 978-3-540-64299-2
- isbn : 978-3-540-69719-0
- doi : 10.1007/3-540-64299-4
|
Fulltext
|
Cooperative Information Agents |
- isbn : 978-3-540-68321-6
- pisbn : 978-3-540-62591-9
- doi : 10.1007/3-540-62591-7
|
Fulltext
|
Application and Theory of Petri Nets 1997 |
- isbn : 978-3-540-69187-7
- pisbn : 978-3-540-63139-2
- doi : 10.1007/3-540-63139-9
|
Fulltext
|
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods |
- isbn : 978-3-540-69593-6
- pisbn : 978-3-540-63533-8
- doi : 10.1007/3-540-63533-5
|
Fulltext
|
Hybrid Systems: Computation and Control |
- isbn : 978-3-540-69754-1
- pisbn : 978-3-540-64358-6
- doi : 10.1007/3-540-64358-3
|
Fulltext
|
Energy Minimization Methods in Computer Vision and Pattern Recognition |
- pisbn : 978-3-540-62909-2
- isbn : 978-3-540-69042-9
- doi : 10.1007/3-540-62909-2
|
Fulltext
|