کتاب های جدید

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

دانلود کتاب Edinburgh LCF: A Mechanised Logic of Computation

Edinburgh LCF: A Mechanised Logic of Computation

Edinburgh LCF: منطق مکانیزه محاسبات

زبان : English

نویسندگان : Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth (auth.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1979

ISBN (شابک) : 9783540097242, 3540097244

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 78

تعداد صفحات : 161[167]

حجم : 887 کیلوبایت

فرمت کتاب : djvu

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Classical feedback control with MATLAB

دانلود کتاب Die offenen Wunden Lateinamerikas: Vergangenheitspolitik im postautoritaren Argentinien, Uruguay und Chile

دانلود کتاب Advances in Applied Microbiology, Vol. 57

دانلود کتاب Handbook of Algebra

دانلود کتاب Handbook of Neural Network Signal Processing

دانلود کتاب Techniques in Microbial Ecology

دانلود کتاب Random curves: Journeys of a mathematician

دانلود کتاب Seasonality in Primates: Studies of Living and Extinct Human and Non-Human Primates

دانلود کتاب The German Army 1939–45 (2): North Africa & Balkans

دانلود کتاب Ultimate Guitar Blues Play-Along (Guitar Trax) (Ultimate Play-Along Series)

دانلود کتاب Soil Engineering: Testing, Design, and Remediation

دانلود کتاب CLR via C#

دانلود کتاب Thermodynamics Based on Statistics II

دانلود کتاب New Interchange

دانلود کتاب Practical Guide To Railway Engineering

دانلود کتاب A Gentleman of Color: The Life of James Forten

دانلود کتاب The Calculation of the X-Ray Diffracting Power at Points in a Crystal

دانلود کتاب Debating the Past: Music, Memory, and Identity in the Andes

دانلود کتاب Reactive processing polymers

دانلود کتاب Artificial Life For Graphics, Animation, Multimedia And Virtual Reality (Reduced)

کتاب های دیگر

دانلود کتاب Feature Interactions in Telecommunications and Software Systems VII

دانلود کتاب Statistische Physik

دانلود کتاب Intelligent Information Agents: The AgentLink Perspective

دانلود کتاب Atlantis Destroyed

دانلود کتاب Reliable Reasoning: Induction and Statistical Learning Theory (Jean Nicod Lectures)

دانلود کتاب Seminaire Bourbaki

دانلود کتاب Chance and matter

دانلود کتاب B Cell Protocols (Methods in Molecular Biology)

دانلود کتاب Is the World Running Down?: Crisis in the Christian Worldview

دانلود کتاب Bob Marley: Musician (Black Americans of Achievement)

دانلود کتاب Schritte 2 Немецкий язык для иностранцев

دانلود کتاب Administering Data Centers: Servers, Storage, and Voice over IP

دانلود کتاب Knots: An Illustrated Practical Guide to the Essential Knot Types and Their Uses

دانلود کتاب Transgenic Plants: Methods and Protocols

دانلود کتاب VITAL CKD KEEPING KIDNEYS HEALTHY

دانلود کتاب The STEREO Mission

دانلود کتاب Optimal Domain and Integral Extension of Operators: Acting in Function Spaces (Operator Theory: Advances and Applications)

دانلود کتاب The handbook of attitudes

دانلود کتاب Mas Oyama's Essential Karate

دانلود کتاب The Cambridge Introduction to Herman Melville (Cambridge Introductions to Literature)

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