Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
Programming Languages Concepts and Concepts
Ravi Sethi2002 年出版640 页ISBN:711095944
Assembler Language Programming:Systems/360 and 370
1975 年出版512 页ISBN:0574191607
SYSTEM SIMULATION PROGRAMMING STYLES AND LANGUAGES
2222 年出版366 页ISBN:0201129140