Discrete Mathematics for Computing
by Peter Grossman
ISBN 13: 9780230216112
Format: Paperback (332 pages) Publisher: Palgrave Published: 16 Dec 2008
Save for later
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008
Intellectual Property and Open Source: A Practical Guide to Protecting Code
by Van Lindberg
ISBN 13: 9780596517960
Format: Paperback (390 pages) Publisher: O′Reilly Published: 25 Jul 2008
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
by Wolfgang Reisig
ISBN 13: 9783540627524
Format: Illustrated (324 pages) Publisher: Springer Published: 20 Aug 1998
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)
by
ISBN 13: 9783540489283
Format: Paperback (203 pages) Publisher: Springer Published: 03 Nov 2006
Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783540465591
Format: Paperback (462 pages) Publisher: Springer Published: 27 Sep 2006
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering)
ISBN 13: 9783540729006
Format: Paperback (219 pages) Publisher: Springer Published: 31 May 2007
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540789284
Format: Paperback (680 pages) Publisher: Springer Published: 03 Apr 2008
Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540786092
Format: Paperback (344 pages) Publisher: Springer Published: 18 Mar 2008
Pattern Calculus: Computing with Functions and Structures
by Barry Jay
ISBN 13: 9783540891840
Format: Hardcover (230 pages) Publisher: Springer Published: 12 Aug 2009
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering)
ISBN 13: 9783540340973
Format: Paperback (265 pages) Publisher: Springer Published: 15 May 2006
Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540728818
Format: Paperback (337 pages) Publisher: Springer Published: 25 May 2007