Lecture Notes in Computer Science 3167 Refinement Techniques in Software Engineering First Pernambuc
PSSE 20042006 年出版391 页ISBN:3540462538
Lecture Notes in Computer Science 4127 Data and Applications Security XX 20th Annual IFIP WG 11.3 Wo
2006 年出版319 页ISBN:3540367969
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586
Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN:3540291067
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
Lecture Notes in Computer Science 3654 Data and Applications Security XIX 19th Annual IFIP WG 11.3 W
2005 年出版353 页ISBN:354028138X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
Lecture Notes in Computer Science 4863 Algorithms and Models for the Web-Graph 5th International Wor
WAW 20072007 年出版217 页ISBN:9783540770039