کتاب های جدید

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

دانلود کتاب Principles of Model Checking

Principles of Model Checking

اصول بررسی مدل

زبان : English

نویسندگان : Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

ناشر : MiT Press

سال انتشار : 2008

ISBN (شابک) : 9780262026499, 026202649X

ویرایش : [illustrated edition]

سری : Scientific and Engineering Computation

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

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Reciprocity in elastodynamics

دانلود کتاب The Talmudic Argument: A Study in Talmudic Reasoning and Methodology

دانلود کتاب Behold a Pale Horse

دانلود کتاب Metalwork and Machining Hints and Tips

دانلود کتاب guide to electrical power distribution systems

دانلود کتاب Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

دانلود کتاب Christian Wisdom: Desiring God and Learning in Love

دانلود کتاب Croatian Army Vehicles 1991-1995. Colors and markings

دانلود کتاب Dieppe 1942: Prelude to D-Day

دانلود کتاب Encyclopedia of the new American nation: the emergence of the United States, 1754-1829

دانلود کتاب Transport Processes in Pharmaceutical Systems

دانلود کتاب A Chinese bestiary: strange creatures from the guideways through mountains and seas =

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

دانلود کتاب Apple MAC mini Service manual

دانلود کتاب Software Engineering - A Practitioner's Approach

دانلود کتاب Catalogue of Indian Coins in the British Museum. The Sultans of Dehli

دانلود کتاب Genetics of Steroid Biosynthesis And Function

دانلود کتاب Undercover in High Heels (Maddie Springer 03)

دانلود کتاب Ceramic fabrication technology

دانلود کتاب The Free Path of Protons in Helium

کتاب های دیگر

دانلود کتاب New constructions of functions holomorphic in the unit ball of Cn

دانلود کتاب My iPhone

دانلود کتاب Concise Encyclopedia of Islam

دانلود کتاب Generation of cDNA Libraries: Methods and Protocols

دانلود کتاب Handbook of Population (Handbooks of Sociology and Social Research)

دانلود کتاب Reef Fish Identification - Tropical Pacific

دانلود کتاب Peptide Science, Present and Future

دانلود کتاب Numerical Mathematics

دانلود کتاب Mergers and Acquisitions: A Practical Guide for Private Companies and Their Advisers

دانلود کتاب Information Security and Privacy: 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11–13, 2001 Proceedings

دانلود کتاب Aspects of Physical Biology: Biological Water, Protein Solutions, Transport and Replication

دانلود کتاب Careers in Entertainment and Sports, 2008 Edition

دانلود کتاب Advances in Petri Nets 1992

دانلود کتاب Senate Hearing on MKULTRA

دانلود کتاب The Principles of Newtonian and Quantum Mechanics: The Need for Planck's Constant, h

دانلود کتاب The World of Risk Management

دانلود کتاب Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

دانلود کتاب Computer Encyclopedia of Physical Science and Technology, Computer Software

دانلود کتاب Boobytraps: Fm 5-31

دانلود کتاب Pivoting and extensions: in honor of A. W. Tucker

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