Verified Software

Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

by (author) Natarajan Shankar
edited by Jim Woodcock

Game Sound

An Introduction to the History, Theory, and Practice of Video Game Music and Sound Design

by (author) Karen Collins

Interactive Systems. Design, Specification, and Verification

15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

by (author) T.C. Nicholas Graham
edited by Philippe Palanque

Algorithmic Number Theory

8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

by (author) Alf J. van der Poorten
edited by Andreas Stein

Parameterized and Exact Computation

Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

by (author) Martin Grohe
edited by Rolf Niedermeier

Pro Wpf in C# 2008

Windows Presentation Foundation with .NET 3.5

by (author) Matthew MacDonald

Early Aspects

Current Challenges and Future Directions: 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers

by (author) A. Moreira

Runtime Verification

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

by (author) Oleg Sokolsky
edited by Serdar Tasiran

Ruby on Rails for PHP and Java Developers

by (author) Deepak Vohra

Algorithms and Data Structures

10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings

by (author) Frank Dehne
edited by Jörg-Rüdig Sack & Norbert Zeh

Unconventional Computation

6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings

by (author) Selim G. Akl
edited by Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg & H. Todd Wareham

Comparative Genomics

RECOMB 2006 International Workshop, RECOMB-CG 2006, Montreal, Canada, September 24-26, 2006, Proceedings

by (author) Guillaume Bourque
edited by Nadja El' Mabrouk

Fm 2006

Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedin: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

by (author) Jayadev Misra
edited by Tobias Nipkow & Emil Sekerinski

Smart Graphics

6th International Symposium, SG 2006, Vancover, Canada, July 23-25, 2006, Proceedings

by (author) Andreas Butz
edited by Brian Fisher, Antonio Krüger & Patrick Olivier

Excel Pivot Tables Recipe Book

A Problem-Solution Approach

by (author) Debra Dalgleish

Beginning Flash Game Programming For Dummies

by (author) Andy Harris

Testing of Communicating Systems

17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings

by (author) Ferhat Khendek
edited by Rachida Dssouli

Beginning J2ME

From Novice to Professional

by (author) Sing Li & Jonathan Knudsen

Generative Programming and Component Engineering

Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings

by (author) Gabor Karsai
edited by Eelco Visser

Principles and Practice of Constraint Programming - CP 2004

10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings

by (author) Mark Wallace

Practical WebObjects

by (author) Sacha Mallais & Andrew Hill

Advances in Learning Software Organizations

6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings

by (author) Grigori Melnik
edited by Harald Holz

Storage Networks

by (author) Daniel J. Worden

Extreme Programming and Agile Methods - XP/Agile Universe 2003

Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings

by (author) Frank Maurer
edited by Don Wells