Books by Faculty

These are some books that have been authored, co-authored or edited by UBC Computer Science Department and ICICS members, past and present.

Author profiles, including lists of other publications can be found on Google Scholar.

• A first course in numerical methods / Uri M. Ascher, Chen Greif
  QA 297 A748 2011
• A guide to visual multi-level interface design from synthesis of empirical study evidence / Heidi Lam, Tamara Munzner
  TK 7882 I6 L254 2011
• An introduction to lifted probabilistic inference / edited by Guy Van den Broeck, Kristian Kersting, Sriraam Natarajan, and David Poole.
  QA 273 I563 2021
• Artificial intelligence : foundations of computational agents / David L. Poole, Alan K. Mackworth
  Q 342 P66 2010
• Artificial intelligence : foundations of computational agents. 2nd ed. / David L. Poole, Alan K. Mackworth
  Q 342 P66 2017
• Artificial intelligence : foundations of computational agents. 3rd ed. / David L. Poole, Alan K. Mackworth
  Q 342 P66 2023
• Aspect-oriented analysis and design : the theme approach / Siobhan Clarke; Elisa Baniassad
  QA 76.76 D47 C58 2005
• Computational intelligence : a logical approach / David Poole, Alan Mackworth, Randy Goebel
  Q 335 P657 1998
• Computer methods for ordinary differential equations and differential-algebraic equations / Uri M. Ascher, Linda R. Petzold
  QA 372 A78 1998
• Cooperative cellular wireless networks / edited by Ekram Hossain, Dong In Kim, Vijay K. Bhargava
  TK 5103.2 C6625 2011
• Deduction : automated logic / W. Bibel, Steffen Hölldobler
  BC 71 B53 1993
• Digital design using VHDL : a systems approach / William J. Dally, R. Curtis Harting, Tor M. Aamodt
  TK 7868 D5 D3285 2015
• Digital processing of synthetic aperture radar data : algorithms and implementation / Ian G. Cumming, Frank H. Wong
  TK 6592 S95 C85 2004
• Essentials of game theory : a concise, multidisciplinary introduction / Kevin Leyton-Brown, Yoav Shoham
  QA 269 L49 2008
• Fluid simulation for computer graphics / Robert Bridson
  T 385 B744 2008
• Fluid simulation for computer graphics. 2nd ed. / Robert Bridson
  T 385 B744 2016
• Fundamentals of computer graphics. 4th ed. / Steve Marschner, Peter Shirley ; with Michael Ashikhmin, Michael Gleicher, Naty Hoffman, Garrett Johnson, Tamara Munzner, Erik Reinhard, William B. Thompson, Peter Willemsen, Brian Wyvill
  T 385 S434 2016
• Information and influence propagation in social networks / Wei Chen, Laks V.S. Lakshmanan, Carlos Castillo
  HM 742 C445 2014
• Intelligent machines : myths and realities / edited by Clarence W. de Silva
  TJ 217.5 I5445 2000
• Logicism renewed : logical foundations for mathematics and computer science / Paul C Gilmore
  QA 9.2 G55 2005
• Mechanics of materials / Clarence W. de Silva
  TA 404.8 D43 2014
• Mechatronic systems : devices, design, control, operation and monitoring / edited by Clarence W. de Silva
  TJ 163.12 M422 2008
• Mechatronics : a foundation course / Clarence W. de Silva
  TJ 163.12 D449 2010
• Methods for mining and summarizing text conversations / Giuseppe Carenini, Gabriel Murray, and Raymond Ng
  QA 76.9 N38 M48 2011
• Milestones in matrix computation : selected works of Gene H. Golub with commentaries / Raymond H. Chan, Chen Greif, Dianne P. O'Leary
  QA 188 G67 2007
• Modeling and control of engineering systems / Clarence W. de Silva
  TJ 213 D465 2009
• Numerical methods for evolutionary differential equations / Uri M. Ascher
  QA 377 A827 2008
• Numerical solution of boundary value problems for ordinary differential equations. 2nd ed. / Uri M. Ascher, Robert M.M. Mattheij, Robert D. Russell
  QA 379 A83 1995
• Perceptual organization and visual recognition / David G. Lowe
  TA 1632 L68 1985
• Practical compiler construction : with Java and the JVM / Jan Bækgaard Pedersen
  QA 76.76 C65 P434 2018
• Project to product : how to survive and thrive in the age of digital disruption with the flow framework / by Mik Kersten, PhD
  QA 76.9 C66 K468 2018
• Real-time shading / Marc Olano, John Hart, Wolfgang Heidrich, Michael McCool
  T 385 R43413 2002
• Reflexionen vor Reflexen : Memoiren eines Forscher / L. Wolfgang Bibel
  QA 76.2 B333 2008
• Sensor systems : fundamentals and applications / Clarence W. de Silva
  TK 7871.67 D425 2017
• Sequential Monte Carlo methods in practice / Arnaud Doucet, Nando de Freitas, Neil Gordon
  QA 298 D68 2001
• Soft computing and intelligent systems design : theory, tools, and applications/ Fakhreddine O. Karray and Clarence de Silva
  QA 76.9 S63 K37 2004
• Statistical Relational Artificial Intelligence : Logic, Probability, and Computation / Luc de Raedt; Kristian Kersting; Sriraam Natarajan; David L Poole
  Q 336 R247 2016
• Stochastic local search : foundations and applications / Holger H Hoos; Thomas Stutzle
  T 57.79 H66 2005
• The art of the metaobject protocol / Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow
  QA 76.73 C28 K53 1991
• The rational unified process : an introduction / Philippe Kruchten
  QA 76.76 D47 K79 2003
• The rational unified process made easy : a practitioner's guide to the RUP / Per Kroll; Philippe Kruchten
  QA 76.76 D47 K75 2003
• The schematics of computation / Vincent S. Manis, James J. Little
  QA 76.73 S34 M36 1995
• The social impact of computers. 3rd ed. / Richard S. Rosenberg
  QA 76.9 C66 R64 2004
• Theories of computability / Nicholas Pippenger
  QA 267 P553 1997
• Travels on a listening dark : poems / Peter Cahoon
  PS 8555 A36 T7 1993
• Visualization analysis and design / Tamara Munzner
  QA 76.9 I52 M86 2015