Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN:3540262784
Lecture Notes in Computer Science 4527 Bio-inspired Modeling of Cognitive Tasks Second International
IWINAC 20072007 年出版630 页ISBN:9783540730521
Lecture Notes in Computer Science 4778 Analysis and Modeling of Faces and Gestures Third Internation
AMFG 20072007 年出版304 页ISBN:9783540756897
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 3723 Analysis and Modelling of Faces and Gestures Second Internati
AMFG 20052005 年出版424 页ISBN:3540292292
HISTOCHEMISTRY THE WIDENING HORIZONS OF ITS APPLICATIONS IN THE BIOMEDICAL SCIENCES
PETER J.STOWARD AND JULIA M.POLAK1981 年出版293 页ISBN:0471100102
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 10 THE MODELLING OF SYSTEMS WITH SMALL OBSERVATION
JAN M.MACIEJOWSKI1978 年出版242 页ISBN:3540090045
Lecture Notes in Computer Science 364 MFDBS 89 2nd Symposium on Mathematical Fundamentals of Databas
2222 年出版428 页ISBN:3540512519
Lecture Notes in Computer Science 616 Application and Theory of Petri Nets 1992
1992 年出版398 页ISBN:3540556761