کتاب های جدید

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

دانلود کتاب Logic for computer science: foundations of automatic theorem proving

Logic for computer science: foundations of automatic theorem proving

منطق علوم کامپیوتر: مبانی اثبات قضیه خودکار

زبان : English

نویسندگان : Jean H. Gallier

ناشر : Longman Higher Education

سال انتشار : 1986

ISBN (شابک) : 9780060422257, 0060422254

ویرایش : [Vol.12, 1 ed.]

سری : Harper & Row computer science and technology series

تعداد صفحات : 534

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب American Civil War Artillery 1861–65 (1): Field Artillery

دانلود کتاب The American Expeditionary Forces in World War I

دانلود کتاب Artistic Capital

دانلود کتاب Genetic Dissection of Complex Traits

دانلود کتاب Hematologia Clinica

دانلود کتاب Python in Action Noel Rappin 2006 (CODE)

دانلود کتاب Twort's Water Supply, Sixth Edition

دانلود کتاب Cold War Reference Library - Cumulative Index

دانلود کتاب Geometric Aspects of Functional Analysis: Israel Seminar 2001-2002

دانلود کتاب History Of Indian Philosophy

دانلود کتاب The Neoclassical Growth Model - and Ricardian Equivalence

دانلود کتاب Israeli F-15 Eagle Units in Combat

دانلود کتاب Pruefungstrainer Lineare Algebra

دانلود کتاب Survey Methods in Multicultural, Multinational, and Multiregional Contexts (Wiley Series in Survey Methodology)

دانلود کتاب 17 money making candlestick formations

دانلود کتاب Thin film analysis by X-ray scattering

دانلود کتاب Stock Market Wizards

دانلود کتاب Dynamics of Charged Particles and their Radiation Field

دانلود کتاب Boundary Methods: Elements, Contours, and Nodes

دانلود کتاب Advances in Child Development and Behavior, Vol. 4

کتاب های دیگر

دانلود کتاب The 25-pounder Field Gun 1939–72

دانلود کتاب Structure and Architecture

دانلود کتاب Computer science experiments

دانلود کتاب Encyclopedia of World Religions

دانلود کتاب Castles and Tower Houses of the Scottish Clans 1450–1650

دانلود کتاب The Russian Roots of Nazism: White Émigrés and the Making of National Socialism, 1917-1945 (New Studies in European History)

دانلود کتاب Almog - Cogito

دانلود کتاب The Search for Deliberative Democracy in China

دانلود کتاب Quaternions, Clifford Algebras and Relativistic Physics

دانلود کتاب Numerical Methods in Geotechnical Engineering (McGraw-Hill series in modern structures)

دانلود کتاب National Security, Volume 2 (Handbooks in Information Systems) (Handbooks in Information Systems) (Handbooks in Information Systems)

دانلود کتاب COM+ Programming: A Practical Guide Using Visual C++ and ATL

دانلود کتاب The Bible and Archeology

دانلود کتاب Get The Edge - Personal Journal (includes Personal Power Classic Journal)

دانلود کتاب Synthesis of Highly Active Ruthenium Indenylidene Complexes for Atom-Transfer Radical Polymerization and Ring-Opening- Metathesis Polymerization

دانلود کتاب The Role of Industrial Development in the Achievement of the Millennium Development Goals

دانلود کتاب An Introduction to Queueing Theory: and Matrix-Analytic Methods

دانلود کتاب Optical Fiber Communications

دانلود کتاب Harmonic, wavelet and P-adic analysis

دانلود کتاب Fundamentals of Geophysical Fluid Dynamics

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