Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
by
ISBN 13: 9783540876021
Format: Paperback (382 pages) Publisher: Springer Published: 08 Sep 2008
Save for later
DNA Computing: 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers: 4848 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540779612
Format: Paperback (303 pages) Publisher: Springer Published: 08 Feb 2008
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540732273
Format: Paperback (397 pages) Publisher: Springer Published: 15 Jun 2007
Stoer/Bulirsch: Numerische Mathematik 1 (Springer-Lehrbuch)
by Ronald H. W. Hoppe,Roland W. Freund
ISBN 13: 9783540453895
Format: Paperback (410 pages) Publisher: Springer Published: 01 Apr 2007
Grundlagen der Mathematik für Studium und Lehramt: Mengen, Funktionen, Teilbarkeit, Kombinatorik, Wahrscheinlichkeit
by Lutz Warlich
ISBN 13: 9783833453373
Format: Perfect Paperback (276 pages) Publisher: Books on Demand Gmbh Published: Jul 2006
Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540291725
Format: Paperback (1052 pages) Publisher: Springer Published: 30 Sep 2005
Wissenschaftliches Rechnen mit MATLAB (Springer-Lehrbuch)
by Alfio Quarteroni,Fausto Saleri
ISBN 13: 9783540250050
Format: Paperback (269 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 21 Sep 2005
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540797180
Format: Paperback (305 pages) Publisher: Springer Published: 25 Apr 2008
Fixing Frege (Princeton Monographs in Philosophy)
by John P. Burgess
ISBN 13: 9780691122311
Format: Hardcover (272 pages) Publisher: Princeton University Press Published: 05 Jul 2005
Mathematische Logik, kurzgefaßt.: Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre
by Hans P. Tuschik,Helmut Wolter
ISBN 13: 9783827413871
Format: Paperback (224 pages) Publisher: Spektrum Akademischer Verlag Published: 31 Oct 2002
Non-standard Analysis (Princeton Landmarks in Mathematics & Physics)
by Abraham Robinson
ISBN 13: 9780691044903
Format: Paperback (308 pages) Publisher: Princeton University Press Published: 08 Jan 1996
From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
by Henry Van Heigenoort
ISBN 13: 9780674324497
Format: Paperback (680 pages) Publisher: Harvard University Press Published: 01 Jul 1990