| Tests and Proofs |
- isbn : 978-3-030-31157-5
- pisbn : 978-3-030-31156-8
|
Fulltext
|
| Computational Logistics |
- isbn : 978-3-030-31140-7
- pisbn : 978-3-030-31139-1
|
Fulltext
|
| The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy |
- isbn : 978-3-030-31175-9
- pisbn : 978-3-030-31174-2
|
Fulltext
|
| Networked Systems |
- isbn : 978-3-030-31277-0
- pisbn : 978-3-030-31276-3
|
Fulltext
|
| From Software Engineering to Formal Methods and Tools, and Back |
- isbn : 978-3-030-30985-5
- pisbn : 978-3-030-30984-8
|
Fulltext
|
| Computational Methods in Systems Biology |
- isbn : 978-3-030-31304-3
- pisbn : 978-3-030-31303-6
|
Fulltext
|
| Testing Software and Systems |
- isbn : 978-3-030-31280-0
- pisbn : 978-3-030-31279-4
|
Fulltext
|
| Statistical Language and Speech Processing |
- isbn : 978-3-030-31372-2
- pisbn : 978-3-030-31371-5
|
Fulltext
|
| Pattern Recognition and Image Analysis |
- isbn : 978-3-030-31321-0
- pisbn : 978-3-030-31320-3
|
Fulltext
|
| Pattern Recognition and Image Analysis |
- isbn : 978-3-030-31332-6
- pisbn : 978-3-030-31331-9
|
Fulltext
|