Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)
by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge
ISBN 13: 9789089640260
Format: Paperback (240 pages) Publisher: Amsterdam University Press Published: 01 Jul 2008
Save for later
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)
by Philippe Audebaud
ISBN 13: 9783540705932
Format: Paperback (436 pages) Publisher: Springer Published: 15 Aug 2008
VLSI Risc Architecture and Organization: 56 (Electrical and Computer Engineering)
by S.B. Furber
ISBN 13: 9780824781514
Format: Illustrated (392 pages) Publisher: CRC Press Published: 31 Mar 1989
Modern Logic: A Text in Elementary Symbolic Logic
by Graeme Forbes
ISBN 13: 9780195080292
Format: Paperback (416 pages) Publisher: OUP USA Published: 07 Apr 1994
A Modular Calculus for the Average Cost of Data Structuring: Efficiency-oriented Programming in Moqa
by Michel Schellekens
ISBN 13: 9780387733838
Format: Hardcover (272 pages) Publisher: Springer Published: 30 Jul 2008
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 2009
CAD and GIS Integration
by Hassan A. Karimi, Burcu Akinci
ISBN 13: 9781420068054
Format: Hardcover (247 pages) Publisher: Auerbach Publications Published: 17 Dec 2009
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Network Processors: Architecture, Programming, and Implementation (Systems on Silicon)
by Ran Giladi
ISBN 13: 9780123708915
Format: Illustrated (688 pages) Publisher: Morgan Kaufmann Published: 29 Aug 2008
Logic Synthesis for FSM-Based Control Units: 53 (Lecture Notes in Electrical Engineering)
by Barkalov
ISBN 13: 9783642043086
Format: Hardcover (256 pages) Publisher: Springer Published: 30 Sep 2009
Introduction to Embedded System Design Using Field Programmable Gate Arrays
by Rahul Dubey
ISBN 13: 9781848820159
Format: Hardcover (176 pages) Publisher: Springer Published: 04 Dec 2008