Limit search to available items
Nearby Call Numbers are:
Result Page   Prev Next
Add Marked to Bag Add All On Page Add Marked to My Lists
Mark   Medium Year
004.0151 Car/Cda : Concept data analysis : theory and applications / Claudio Carpineto, Giovanni Romano     
      Concept data analysis : theory and applications / Claudio Carpineto, Giovanni Romano MELB  Book 2004
004.0151 Cle/Aoc : Assessment of candidate pfsa models induced from symbol datasets / C.H. Clelland     
      Assessment of candidate pfsa models induced from symbol datasets / C.H. Clelland WATERFT ADPML  Book 1995
004.0151 Cle/Gaa : Genetic algorithms : application to time-varying environments / C.H. Clelland and D.A. Newlands     
      Genetic algorithms : application to time-varying environments / C.H. Clelland and D.A. Newlands WATERFT ADPML  Book 1992
004.0151 Csm/Ath    
      Computers 1 : with an introduction to binary arithmetic / F.B. Lovis WATERFT ADPML  Book 1964
      Computers 2 / F.B. Lovis WATERFT ADPML  Book 1964
004.0151 Dew/Mif : Matrix inequalities for Petri nets with timed output arcs / Robert A. Dew     
      Matrix inequalities for Petri nets with timed output arcs / Robert A. Dew WATERFT ADPML  Book 1992
004.0151 Fej/Mfo : Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici     
      Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici W'PONDS  Book c1991-
004.0151 Ger/Msf 1999 : Mathematical structures for computer science / Judith L. Gersting     
      Mathematical structures for computer science / Judith L. Gersting W'PONDS  Book 1999
004.0151 Gro/Dmf : Discrete mathematics for computing / Peter Grossman     
      Discrete mathematics for computing / Peter Grossman MELB  Book 1995
004.0151 Gro/Dmf 2009 : Discrete mathematics for computing / Peter Grossman     
      Discrete mathematics for computing / Peter Grossman MELB  Book 2009
004.0151 Hab/Ssm 2006 : Software specification methods / edited by Henri Habrias, Marc Frappier     
      Software specification methods / edited by Henri Habrias, Marc Frappier W'PONDS  Book 2006
004.0151 Has : Approximations for digital computers / by Cecil Hastings assisted by Jeanne T. Hayward, James P. Wong     
      Approximations for digital computers / by Cecil Hastings assisted by Jeanne T. Hayward, James P. Wong W'PONDS  Book 1955
004.0151 Ico/Fma 2002 : Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.)     
      Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.) W'PONDS  Book 2002
004.0151 Int/Ico 2004 : Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.)     
      Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.) W'PONDS  Book 2004
004.0151 Int/Ifm 2000 : Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)     
      Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.) W'PONDS  Book 2000
004.0151 Int/Ifm 2005 : Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings / Judi Romijn, Graeme P. Smith, Jaco van de Pol (eds.)     
      Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings / Judi Romijn, Graeme P. Smith, Jaco van de Pol (eds.) W'PONDS  Book 2005
004.0151 Jha/Mmo    
      Mathematical modelling, optimization and their applications / [editors], P.C. Jha, M.N. Hoda MELB, W'PONDS   Book 2011
      Mathematical modelling, optimization and their applications / [editors], P.C. Jha, M.N. Hoda MELB, W'PONDS   Book 2011
004.0151 Kau/Car : Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore     
      Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore W'PONDS  Book 2000
004.0151 Mal/Sct : Storing checkpoints to multiple volatile storage locations simultaneously using at-least-k and the GENESIS Checkpointing Facility v2.0 / written by Andrew Maloney and Andrzej Goscinski     
      Storing checkpoints to multiple volatile storage locations simultaneously using at-least-k and the GENESIS Checkpointing Facility v2.0 / written by Andrew Maloney and Andrzej Goscinski WATERFT ADPML  Book 2007
004.0151 New/Pig : Polygonal inductive generalisation system / D.A. Newlands and G.I. Webb     
      Polygonal inductive generalisation system / D.A. Newlands and G.I. Webb WATERFT ADPML  Book 1994
004.0151 New/Pig 1995 : Polygonal inductive generalisation system / D.A. Newlands and G.I. Webb     
      Polygonal inductive generalisation system / D.A. Newlands and G.I. Webb WATERFT ADPML  Book 1995
004.0151 Ngu/Aoc : Applications of continuous mathematics to computer science / by Hung T. Nguyen, Vladik Kreinovich     
      Applications of continuous mathematics to computer science / by Hung T. Nguyen, Vladik Kreinovich MELB  Book 1997
004.0151 Num : Numerical recipes : the art of scientific computing / William H. Press ... [and others]     
      Numerical recipes : the art of scientific computing / William H. Press ... [and others] W'PONDS  Book 1986
004.0151 Pat/Eoh : An explication of Halstead's measures / by Jon D. Patrick     
      An explication of Halstead's measures / by Jon D. Patrick WATERFT ADPML  Book 1989
004.0151 Pif/Dma : Discrete mathematics : an introduction for software engineers / Mike Piff     
      Discrete mathematics : an introduction for software engineers / Mike Piff W'PONDS  Book 1991
004.0151 Skv : Discrete mathematics with computer science applications / Romualdas Skvarcius, William B. Robinson     
      Discrete mathematics with computer science applications / Romualdas Skvarcius, William B. Robinson W'PONDS  Book 1986
004.0151 Sta/Bma : Beginning math and physics for game programmers / Wendy Stahler ; [with Dustin Clingman and Kaveh Kahrizi]     
      Beginning math and physics for game programmers / Wendy Stahler ; [with Dustin Clingman and Kaveh Kahrizi] MELB  Book 2004
004.0151 Vas/Mff    
      Mathematical foundation for computer science / M. Vasanthi MELB, W'PONDS   Book 2013
      Mathematical foundation for computer science / M. Vasanthi MELB, W'PONDS   Book 2013
      Mathematical foundation for computer science / M. Vasanthi MELB, W'PONDS   Book 2013
      Mathematical foundation for computer science / M. Vasanthi MELB, W'PONDS   Book 2013
004.015113 Bow/Ctc : Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems / Howard Bowman and Rodolfo Gomez     
      Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems / Howard Bowman and Rodolfo Gomez W'PONDS  Book 2006
004.015113 Eda/Ait : Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 / editors, A. Edalat, S. Jourdan, G. McCusker     
      Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 / editors, A. Edalat, S. Jourdan, G. McCusker W'PONDS  Book 1996
004.015113 New/Atp : Automated theorem proving : theory and practice / Monty Newborn     
      Automated theorem proving : theory and practice / Monty Newborn W'PONDS  Book 2001
004.015114 Int/Ara 2004 : Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 ; proceedings / Klaus Jansen ... [and others] (eds.)     
      Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, a W'PONDS  Book 2004
004.01512 Lec : EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings     
      EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings W'PONDS  Book 1985
004.019 And/Eom : The effects of microcomputer anxiety, knowledge, experience, gender and course major on performance in information systems : a study of business undergraduates in Australia / Alastair A. Anderson     
      The effects of microcomputer anxiety, knowledge, experience, gender and course major on performance in information systems : a study of business undergraduates in Australia / Alastair A. Anderson WATERFT ADPML  Book 1994
004.019 And/Mpd : Microcomputer playfulness : development of a measure with workplace implications : a reanalysis and a reinterpretation / Alastair Anderson     
      Microcomputer playfulness : development of a measure with workplace implications : a reanalysis and a reinterpretation / Alastair Anderson WATERFT ADPML  Book 1995
004.019 And/Poc : Predictors of computer anxiety and performance in information systems / Alastair A. Anderson     
      Predictors of computer anxiety and performance in information systems / Alastair A. Anderson WATERFT ADPML  Book 1994
004.019 App : Applying cognitive psychology to user-interface design / edited by Margaret M. Gardiner and Bruce Christie     
      Applying cognitive psychology to user-interface design / edited by Margaret M. Gardiner and Bruce Christie W'PONDS  Book 1987
004.019 Asi/Chi 2004 : Computer human interaction : 6th Asia Pacific conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, proceedings / Masood Masoodian, Steve Jones, Bill Rogers, eds     
      Computer human interaction : 6th Asia Pacific conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, proceedings / Masood Masoodian, Steve Jones, Bill Rogers, eds MELB  Book 2004
004.019 Bai/Beo    
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor MELB, W'PONDS   Book 2004
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor MELB, W'PONDS   Book 2004
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor MELB, W'PONDS   Book 2004
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor MELB, W'PONDS   Book 2004
004.019 Bal : COMPOSING ACTIVITIES OF COMPUTER LITERATE WRITERS     
      COMPOSING ACTIVITIES OF COMPUTER LITERATE WRITERS W'PONDS  Microform 1984
004.019 Bar : Cognitive correlates of performance in computer programming by children and adolescents / by Marie Patricia Barker     
      Cognitive correlates of performance in computer programming by children and adolescents / by Marie Patricia Barker W'PONDS  Microform 1999
004.019 Bas/Efh : Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 working conference on engineering for human-computer interaction, Yellowstone Park, USA, August 1995 / edited by Leonard J. Bass and Claus Unger     
      Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 working conference on engineering for human-computer interaction, Yellowstone Park, USA, August 1995 / edited by Leonard J W'PONDS  Book 1996
004.019 Bhu/Tfi : Trust for intelligent recommendation / Touhid Bhuiyan     
      Trust for intelligent recommendation / Touhid Bhuiyan W'PONDS  Book 2013
004.019 Bin/Rtd : (Re)searching the digital Bauhaus / editors: Thomas Binder, Jonas Löwgren, Lone Malmborg     
      (Re)searching the digital Bauhaus / editors: Thomas Binder, Jonas Löwgren, Lone Malmborg W'PONDS  Book 2009
004.019 Blo : A component analysis of computer anxiety reduction training / Arvid J. Bloom     
      A component analysis of computer anxiety reduction training / Arvid J. Bloom W'PONDS  Microform 1999
004.019 Blu : Effect of a semester of instruction in different computer programming languages on mathematical problem solving skills of high school students / William Leo Blubaugh     
      Effect of a semester of instruction in different computer programming languages on mathematical problem solving skills of high school students / William Leo Blubaugh W'PONDS  Microform 1999
004.019 Bre : The effects of exposure to the BASIC computer language on the logical thinking of upper elementary students / Richard Whitefoord Brewer     
      The effects of exposure to the BASIC computer language on the logical thinking of upper elementary students / Richard Whitefoord Brewer W'PONDS  Microform 1999
004.019 Bre/Hhc 2000 : Haptic human-computer interaction : first international workshop, Glasgow, UK, August 31-September 1, 2000 : proceedings / Stephen Brewster, Roderick Murray-Smith (eds.)     
      Haptic human-computer interaction : first international workshop, Glasgow, UK, August 31-September 1, 2000 : proceedings / Stephen Brewster, Roderick Murray-Smith (eds.) MELB  Book 2001
004.019 Bri/Pac 1995 : People and computers X : proceedings of HCI '95, Huddersfield, August 1995 / edited by M.A.R. Kirby, A.J. Dix and J.E. Finlay     
      People and computers X : proceedings of HCI '95, Huddersfield, August 1995 / edited by M.A.R. Kirby, A.J. Dix and J.E. Finlay W'PONDS  Book 1995
004.019 Bri/Pac 2004 : People and computers XVIII : design for life : proceedings of HCI 2004 / Sally Fincher ... [and others], eds     
      People and computers XVIII : design for life : proceedings of HCI 2004 / Sally Fincher ... [and others], eds W'PONDS  Book 2005
004.019 Bro/Hci : Human-computer interface design guidelines / C. Marlin "Lin" Brown     
      Human-computer interface design guidelines / C. Marlin "Lin" Brown W'PONDS  Book 1988
Add Marked to Bag Add All On Page Add Marked to My Lists
Result Page   Prev Next