Call Number (LC) Title Results
QA76.6 .S9195 1976 Algorithms and complexity : new directions and recent results : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976] / 2
QA76.6 .S9196 Proceedings of the Symposium on Operating Systems Principles. 1
QA76.6 .S9198 1980 Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany, June 16-20-, 1980 / 1
QA76.6 .S92 1972 Complexity of computer computations : proceedings / 1
QA76.6 .S92 1972eb Complexity of computer computations proceedings / 1
QA76.6 .S94 2022 The recursive book of recursion : ace the coding interview with Python and JavaScript / 2
QA76.6 .T337 2017 ARM microprocessor systems : cortex-m architecture, programming, and interfacing / 2
QA76.6 .T38 1990 Structured computer organization / 1
QA76.6 .T39 1977 Standardized development of computer software / 1
QA76.6 .T3925 1984 The master handbook of high-level microcomputer languages / 1
QA76.6 .T3925 1988 Master handbook of microcomputer languages / 1
QA76.6 .T397 1988 Teaching and learning computer programming : multiple research perspectives / 1
QA76.6 .T397 2008eb Teaching and learning computer programming : multiple research perspectives / 1
QA76.6 .T418 1982 Techniques of program and system maintenance / 1
QA76.6 .T419 1980 Techniques of program and system maintenance / 1
QA76.6 .T43 1987 Temporal logics and their applications / 1
QA76.6.T4412 2001eb Science of Debugging. 1
QA76.6 .T4414 1994 Temporal logic first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / 		2
QA76.6 .T4416 2002 Specifying software : a hands-on introduction / 1
QA76.6 .T4416 2002b Specifying software : a hands-on introduction / 1