Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783540744634
Format: Paperback (269 pages) Publisher: Springer Published: 01 Oct 2007
Save for later
Fuzzy Rationality: A Critique and Methodological Unity of Classical, Bounded and Other Rationalities (Studies in Fuzziness and Soft Computing)
by Kofi Kissi Dompere
ISBN 13: 9783540880820
Format: Hardcover (290 pages) Publisher: Springer Published: 20 Mar 2009
Measurement Uncertainty: An Approach via the Mathematical Theory of Evidence (Springer Series in Reliability Engineering)
by Simona Salicone
ISBN 13: 9780387306551
Format: Hardcover (228 pages) Publisher: Springer Published: 29 Dec 2006
Algorithmic Information Theory: Mathematics of Digital Information Processing (Signals and Communication Technology)
by Peter Seibt
ISBN 13: 9783540332183
Format: Hardcover (444 pages) Publisher: Springer Published: 18 Aug 2006
Completeness Theory for Propositional Logics (Studies in Universal Logic)
by Witold A. Pogorzelski,Piotr Wojtylak
ISBN 13: 9783764385170
Format: Paperback (178 pages) Publisher: Birkhauser Published: 17 Apr 2008
Logic for Computer Scientists (Modern Birkhäuser Classics)
by Uwe Schöning
ISBN 13: 9780817647629
Format: Paperback (166 pages) Publisher: Birkhauser Published: 25 Jan 2008
Institution-independent Model Theory (Studies in Universal Logic)
by Razvan Diaconescu
ISBN 13: 9783764387075
Format: Paperback (387 pages) Publisher: Birkhauser Published: 16 May 2008
Mathematical Problems from Applied Logic I: Logics for the XXIst Century: Logics for the 21st Century: v. 1 (International Mathematical Series)
ISBN 13: 9780387286884
Format: Hardcover (348 pages) Publisher: Springer Published: 14 Dec 2005
Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)
by Thom Frühwirth,Slim Abdennadher
ISBN 13: 9783540606703
Format: Paperback (176 pages) Publisher: Springer Published: 22 Feb 2009
Triangulations and Applications (Mathematics and Visualization)
by Øyvind Hjelle,Morten Dæhlen
ISBN 13: 9783540332602
Format: Hardcover (245 pages) Publisher: Springer Published: 13 Sep 2006
Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)
ISBN 13: 9780387692449
Format: Hardcover (384 pages) Publisher: Springer Published: 29 Mar 2007
Operator Algebras Generated by Commuting Projections: A Vector Measure Approach (Lecture Notes in Mathematics)
by Werner Ricker
ISBN 13: 9783540664611
Format: Paperback (159 pages) Publisher: Springer Published: 17 Sep 1999