My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Nearby CALL NUMBERS are:
Result Page   Prev Next  
Save Marked Record Save All Records Save Marked to My Lists
    Year Entries
004.015113 Proo : Proof and computation / edited by Helmut Schwichtenberg.  1995 1
004.015113 Reev : Logic for computer science / Steve Reeves, Michael Clark.  1990 1
004.015113 Rich : Logic, language, formalism, informalism / Daniel Richardson.  1995 1
004.015113 Scho : Gems of theoretical computer science / Uwe Schöning, Randall J. Pruim ; [translated from the German by Randall Pruim].  1998 1
004.015113 Sema : Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.  1997 1
004.015113 Spec : Specification and validation methods / edited by Egon Börger.  1995 1
004.015113 Tayl : Models of computation and formal languages / R. Gregory Taylor.  1998 1
004.015113 Wood : Theory of computation / Derick Wood.  1987 1
004.01511352 Smit : A recursive introduction to the theory of computation / Carl H. Smith.  1994 1
004.01512 Gard : Algebra for computer science / Lars Gårding, Torbjörn Tambour.  1988 1
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.  1995 1
004.01512 Stef : Network algebra / Gheorghe Stefanescu.  2000 1
004.0151262 Walt : Categories and computer science / R.F.C. Walters.  1992 1
004.01513 Kuli : Computer arithmetic and validity / Ulrich Kulisch.  2013 1
004.01513 Parh : Computer arithmetic : algorithms and hardware designs / Behrooz Parhami.  2000 1
004.015192 Prob : Probability theory and computer science / edited by G. Louchard and G. Latouche.  1983 1
004.016 Comp Bund23 20111014} : Computers and information processing world index / edited by Suzan Deighton, John Gurnsey and Janet Tomlinson.  c1984 1
004.019 Andr   2
004.019 Art : The art and science of interface and interaction design / Christa Sommerer, Lakhmi C. Jain, Laurent Mignonneau (eds.).  c2008- 1
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.  1998 1
004.019 Babe : Beyond the desktop : designing and using interaction devices / Christopher Baber.  1997 1
004.019 Barn : Usability testing and research / Carol M. Barnum.  2002 1
004.019 Berk Bund23 20111014}   2
004.019 Boot : An introduction to human - computer interaction / Paul A. Booth.  1989 1
004.019 Borc : A pattern approach to interaction design / Jan Borchers.  2001 1
004.019 Brab : Crowdsourcing / Daren C. Brabham.  2013 1
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.  1989 1
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.  1987 1
004.019 Card : The psychology of human-computer interaction / Stuart K. Card, Thomas P. Moran, Allen Newell.  1983 1
004.019 Carr   2
004.019 Chil Bund81 20190820} : Children and computers / Elisa L. Klein, editor.  1985 1
004.019 Cogn   2
004.019 Comp   2
004.019 Cont   2
004.019 Coop : About face : the essentials of user interface design / Alan Cooper.  1995 1
004.019 Cost : Cost-justifying usability / edited by Randolph G. Bias, Deborah J. Mayhew.  1994 1
004.019 Cour : Understanding your users : a practical guide to user requirements methods, tools, and techniques / Catherine Courage and Kathy Baxter.  2005 1
004.019 Cox : User-interface design / Kevin Cox & David Walker.  1990 1
004.019 Coyn : Mood and mobility : navigating the emotional spaces of digital social networks / Richard Coyne.  2016 1
004.019 Cybe : Cyberpsychology / edited by Ángel J. Gordo-López and Ian Parker.  1999 1
004.019 Dahl : Learning monotone formulas in quadratic time / Elias Dahlhaus.0  1992? 1
004.019 Dert : The unfinished revolution : human-centered computers and what they can do for us / Michael L. Dertouzos.  2001 1
004.019 Desi : Designing from both sides of the screen : how designers and engineers can collaborate to build cooperative technology / Ellen Isaacs, Alan Walendowski.  2002 1
004.019 Deso : The semiotic engineering of human-computer interaction / Clarisse Sieckenius de Souza.  2005 1
004.019 Dour : Where the action is : the foundations of embodied interaction / Paul Dourish.  2004 1
004.019 Duch : Eye tracking methodology : theory and practice / Andrew T. Duchowski.  2002 1
004.019 Eber : User interface design / Ray E. Eberts.  1994 1
004.019 Emot   3
004.019 Enha : Enhancing learning through human computer interaction / Elspeth McKay [editor].  2007 1
004.019 Faul : The essence of human-computer interaction / Christine Faulkner.  1998 1
Save Marked Record Save All Records Save Marked to My Lists
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove

Result Page   Prev Next