Call Number (LC) Title Results
QA76.6 .H295 Verifying concurrent processes using temporal logic 1
QA76.6 .H295 1982 Verifying concurrent processes using temporal logic / 1
QA76.6 .H2994 1992 Microprocessors and interfacing : programming and hardware / 1
QA76.6 .H2996 1990 Binding time : six studies in programming technology & milieu / 1
QA76.6 .H3335 1984 Handbook of software engineering / 1
QA76.6 .H34 1979 First-order dynamic logic /
First-order dynamic logic 		2
QA76.6 .H37 1972 Data-structures and programming. 1
QA76.6 .H383 A Concurrent PASCAL compiler for minicomputers 1
QA76.6 .H385 1985 Computer science Logo style / 5
QA76.6 .H385 1997 Computer science Logo style 1
QA76.6 .H385 1997eb Computer science Logo style. 5
QA76.6 .H427 1984 The logic of programming / 1
QA76.6 .H428 1993 A practical theory of programming / 1
QA76.6 .H452 1992 Large problems, small machines : transforming your programs with advanced algorithms /
Large problems, small machines transforming your programs with advanced algorithms / 		2
QA76.6 .H452 1995 Efficient C/C++ programming : smaller, faster, better / 1
QA76.6 .H453 1986 Intermediate problem solving and data structures : walls and mirrors / 2
QA76.6 .H453 1991 Intermediate problem solving and data structures : walls and mirrors / 1
QA76.6 .H47 2021 The Programmer's Brain / 1
QA76.6 .H475 2008 The art of multiprocessor programming / 3
QA76.6 .H483 1992 Programs, Recursion and Unbounded Choice / 1