Cyber Physical Systems: Concepts and Applications
Software Engineering and Formal Methods : 11th International Conference,SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Network and Parallel Computing : 10th IFIP International Conference,NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings
Discovery Science : 16th International Conference,DS 2013, Singapore, October 6-9, 2013, Proceedings
Linear Algebraic Groups
The Mathematical Experience,Study Edition
Demand-Driven Associative Classification
A Connotational Theory of Program Structure
Collected Papers Vol 2: 1954-1979
Graphs and Networks : Transfinite and Nonstandard
Model Driven Architecture : European MDA Workshops: Foundations and Applications,MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003
Smart Card Application Development Using Java
