کتاب های جدید

کتاب های برگزیده

دانلود کتاب Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

استدلال رایانه ای: رویکردی

زبان : English

نویسندگان : Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)

ناشر : Springer US

سال انتشار : 2000

ISBN (شابک) : 9781461370031, 9781461544494

ویرایش : [Softcover reprint of the original 1st ed. 2000]

سری : Advances in Formal Methods 3

تعداد صفحات : XV, 270 p.[272]

حجم : 9 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان




اطمینان از خرید




Buy This Book From EBOOKST.COM
کتاب های دیگر

دانلود کتاب Essential HTML fast

دانلود کتاب Д-оптимальные планы для частного случая линейной регрессии

دانلود کتاب Aspects of quantum field theory in curved space-time

دانلود کتاب Theory and applications of x-ray standing waves in real crystals

دانلود کتاب Case Studies in Superconducting Magnets: Design and Operational Issues

دانلود کتاب High-Accuracy CMOS Smart Temperature Sensors

دانلود کتاب Essential Java Fast : How to write object oriented software for the Internet

دانلود کتاب Expert's voice in Web development

دانلود کتاب Asymptotic Behavior of Cosmological Models

دانلود کتاب Sewing for dummies

دانلود کتاب Cosmic Gamma-Ray Sources

دانلود کتاب Cryptography and Coding: 9th IMA International Conference, Cirencester, UK, December 16-18, 2003. Proceedings

دانلود کتاب The New SocioTech: Graffiti on the Long Wall

دانلود کتاب SAP security configuration and deployment : the IT administrator's guide to best practices

دانلود کتاب Hndbk for Calculation of Nuclear Reaction Data (IAEA TECDOC-1034)

دانلود کتاب Elektronik: Ein Grundlagenlehrbuch für Analogtechnik, Digitaltechnik und Leistungselektronik

دانلود کتاب Hypnotic poetry; a study of trance-inducing technique in certain poems and its literary significance

دانلود کتاب Video-Signalverarbeitung

دانلود کتاب Marxism and freedom ... from 1776 until today

دانلود کتاب Stability in Aviation - An Intro to Dyn. Stability as Appl to Motions of Aeroplanes

کتاب های دیگر

دانلود کتاب O rural no cinema brasileiro

دانلود کتاب Flood Issues in Contemporary Water Management

دانلود کتاب Intelligent Computing Theories and Applications: 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

دانلود کتاب Applications and Innovations in Intelligent Systems IX: Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2001

دانلود کتاب Advances in Solid State Physics 39

دانلود کتاب Elementary dynamics ; a textbook for engineers

دانلود کتاب Constructing Ambient Intelligence: AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papers

دانلود کتاب Order of battle of the United States land forces in the World War

دانلود کتاب The Advanced High Temperature Reactor - LARGE doc

دانلود کتاب Thermodynamic excess functions for mixture adsorption on zeolites

دانلود کتاب The Acquisition and Retention of Knowledge: A Cognitive View

دانلود کتاب Language acquisition and syntactic theory

دانلود کتاب Agents for Games and Simulations II: Trends in Techniques, Concepts and Design

دانلود کتاب The Big New York Sandwich Book: 99 Delicious Creations from the City's Greatest Restaurants and Chefs

دانلود کتاب Non-Protein Coding RNAs

دانلود کتاب Laminated Composite Plates and Shells: 3D Modelling

دانلود کتاب Trust Management VI: 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings

دانلود کتاب British writers

دانلود کتاب Optical Imaging and Microscopy: Techniques and Advanced Systems

دانلود کتاب Encyclopedia of race and racism Vol 1

پشتیبانی (تماس و واتساپ) 09117179751
(جهت شروع چت کلیک کنید)
دروازه پرداخت معتبر