Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Save for later
Achievement and Assurance of Safety: Proceedings Of The Third Safety-Critical Systems Symposium
by Felix Redmill, Tom Anderson
ISBN 13: 9783540199229
Format: Paperback (329 pages) Publisher: Springer Published: 10 Feb 1995
Advances in Artificial Intelligence - IBERAMIA 2008: 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings: 5290 (Lecture Notes in Computer Science)
by Hector Geffner,Rui Prada,Isabel Machado Alexandre,Nuno David
ISBN 13: 9783540883081
Format: Paperback (480 pages) Publisher: Springer Published: 29 Sep 2008
XSLT Cookbook: Solutions and Examples for XML and XSLT Developers (Cookbooks (O'Reilly))
by Salvatorer Mangano
ISBN 13: 9780596009748
Format: Illustrated (800 pages) Publisher: O′Reilly Published: 24 Dec 2005 Other Format: Paperback