Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Advances in Electronic Engineering, Communication and Management ...
David Jin & Sally Lin
General Enzymology
N. S. Kulkarni & M. S. Deshpande
Languages, Design Methods, and Tools for Electronic System Design
Franco Fummi & Robert Wille
Advanced Computing Techniques for Optimization in Cloud
H S Madhusudhan & Punit Gupta & Pradeep Singh Rawat