Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 2941 Radical Innovations of Software and Systems Engineering in th
RISSEF 20022004 年出版359 页ISBN:3540211799
Lecture Notes in Computer Science 4623 Ontologies-Based Databases and Information Systems First and
ODBIS 2005/20062007 年出版154 页ISBN:9783540754732
AN INTRODUCTION TO COMPUTER-BASED LIBRARY SYSTEMS SECOND EDITION
LUCY A.TEDD1984 年出版262 页ISBN:
INSTRUCTOR'S MANUAL TO ACCOMPANY USING PASCAL AN INTRODUCTION TO COMPUTER SCIENCE 1
DAVID D.RILEY1987 年出版500 页ISBN:087835235X