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 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.) BONUS, 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.) BONUS, 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.) BONUS, 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.) BONUS, W'PONDS   Book 2005
004.0151 Jha/Mmo    
      Mathematical modelling, optimization and their applications / [editors], P.C. Jha, M.N. Hoda BONUS, MELB, W'PONDS   Book 2011
      Mathematical modelling, optimization and their applications / [editors], P.C. Jha, M.N. Hoda BONUS, 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 BONUS, 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 BONUS, 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] BONUS, 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 BONUS, 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 BONUS, 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] BONUS, MELB   Book 2004
004.0151 Vas/Mff    
      Mathematical foundation for computer science / M. Vasanthi BONUS, MELB, W'PONDS   Book 2013
      Mathematical foundation for computer science / M. Vasanthi BONUS, MELB, W'PONDS   Book 2013
      Mathematical foundation for computer science / M. Vasanthi BONUS, MELB, W'PONDS   Book 2013
      Mathematical foundation for computer science / M. Vasanthi BONUS, 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 BONUS, 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 BONUS, W'PONDS   Book 1996
004.015113 New/Atp : Automated theorem proving : theory and practice / Monty Newborn     
      Automated theorem proving : theory and practice / Monty Newborn BONUS, 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 BONUS, 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 BONUS, 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 BONUS, 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 BONUS, MELB   Book 2004
004.019 Bai/Beo    
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor BONUS, MELB, W'PONDS   Book 2004
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor BONUS, MELB, W'PONDS   Book 2004
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor BONUS, MELB, W'PONDS   Book 2004
      Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor BONUS, 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 BONUS, W'PONDS   Book 1996
004.019 Bhu/Tfi : Trust for intelligent recommendation / Touhid Bhuiyan     
      Trust for intelligent recommendation / Touhid Bhuiyan BONUS, 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 BONUS, 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.) BONUS, 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 BONUS, 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 BONUS, 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 BONUS, W'PONDS   Book 1988
004.019 Bru : Computer programmer morale / Raymond Joseph Brusca     
      Computer programmer morale / Raymond Joseph Brusca W'PONDS  Microform 1999
004.019 Bus : Cognitive style and lateral brain dominance in relation to career choice and job satisfaction of computer professionals / Chandler Mathewson Bush     
      Cognitive style and lateral brain dominance in relation to career choice and job satisfaction of computer professionals / Chandler Mathewson Bush W'PONDS  Microform 1999
004.019 Cai/Rmf : Research methods for human-computer interaction / edited by Paul Cairns and Anna L. Cox     
      Research methods for human-computer interaction / edited by Paul Cairns and Anna L. Cox BONUS, MELB   Book 2008
004.019 Car : The psychology of human-computer interaction / Stuart K. Card, Thomas P. Moran, Allen Newell     
      The psychology of human-computer interaction / Stuart K. Card, Thomas P. Moran, Allen Newell BONUS, MELB, W'PONDS   Book 1983
004.019 Car/Hci : Human-computer interaction in the new millenium / John M. Carroll, editor     
      Human-computer interaction in the new millenium / John M. Carroll, editor BONUS, W'PONDS   Book 2002
004.019 Car/Mus : Making use : scenario-based design of human-computer interactions / John M. Carroll     
      Making use : scenario-based design of human-computer interactions / John M. Carroll BONUS, W'PONDS   Book 2000
004.019 Che/Hci : Human computer interaction : issues and challenges / Qiyang Chen [ed.]     
      Human computer interaction : issues and challenges / Qiyang Chen [ed.] BONUS, W'PONDS   Book 2001
004.019 Chi/Chi 1999 : CHI 99, human factors in computing systems : CHI 99 Conference proceedings / editors Marian G. Williams, ... [and others] ; associate editor Steven Pemberton     
      CHI 99, human factors in computing systems : CHI 99 Conference proceedings / editors Marian G. Williams, ... [and others] ; associate editor Steven Pemberton BONUS, W'PONDS   Book 1999
004.019 Cla : Computing in a social context : gender difference in participation / by Valerie Ada Clarke     
      Computing in a social context : gender difference in participation / by Valerie Ada Clarke W'PONDS THESES  Book 1986
004.019 Cla/Eci : Evolutionary concepts in end user productivity and performance : applications for organizational progress / [edited by] Steve Clarke     
      Evolutionary concepts in end user productivity and performance : applications for organizational progress / [edited by] Steve Clarke BONUS, MELB   Book 2009
004.019 Cla/Euc : End user computing challenges and technologies: emerging tools and applications / Steve Clarke, editor     
      End user computing challenges and technologies: emerging tools and applications / Steve Clarke, editor BONUS, W'PONDS   Book 2008
Add Marked to Bag Add All On Page Add Marked to My Lists
Result Page   Prev Next