Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
Lecture Notes in Control and Information Sciences 242 Nonlinear Control Systems An Algebraic Setting
1999 年出版166 页ISBN:1852331518
Lecture Notes in Artificial Intelligence 4180 OMDoc-An Open Markup Format for Mathematical Documents
2006 年出版428 页ISBN:3540378979
Lecture Notes in Artificial Intelligence 2938 Agent-Based Hybrid Intelligent Systems An Agent-Based
2004 年出版196 页ISBN:3540209085
Leture Notes in Computer Science 8 GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen Braunsc
20.-22.3.19741974 年出版340 页ISBN:3540066772