Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540733997
Format: Paperback (693 pages) Publisher: Springer Published: 29 Jun 2007
Save for later
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540773559
Format: Paperback (213 pages) Publisher: Springer Published: 12 Dec 2007
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Computer Science and General Issues)
ISBN 13: 9783540787686
Format: Paperback (219 pages) Publisher: Springer Published: 18 Mar 2008
Classic Papers in Combinatorics (Modern Birkhäuser Classics)
ISBN 13: 9780817648411
Format: Paperback (499 pages) Publisher: Birkhauser Published: 23 Dec 2008
Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers (Lecture Notes in Computer Science)
ISBN 13: 9783642119309
Format: Paperback (204 pages) Publisher: Springer Published: 14 Apr 2010
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural ... and Lambda Calculus: v. 2 (Universitext)
by Guerino Mazzola,Gérard Milmeister,Jody Weissmann
ISBN 13: 9783540208617
Format: Paperback (355 pages) Publisher: Springer Published: 21 Oct 2004
Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540797203
Format: Paperback (765 pages) Publisher: Springer Published: 25 Apr 2008
Modalities and Multimodalities (Logic, Epistemology, and the Unity of Science)
by Walter Carnielli,Claudio Pizzi
ISBN 13: 9789048137626
Format: Paperback (320 pages) Publisher: Springer Published: 05 Nov 2009
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642162640
Format: Paperback (347 pages) Publisher: Springer Published: 06 Oct 2010
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540857792
Format: Paperback (544 pages) Publisher: Springer Published: 04 Sep 2008
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Computer Science and General Issues)
ISBN 13: 9783540749141
Format: Paperback (600 pages) Publisher: Springer Published: 30 Aug 2007
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011