Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)
by Nancy A. Lynch
ISBN 13: 9781558603486
Format: Hardcover (904 pages) Publisher: Morgan Kaufmann Published: 16 Apr 1996
Save for later
Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues)
by Chi-Sing Leung, Minho Lee, Jonathan H. Chan
ISBN 13: 9783642106828
Format: Paperback (888 pages) Publisher: Springer Published: 24 Nov 2009
Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael Michael Huth,
ISBN 13: 9780521543101
Format: paperback Publisher: Cambridge University Press
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
by Michael G. Hinchey
ISBN 13: 9781852336400
Format: Illustrated (420 pages) Publisher: Springer Published: 17 Sep 1999
The Digital Signal Processing Handbook (Electrical Engineering Handbook)
by VIJAY MADISETTI
ISBN 13: 9781420045635
Format: Hardcover (2394 pages) Publisher: CRC Press Published: 22 Dec 2009
Handbook of Natural Language Processing (Chapman & Hall/CRC Machine Learning & Pattern Recognition)
by Nitin Indurkhya,Fred J. Damerau
ISBN 13: 9781420085921
Format: Illustrated (702 pages) Publisher: Chapman and Hall/CRC Published: 22 Feb 2010
Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783540754138
Format: Paperback (291 pages) Publisher: Springer Published: 14 Dec 2007
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540786627
Format: Paperback (401 pages) Publisher: Springer Published: 18 Mar 2008
Artificial Life: Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642104268
Format: Paperback (283 pages) Publisher: Springer Published: 06 Nov 2009
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... Computer Science and General Issues)
ISBN 13: 9783540787990
Format: Paperback (518 pages) Publisher: Springer Published: 18 Mar 2008
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
ISBN 13: 9783540749837
Format: Paperback (289 pages) Publisher: Springer Published: 06 Sep 2007
Object-Oriented Technology. ECOOP 2007 Workshop Reader: ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540781943
Format: Paperback (204 pages) Publisher: Springer Published: 26 Feb 2008