FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN:044488372x
Lecture Notes in Computer Science 4385 Task Models and Diagranms for Users Interface Design 5th Inte
TAMODIA 20062007 年出版355 页ISBN:9783540708155
Lecture Notes in Computer Science 4849 Task Models and Diagrams for User Interface Design 6th Intern
TAMODIA 20072007 年出版299 页ISBN:9783540772217
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN:3540335803
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN:3540255761
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN:3540211829
Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V
1995 年出版360 页ISBN:3540606475
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN:3540248439