Formal Techniques for Networked and Distributed Systems - FORTE 2004 |
- pisbn : 978-3-540-23252-0
- isbn : 978-3-540-30232-2
- doi : 10.1007/b100576
|
Fulltext
|
Model-Based Testing of Reactive Systems |
- isbn : 978-3-540-32037-1
- pisbn : 978-3-540-26278-7
- doi : 10.1007/b137241
|
Fulltext
|
Applying Formal Methods: Testing, Performance, and M/E-Commerce |
- isbn : 978-3-540-30233-9
- pisbn : 978-3-540-23169-1
- doi : 10.1007/b100825
|
Fulltext
|
Groupware: Design, Implementation, and Use |
- pisbn : 978-3-540-23016-8
- isbn : 978-3-540-30112-7
- doi : 10.1007/b100403
|
Fulltext
|
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] |
- isbn : 978-3-540-37898-3
- pisbn : 978-3-540-37897-6
- doi : 10.1007/11826095
|
Fulltext
|
Global Optimization and Constraint Satisfaction |
- isbn : 978-3-540-39901-8
- pisbn : 978-3-540-20463-3
- doi : 10.1007/b94062
|
Fulltext
|
Pattern Recognition and Image Analysis |
- pisbn : 978-3-540-40217-6
- isbn : 978-3-540-44871-6
- doi : 10.1007/b12122
|
Fulltext
|
Advances in Artificial Intelligence -- SBIA 2010 |
- isbn : 978-3-642-16138-4
- pisbn : 978-3-642-16137-7
- doi : 10.1007/978-3-642-16138-4
|
Fulltext
|
Current Trends in Web Engineering, ICWE 2010 Workshops |
- isbn : 978-3-642-16985-4
- pisbn : 978-3-642-16984-7
- doi : 10.1007/978-3-642-16985-4
|
Fulltext
|
Implementation and Application of Functional Languages |
- pisbn : 978-3-642-16477-4
- isbn : 978-3-642-16478-1
- doi : 10.1007/978-3-642-16478-1
|
Fulltext
|