Search result
Stabilization, Safety, and Security of Distributed Systems
English
01.01.2016
Paperback / Softback
Fr. 70.00
Algorithms and Architectures for Parallel Processing
English
01.01.2016
Paperback / Softback
Fr. 70.00
Foundations of Software Science and Computation Structures
English
01.01.2016
Paperback / Softback
Fr. 70.00
Tools and Algorithms for the Construction and Analysis of Systems
English
01.01.2016
Paperback / Softback
Fr. 70.00
Scientific Computing, Computer Arithmetic, and Validated Numerics
English
01.01.2016
Paperback / Softback
Fr. 70.00
Foundations of Software Science and Computation Structures
English
31.12.2017
Paperback / Softback
Fr. 70.00
Verification, Model Checking, and Abstract Interpretation
English
31.03.2017
Paperback / Softback
Fr. 70.00
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
English
19.02.2009
Paperback / Softback
Fr. 70.00
Stabilization, Safety, and Security of Distributed Systems
English
31.01.2019
Paperback / Softback
Fr. 70.00