Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 4749 Service-Oriented Computing ICSOC 2007 Fifth International Con
2007 年出版631 页ISBN：9783540749738
Lecture Notes in Computer Science 4309 Software Engineering Education in the Modern Age
2006 年出版205 页ISBN：9783540682035
Lecture Notes in Computer Science 3167 Refinement Techniques in Software Engineering First Pernambuc
PSSE 20042006 年出版391 页ISBN：3540462538
Lecture Notes in Computer Science 4717 UbiComp 2007:Ubiquitous Computing 9th International Conferenc
UbiComp 20072007 年出版520 页ISBN：9783540748526
Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN：3540220119
Lecture Notes in Computer Science 3840 Unifying the Software Process Spectrum International Software
SPW 20052005 年出版522 页ISBN：3540311122
Lecture Notes in Computer Science 4781 Advances in Visual Information Systems 9th International Conf
VISUAL 20072007 年出版582 页ISBN：9783540764137
Lecture Notes in Computer Science 4219 Recent Advances in Intrusion Detection 9th International Symp
RAID 20062006 年出版331 页ISBN：354039723X
