formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
Lecture Notes in Compute Science 4365 Business Intelligence for the Real-Time Enterprises
2007 年出版157 页ISBN：9783540739494
Lecture Notes in Artificial Intelligence 3374 Environments for Multi-Agent Systems First Internation
E4MAS 20042005 年出版279 页ISBN：3540245758
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
Lecture Notes in Control and Information Sciences 349 Control Systems Theory and Applications for Li
2007 年出版468 页ISBN：9783540426639
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
LECTURE NOTES IN MATHEMATICS 1445: REGULARITY THEORY FOR QUASILINEAR ELLIPTIC SYSTEMS AND MONGE-AMPE
1990 年出版128 页ISBN：3540531033;087531033
Lecture Notes in Artificial Intelligence 4659 Holonic and Multi-Agent Systems for Manufacturing Thir
HoloMAS 2007 Regensburg2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3593 Holonic and Multi-Agent Systems for Manufacturing Seco
HoloMAS 2005 Copenhagen2222 年出版0 页ISBN：
