Introduction To The Formal Design of Real-Time Systems
1999 年出版461 页ISBN：3540761403
STRUCTURE AND INTERPRETATION OF SIGNALS AND SYSTEMS
EDWARD A.LEE AND PRAVIN VARAIYA2004 年出版0 页ISBN：
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
STATISTICAL MECHANICS OF DISORDERED SYSTEMS A MATHEMATICAL PERSPECTIVE
2006 年出版312 页ISBN：0521849918
ASSESSING BIOAVAILABILITY OF DRUG DELIVERY SYSTEMS:MATHEMATICAL MODELING
JEAN-MAURICE VERGNAUD IOSIF-DANIEL ROSCA2005 年出版223 页ISBN：0849330440
Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction
Sacha Friedli2017 年出版622 页ISBN：1107184824
