Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs: Used

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 T...

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1...

Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs: New

Network Control and Engineering for QoS, Security and Mobility II : IFIP TC6 ...

Decision Support and Expert Systems 4th Edition Turban Management Support System

System Modelling and Optimization : Proceedings of the Seventeenth IFIP TC7 C...

Design and Analysis of Distributed Embedded Systems : IFIP 17th World Compute...