کتاب های جدید

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

دانلود کتاب Understanding Formal Methods

Understanding Formal Methods

درک روشهای رسمی

زبان : English

نویسندگان : Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)

ناشر : Springer-Verlag London

سال انتشار : 2003

ISBN (شابک) : 9781852332471, 9781447100430

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

سری : Operations Research/Computer Science Interfaces Series 21

تعداد صفحات : 276[287]

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




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

دانلود کتاب Modern algebraic topology

دانلود کتاب International dictionary of adult and continuing education

دانلود کتاب Margaret A. Murray, God of the witches

دانلود کتاب The murder room : the heirs of Sherlock Holmes gather to solve the world's most perplexing cold cases

دانلود کتاب Nonlinear Processes in Geophysical Fluid Dynamics: A tribute to the scientific work of Pedro Ripa

دانلود کتاب Semiconductor lasers: Stability, instability and chaos

دانلود کتاب Starthilfe Pharmakologie: Ein Leitfaden für Studierende der Medizin, der Pharmazie und der Humanbiologie

دانلود کتاب High-Performance Computing and Networking: 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings

دانلود کتاب Parameter Estimation and Hypothesis Testing in Linear Models

دانلود کتاب Reservoir Geomechanics

دانلود کتاب Regional Conflict Management

دانلود کتاب Smart polymers

دانلود کتاب Rock Fractures and Fluid Flow - Contemp. Understanding and Applns

دانلود کتاب Wind and solar power systems

دانلود کتاب Oracle 10g New Features

دانلود کتاب Programming The Finite Element Method

دانلود کتاب Cellular Biology - A Short Course

دانلود کتاب Laka lova - Stockholmska trilogija I

دانلود کتاب Professional SQL Server 2005 reporting services

دانلود کتاب Deutsch als Fremdsprache : ein internationales Handbuch

کتاب های دیگر

دانلود کتاب The Normandy Campaign 1944

دانلود کتاب Computational Intelligence for Modelling and Prediction

دانلود کتاب Beyond the Boundaries of Physical Education : Educating Young People for Citizenship and Social

دانلود کتاب Advances in Multimedia, Software Engineering and Computing Vol.1: Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China

دانلود کتاب Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

دانلود کتاب Advances in Cryptology – EUROCRYPT 2011: 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings

دانلود کتاب Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

دانلود کتاب Entrepreneurship and business

دانلود کتاب Theory of code division multiple access communication

دانلود کتاب Eco-friendly Computing and Communication Systems: International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedings

دانلود کتاب Wave Propogation and Group Velocity

دانلود کتاب Artist-teacher : a philosophy for creating and teaching

دانلود کتاب Instabilities and Nonequilibrium Structures IX

دانلود کتاب Deck the halls

دانلود کتاب Modernism as a Philosophical Problem: On the Dissatisfactions of European High Culture

دانلود کتاب Соціальна історія запорозького козацтва кінця XVII-XVIII століття. Джерелознавчий аналіз

دانلود کتاب Environmental Chemistry: Fundamentals

دانلود کتاب A real Van Gogh : how the art world struggles with truth

دانلود کتاب Partial differential equations (chapter from the book)

دانلود کتاب Statistical Mechanics and Fractals

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