Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351313
Format: Hardcover (346 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Save for later
Semantic Digital Libraries
by Sebastian Ryszard Kruk,Bill McDaniel
ISBN 13: 9783540854333
Format: Illustrated (266 pages) Publisher: Springer Published: 06 Oct 2008
Discrete Mathematics
by Norman L. Biggs
ISBN 13: 9780198507178
Format: Illustrated (440 pages) Publisher: Oxford University Press, USA Published: 20 Feb 2003
Handbook of Network and System Administration,
by Mark Burgess, Jan Bergstra
ISBN 13: 9780444521989
Format: Hardcover (1028 pages) Publisher: Elsevier Science Published: 09 Nov 2007
Expert Trading Systems: Modeling Financial Markets with Kernel Regression: 89 (Wiley Trading)
by John R. Wolberg,Wolberg
ISBN 13: 9780471345084
Format: Illustrated (256 pages) Publisher: John Wiley & Sons Published: 29 Dec 1999
Natural Computing: 2nd International Workshop on Natural Computing Nagoya, Japan, December 2007, Proceedings: 1 (Proceedings in Information and Communications Technology)
by Yasuhiro Suzuki,Masami Hagiya,Hiroshi Umeo,Andrew Adamatzky
ISBN 13: 9784431889809
Format: Paperback (264 pages) Publisher: Springer Published: 23 Dec 2008
SELinux: NSA's Open Source Security Enhanced Linux
by Bill McCarty
ISBN 13: 9780596007164
Format: Illustrated (258 pages) Publisher: O'Reilly Media Published: 21 Oct 2004
Ship It! – A Practical Guide to Successful Software Projects (Pragmatic Programmers)
by Jared Richardson,William A Gwaltney
ISBN 13: 9780974514048
Format: Paperback (200 pages) Publisher: O′Reilly Published: 01 Jun 2005
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)
by Eerke A. Boiten,Bernhard Möller
ISBN 13: 9783540438571
Format: Paperback (273 pages) Publisher: Springer Published: 13 Jun 2008
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
by David Powell
ISBN 13: 9780792372950
Format: Hardcover (260 pages) Publisher: Springer Published: 31 Jan 2001
Knowledge Management: An Evolutionary View (Advances in Management Information Systems)
by Irma Becerra-Fernandez, Dorothy E. Leidner
ISBN 13: 9780765616371
Format: Hardcover (330 pages) Publisher: M.E. Sharpe Published: 15 Mar 2008
Introduction to Nonparametric Estimation (Springer Series in Statistics)
by Alexandre B. Tsybakov
ISBN 13: 9780387790510
Format: Illustrated (224 pages) Publisher: Springer Published: 12 Dec 2008