کتاب های جدید

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

دانلود کتاب Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

سیستم های زمان واقعی: مشخصات رسمی و تأیید خودکار

زبان : English

نویسندگان : Ernst-Rudiger Olderog, Henning Dierks

ناشر : Cambridge University Press

سال انتشار : 2008

ISBN (شابک) : 0521883334, 9780521883337

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

سری : New Horizons in Institutional and Evolutionary Economics series

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

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Struggles in the Promised Land: Towards a History of Black-Jewish Relations in the United States

دانلود کتاب Advances in Clinical Chemistry, Vol. 37

دانلود کتاب Ocean Hydrodynamics Remote Sensing of Shelf Sea Hydrodynamics 15th International Colloquium Proceedi

دانلود کتاب Introduction to Differentiable Manifolds

دانلود کتاب D-1 152mm

دانلود کتاب The Bifurcation Of The Self - History And Theory Of Dissociation

دانلود کتاب Focke-Wulf Fw 189

دانلود کتاب Brownian motion: fluctuations, dynamics, and applications

دانلود کتاب Cross-Cultural Perspectives on Knowledge Management (Libraries Unlimited Knowledge Management Series)

دانلود کتاب Flash And XML A Developers Guide

دانلود کتاب 1000 x European Architecture

دانلود کتاب Lovers Weekend Guide

دانلود کتاب God's Greater Glory: The Exalted God Of Scripture And The Christian Faith

دانلود کتاب The Evolving Brain: The Mind and the Neural Control of Behavior

دانلود کتاب Radical Philosophy #143

دانلود کتاب Principles of the Magnetic Methods in Geophysics

دانلود کتاب Biographical Encyclopedia of the Modern Middle East and North Africa

دانلود کتاب Applying Use Case Driven Object Modeling with UML: An Annotated e-Commerce Example

دانلود کتاب Always Talk to Strangers: 3 Simple Steps to Finding the Love of Your Life

دانلود کتاب Conformal mapping

کتاب های دیگر

دانلود کتاب Broadband Telecommunications Handbook

دانلود کتاب The balanced scorecard A foundation for the strategic management of information systems

دانلود کتاب Construction Ecology: Nature as a Basis for Green Buildings

دانلود کتاب Data and Computer Communications

دانلود کتاب Large format cameras the Linhof Technika IV manual

دانلود کتاب God's Armorbearer 40-Day Devotional and Study Guide (Armor Bearer)

دانلود کتاب Multi-Agent for Mass User Support: International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003, Revised and Invited Papers

دانلود کتاب Themen Aktuell

دانلود کتاب Smith and Williams Introduction to the Principles of Drug Design and Action Fourth Edition

دانلود کتاب Adventures in the Bone Trade: The Race to Discover Human Ancestors in Ethiopia's Afar Depression

دانلود کتاب Windows 2000 Native API reference

دانلود کتاب Plc Programming Methods And Applications

دانلود کتاب Mac OS X Snow Leopard for Dummies

دانلود کتاب Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

دانلود کتاب RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability

دانلود کتاب The American Civil War (2): The war in the West 1861–July 1863

دانلود کتاب Encyclopedia of Millennialism and Millennial Movements

دانلود کتاب Quimica organica 5ED

دانلود کتاب Hebrews between Cultures: Group Portraits and National Literature (Indiana Series in Biblical Literature)

دانلود کتاب Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence

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