Search result
Compositional Verification of Concurrent and Real-Time Systems
English
13.03.2013
Paperback / Softback
Fr. 134.00
Application Of Omics, Ai And Blockchain In Bioinformatics Research
English
30.11.2019
Hardback
Fr. 136.00
Compositional Verification of Concurrent and Real-Time Systems
English
11.02.2011
Hardback
Fr. 134.00
Hybrid Parallel Execution Model for Logic-Based Specification Languages
English
05.07.2001
Hardback
Fr. 186.00
Knowledge-based Software Development For Real-time Distributed Systems
English
01.11.1993
Hardback
Fr. 166.90