Naujos knygos

Symbolic Mathematics for Chemists: A Guide for Maxima Users

Thu, 27 Sep 2018 00:00:00 GMT

Fred Senese
ISBN: 9781119273264
Leid�jas: John Wiley & Sons Inc
Formatas: EPUB+DRM, I�leidimo metai: 27-Sep-2018
Kaina: 93,80 �

Symbolic Mathematics for Chemists: A Guide for Maxima Users

Fri, 24 Aug 2018 00:00:00 GMT

Fred Senese
ISBN: 9781119273233
Leid�jas: John Wiley & Sons Inc
Formatas: PDF+DRM, I�leidimo metai: 24-Aug-2018
Kaina: 93,80 �

Commonsense Reasoning: An Event Calculus Based Approach

Tue, 11 Nov 2014 00:00:00 GMT

Erik T. Mueller
ISBN: 9780128016473
Leid�jas: Morgan Kaufmann Publishers In
Formatas: EPUB+DRM, I�leidimo metai: 11-Nov-2014
Kaina: 83,25 �

Commonsense Reasoning: An Event Calculus Based Approach

Tue, 11 Nov 2014 00:00:00 GMT

Erik T. Mueller
ISBN: 9780128016473
Leid�jas: Morgan Kaufmann Publishers In
Formatas: PDF+DRM, I�leidimo metai: 11-Nov-2014
Kaina: 83,25 �

Mathematical Structure for Emergent Computation

Wed, 27 Nov 2013 00:00:00 GMT

Victor Korotkikh
ISBN: 9781461553137
Leid�jas: Springer-Verlag New York Inc.
Formatas: PDF+DRM, I�leidimo metai: 27-Nov-2013
Kaina: 110,53 �

Advances in Temporal Logic

Mon, 11 Nov 2013 00:00:00 GMT

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough
ISBN: 9789401595865
Leid�jas: Springer
Formatas: PDF+DRM, I�leidimo metai: 11-Nov-2013
Kaina: 159,93 �

Abduction and Induction: Essays on their Relation and Integration

Thu, 18 Apr 2013 00:00:00 GMT

P.A. Flach, Antonis Hadjiantonis
ISBN: 9789401706063
Leid�jas: Springer
Formatas: PDF+DRM, I�leidimo metai: 18-Apr-2013
Kaina: 159,93 �

Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Wed, 17 Apr 2013 00:00:00 GMT

Peter B. Andrews
ISBN: 9789401599344
Leid�jas: Springer
Formatas: PDF+DRM, I�leidimo metai: 17-Apr-2013
Kaina: 98,18 �

Mathematical Principles of Fuzzy Logic

Thu, 06 Dec 2012 00:00:00 GMT

Vil�m Nov�k, Irina Perfilieva, J. Mockor
ISBN: 9781461552178
Leid�jas: Springer-Verlag New York Inc.
Formatas: PDF+DRM, I�leidimo metai: 06-Dec-2012
Kaina: 216,74 �

Foundations of Image Understanding

Thu, 06 Dec 2012 00:00:00 GMT

Larry S. Davis
ISBN: 9781461515296
Leid�jas: Springer-Verlag New York Inc.
Formatas: PDF+DRM, I�leidimo metai: 06-Dec-2012
Kaina: 159,93 �

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

Thu, 10 Nov 2011 00:00:00 GMT

Pascal Schreck, Julien Narboux, J�rgen Richter-Gebert
ISBN: 9783642250705
Leid�jas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formatas: PDF+DRM, I�leidimo metai: 10-Nov-2011
Kaina: 55,56 �

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

Mon, 18 Jul 2011 00:00:00 GMT

James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
ISBN: 9783642226731
Leid�jas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formatas: PDF+DRM, I�leidimo metai: 18-Jul-2011
Kaina: 55,56 �

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Tue, 03 May 2011 00:00:00 GMT

Thomas Sturm, Christoph Zengler
ISBN: 9783642210464
Leid�jas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formatas: PDF+DRM, I�leidimo metai: 03-May-2011
Kaina: 55,56 �

Commonsense Reasoning

Mon, 26 Jul 2010 00:00:00 GMT

Erik T. Mueller
ISBN: 9780080476612
Leid�jas: Morgan Kaufmann Publishers In
Formatas: PDF+DRM, I�leidimo metai: 26-Jul-2010
Kaina: 55,56 �

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers

Thu, 06 Dec 2007 00:00:00 GMT

Francisco Botana, Tomas Recio
ISBN: 9783540773566
Leid�jas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formatas: PDF+DRM, I�leidimo metai: 06-Dec-2007
Kaina: 55,56 �