FM 2008: Formal Methods |
- isbn : 978-3-540-68237-0
- pisbn : 978-3-540-68235-6
- doi : 10.1007/978-3-540-68237-0
|
Fulltext
|
Transactions on Computational Science I |
- isbn : 978-3-540-79299-4
- pisbn : 978-3-540-79298-7
- doi : 10.1007/978-3-540-79299-4
|
Fulltext
|
Formal Methods in Systems Biology |
- isbn : 978-3-540-68413-8
- pisbn : 978-3-540-68410-7
- doi : 10.1007/978-3-540-68413-8
|
Fulltext
|
Testing of Software and Communicating Systems |
- isbn : 978-3-540-68524-1
- pisbn : 978-3-540-68514-2
- doi : 10.1007/978-3-540-68524-1
|
Fulltext
|
Frontiers in Algorithmics |
- isbn : 978-3-540-69311-6
- pisbn : 978-3-540-69310-9
- doi : 10.1007/978-3-540-69311-6
|
Fulltext
|
Public Key Infrastructure |
- isbn : 978-3-540-69485-4
- pisbn : 978-3-540-69484-7
- doi : 10.1007/978-3-540-69485-4
|
Fulltext
|
Intelligence and Security Informatics |
- isbn : 978-3-540-69304-8
- pisbn : 978-3-540-69136-5
- doi : 10.1007/978-3-540-69304-8
|
Fulltext
|
Concurrency, Graphs and Models |
- isbn : 978-3-540-68679-8
- pisbn : 978-3-540-68676-7
- doi : 10.1007/978-3-540-68679-8
|
Fulltext
|
Advanced Information Systems Engineering |
- isbn : 978-3-540-69534-9
- pisbn : 978-3-540-69533-2
- doi : 10.1007/978-3-540-69534-9
|
Fulltext
|
Medical Imaging and Informatics |
- isbn : 978-3-540-79490-5
- pisbn : 978-3-540-79489-9
- doi : 10.1007/978-3-540-79490-5
|
Fulltext
|