Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
BIOFILMS IN BIOELECTROCHEMICAL SYSTEMS FROM LABORATORY PRACTICE TO DATA INTERPRETATION
HALUK BEYENAL2015 年出版396 页ISBN：1118413494
AN INTRODUCTION TO ABSTRACT MATHEMATICAL SYSTEMS
DAVID M.BURTON1965 年出版120 页ISBN：
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Mathematical Methods on optimization in Transportation Systems
2001 年出版247 页ISBN：079236774X
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
MATHEMATICAL MODELS FOR BIOENGINEERING AND PROBABILISTIC SYSTEMS
J C MISRA2005 年出版485 页ISBN：8173194939
