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