Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
Save for later
Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)
by
ISBN 13: 9783540201946
Format: Paperback (223 pages) Publisher: Springer Published: 29 Sep 2003
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540738572
Format: Paperback (463 pages) Publisher: Springer Published: 09 Aug 2007
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, ... Computer Science and General Issues)
ISBN 13: 9783540959472
Format: Paperback (462 pages) Publisher: Springer Published: 13 Feb 2009
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642026577
Format: Paperback (722 pages) Publisher: Springer Published: 19 Jun 2009
Universal Access in Human-Computer Interaction. Addressing Diversity: 5th International Conference, UAHCI 2009, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642027062
Format: Paperback (689 pages) Publisher: Springer Published: 02 Jul 2009
Universal Access in Human-Computer Interaction. Applications and Services: 5th International Conference, UAHCI 2009, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642027123
Format: Paperback (817 pages) Publisher: Springer Published: 02 Jul 2009
Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings: 5642 (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642029783
Format: Paperback (263 pages) Publisher: Springer Published: 24 Jun 2009
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)
ISBN 13: 9783642032394
Format: Paperback (233 pages) Publisher: Springer Published: 20 Jul 2009
Principles and Practices of Interconnection Networks (The Morgan Kaufmann Series in Computer Architecture and Design)
by William James Dally,Brian Patrick Towles
ISBN 13: 9780122007514
Format: Hardcover (550 pages) Publisher: Morgan Kaufmann Published: 06 Mar 2004
Grid Computing: International Symposium on Grid Computing (ISGC 2007)
by Stella Shen,Simon C. Lin,Eric Yen
ISBN 13: 9780387784168
Format: Hardcover (224 pages) Publisher: Springer Published: 10 Oct 2008
Fundamentals of Circuits and Filters (Circuits and Filters Handbook, 3rd Edition)
by Wai-Kai Chen
ISBN 13: 9781420058871
Format: Hardcover (925 pages) Publisher: CRC Press Published: 23 Jun 2009