Call Number (LC) Title Results
QA76.6 .K63 1998 Optimal interprocedural program optimization : a new framework and its application /
Optimal interprocedural program optimization a new framework and its application / 		2
QA76.6 .K64 The art of computer programming / 1
QA76.6 .K64 1998 The art of computer programming. 1
QA76.6 .K64 2011 The art of computer programming / 1
QA76.6 .K644 1992 Literate programming / 1
QA76.6 .K648 1997 The art of computer programming. 1
QA76.6 .K6513 1980 Software reliability / 1
QA76.6 .K68 Discrete computational structures /
Discrete computational structures 		2
QA76.6 .K68 1984 Discrete computational structures / 1
QA76.6 .K688 2011 The art of computer programming. 1
QA76.6 .K692 1996 Rule-based programming / 1
QA76.6 .K695 1992 Genetic programming : on the programming of computers by means of natural selection / 2
QA76.6 .K695 1992eb Genetic programming : on the programming of computers by means of natural selection / 1
QA76.6 .K695 1994 Genetic programming II : automatic discovery of reusable programs / 1
QA76.6 .K7 Microprogrammed control and reliable design of small computers / 1
QA76.6 .K753 1987 Temporal logic of programs / 1
QA76.6 .K76 Algorithms: their complexity and efficiency / 1
QA76.6 .K76 1987 Algorithms : their complexity and efficiency / 1
QA76.6 .K77 1984 Data structures and program design / 2
QA76.6 .K78 An algol 60 compiler in algol 60 : text of the MC-compiler for the EL- X8 / 1