Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Save for later
Informatics in Control, Automation and Robotics: Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2007: 24 (Lecture Notes in Electrical Engineering)
by Joaquim Filipe, Juan Andrade Cetto, Jean-Louis Ferrier
ISBN 13: 9783540856399
Format: Paperback (316 pages) Publisher: Springer Published: 10 Oct 2008
Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)
by Andrea Toselli, Olof Widlund
ISBN 13: 9783540206965
Format: Hardcover (350 pages) Publisher: Springer Published: 18 Oct 2004
Mobile Robot Navigation with Intelligent Infrared Image Interpretation
by William L. Fehlman,Mark K. Hinders
ISBN 13: 9781848825086
Format: Hardcover (306 pages) Publisher: Springer Published: 05 Mar 2010
Network Control and Optimization: First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings: 4465 (Lecture Notes in Computer Science)
by Tijani Chahed
ISBN 13: 9783540727088
Format: Illustrated (324 pages) Publisher: Springer Published: 11 Jul 2007
Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)
by Kofi Kissi Dompere
ISBN 13: 9783540880844
Format: Hardcover (266 pages) Publisher: Springer Published: 20 Mar 2009
Information Security and Cryptology: Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers: 4990 (Lecture Notes in Computer Science)
by Dingyi Pei
ISBN 13: 9783540794981
Format: Paperback (548 pages) Publisher: Springer Published: 18 Jul 2008
Transactions on Rough Sets IX (Lecture Notes in Computer Science)
by James F. Peters, Andrzej Skowron, Henryk Rybinski
ISBN 13: 9783540898757
Format: Paperback (751 pages) Publisher: Springer Published: 18 Dec 2008
Degrees of Belief: 342 (Synthese Library)
by Franz Huber, Christoph Schmidt-Petri
ISBN 13: 9781402091971
Format: Hardcover (368 pages) Publisher: Springer Published: 09 Jan 2009
QuickBase: The Missing Manual
by Nancy Conner
ISBN 13: 9780596529604
Format: Paperback (554 pages) Publisher: Pogue Press Published: 21 Mar 2007
Advances in Computation and Intelligence: Third International Symposium on Intelligence Computation and Applications, ISICA 2008 Wuhan, China, ... 5370 (Lecture Notes in Computer Science)
by Xuesong Yan
ISBN 13: 9783540921363
Format: Paperback (886 pages) Publisher: Springer Published: 08 Dec 2008
Programming in Prolog: Using the ISO Standard
by C.S. Mellish,W.F. Clocksin
ISBN 13: 9783540006787
Format: Paperback (316 pages) Publisher: Springer Published: 04 Oct 2013