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

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

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

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

Mathematical modelling, optimization and their applications / [editors], P.C. Jha, M.N. Hoda
BONUS, MELB, W'PONDS

2011

Mathematical modelling, optimization and their applications / [editors], P.C. Jha, M.N. Hoda
BONUS, MELB, W'PONDS

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

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

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

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

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

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

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

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

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

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

Mathematical foundation for computer science / M. Vasanthi
BONUS, MELB, W'PONDS

2013

Mathematical foundation for computer science / M. Vasanthi
BONUS, MELB, W'PONDS

2013

Mathematical foundation for computer science / M. Vasanthi
BONUS, MELB, W'PONDS

2013

Mathematical foundation for computer science / M. Vasanthi
BONUS, MELB, W'PONDS

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

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

1996

004.015113 New/Atp : Automated theorem proving : theory and practice / Monty Newborn

Automated theorem proving : theory and practice / Monty Newborn
BONUS, W'PONDS

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

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

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

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

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

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

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

Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor
BONUS, MELB, W'PONDS

2004

Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor
BONUS, MELB, W'PONDS

2004

Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor
BONUS, MELB, W'PONDS

2004

Berkshire encyclopedia of human-computer interaction / William Sims Bainbridge, editor
BONUS, MELB, W'PONDS

2004

004.019 Bal : COMPOSING ACTIVITIES OF COMPUTER LITERATE WRITERS

COMPOSING ACTIVITIES OF COMPUTER LITERATE WRITERS
W'PONDS

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

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

1996

004.019 Bhu/Tfi : Trust for intelligent recommendation / Touhid Bhuiyan

Trust for intelligent recommendation / Touhid Bhuiyan
BONUS, W'PONDS

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

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

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

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

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

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

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

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

1988

004.019 Bru : Computer programmer morale / Raymond Joseph Brusca

Computer programmer morale / Raymond Joseph Brusca
W'PONDS

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

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

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

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

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

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

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

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

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

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