Search result
Formal Techniques for Distributed Objects, Components, and Systems
English
27.06.2016
Paperback / Softback
Fr. 69.00
Abstract State Machines, Alloy, B, TLA, VDM, and Z
English
11.05.2016
Paperback / Softback
Fr. 69.00
OWL: Experiences and Directions - Reasoner Evaluation
English
25.02.2017
Paperback / Softback
Fr. 69.00
At the Intersection of Language, Logic, and Information
English
06.07.2019
Paperback / Softback
Fr. 69.00
Tools and Algorithms for the Construction and Analysis of Systems
English
04.04.2019
Paperback / Softback
Fr. 69.00
Reasoning Web. Semantic Interoperability on the Web
English
12.06.2017
Paperback / Softback
Fr. 69.00
Integrated Uncertainty in Knowledge Modelling and Decision Making
English
07.03.2019
Paperback / Softback
Fr. 69.00