Call Number (LC) Title Results
QA76.5 .B264 1988 Dependence analysis for supercomputing / 1
QA76.5 .B2943 Computer programming in English / 1
QA76.5 .B296 Digital logic and computer operations / 1
QA76.5 .B29627 1985 A survey of verification techniques for parallel programs /
A survey of verification techniques for parallel programs
3
QA76.5 .B2964 1968 Recursive techniques in programming / 1
QA76.5 .B2964 1975 Recursive techniques in programming / 1
QA76.5 .B297 1966 Digital computer fundamentals / 1
QA76.5 .B297 1971 Digital computer fundamentals
Digital computer fundamentals /
2
QA76.5 .B297 1972 Digital computer fundamentals / 1
QA76.5 .B297 1977 Digital computer fundamentals / 2
QA76.5 .B297 1985 Digital computer fundamentals / 1
QA76.5 .B3 Theory and design of digital machines / 1
QA76.5 .B32 1967 Programming language/one / 1
QA76.5 .B33 Introduction to ALGOL / 1
QA76.5 .B365 1991 Connectionism and the mind : an introduction to parallel processing in networks / 1
QA76.5 .B37 The architecture and engineering of digital computer complexes / 1
QA76.5 .B393 2006 Principles of concurrent and distributed programming / 1
QA76.5 .B394 Benchmarking : computer evaluation and measurement / 1
QA76.5 .B46 1971eb Data structures : theory and practice / 1
QA76.5 .B5 1968 Der praktische Einsatz von Datenverarbeitungssystemen ; kybernetische und betriebwirtschaftliche Aspekte. 1