004.01511352 Smit : A recursive introduction to the theory of computation / Carl H. Smith.
004.01512 Gard : Algebra for computer science / Lars Gårding, Torbjörn Tambour.
004.01512 Numb : Number theoretic and algebraic methods in computer science : proceedings of the international conference, Moscow, June/July 1993 / editors, Alf J. van der Poorten, Igor Shparlinski, Horst G. Zimmer.
004.019 Art : The art and science of interface and interaction design / Christa Sommerer, Lakhmi C. Jain, Laurent Mignonneau (eds.).
004.019 Aust : 1998 Australasian Computer Human Interaction Conference, OzCHI '98 : proceedings, November 30-December 4, 1998, Adelaide, South Australia / edited by Paul Calder and Bruce Thomas ; sponsored by Computer-Human Interaction Special Interest Group of the Ergonomics Society of Australia.
004.019 Babe : Beyond the desktop : designing and using interaction devices / Christopher Baber.
004.019 Barn : Usability testing and research / Carol M. Barnum.
004.019 Brit : People and computers V : proceedings of the fifth conference of the British Computer Society Human-Computer Interaction Specialist Group, University of Nottingham, 5-8 September 1989 / edited by Alistair Sutcliffe, Linda Macaulay.
004.019 Brit Bund71 20190110} : People and computers III : proceedings of the Third Conference of the British Computer Society, Human-Computer Interaction Specialist Group, University of Exeter, 7-11 September 1987 / edited by D. Diaper, R. Winder.
004.019 Card : The psychology of human-computer interaction / Stuart K. Card, Thomas P. Moran, Allen Newell.