کتاب های جدید

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

دانلود کتاب Refinement in Z and Object-Z: Foundations and Advanced Applications

Refinement in Z and Object-Z: Foundations and Advanced Applications

پالایش در Z و Object-Z: مبانی و برنامه های پیشرفته

زبان : English

نویسندگان : John Derrick BSc, DPhil, Eerke Boiten Ir, PhD (auth.)

ناشر : Springer London

سال انتشار : 2001

ISBN (شابک) : 9781852332457, 9781447102571

ویرایش : [Softcover reprint of the original 1st ed. 2001]

سری : Formal Approaches to Computing and Information Technology

تعداد صفحات : XVIII, 466 p. 4 illu

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




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

دانلود کتاب World protein resources

دانلود کتاب Syntax-Directed Semantics: Formal Models Based on Tree Transducers

دانلود کتاب Biochemie. 2

دانلود کتاب Optik, Laser, Wellenleiter

دانلود کتاب Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

دانلود کتاب The physics of atoms and quanta : introduction to experiments and theory

دانلود کتاب The radiochemistry of francium

دانلود کتاب Experimental Robotics IX: The 9th International Symposium on Experimental Robotics

دانلود کتاب Grid and Distributed Computing: International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

دانلود کتاب Expert's voice in C

دانلود کتاب Cosmic rays and particle physics

دانلود کتاب Simulating Interacting Agents and Social Phenomena: The Second World Congress

دانلود کتاب Selected works of Murray Rosenblatt

دانلود کتاب Substance and function and Einstein's theory of relativity

دانلود کتاب On Superconductivity and Superfluidity: A Scientific Autobiography

دانلود کتاب The feminization of development processes in Africa : current and future perspectives

دانلود کتاب Diet and Resistance to Disease

دانلود کتاب Molecular Low Dimensional and Nanostructured Materials for Advanced Applications

دانلود کتاب Impedance of Accelerator Components

دانلود کتاب Improvements in System Safety

کتاب های دیگر

دانلود کتاب Mind from body : experience from neural structure

دانلود کتاب Flight Operating Instructions USAF B-47A

دانلود کتاب The New Penguin History of the World

دانلود کتاب An Introduction to Tonal Theory

دانلود کتاب Tensors for circuits

دانلود کتاب Sicherheit in Netzen und Medienströmen: Tagungsband des GI-Workshops “Sicherheit in Mediendaten„, Berlin, 19. September 2000

دانلود کتاب Small animal dental equipment, materials, and techniques

دانلود کتاب Einnahmen-Überschussrechnung

دانلود کتاب Flood Risk Management in Europe: Innovation in Policy and Practice

دانلود کتاب The Analytical Theory of Heat

دانلود کتاب Noise in Spatially Extended Systems

دانلود کتاب Ghrelin in health and disease

دانلود کتاب Special Topics in Earthquake Geotechnical Engineering

دانلود کتاب Business Intelligence: First European Summer School, eBISS 2011, Paris, France, July 3-8, 2011, Tutorial Lectures

دانلود کتاب The multimedia encyclopedia of women in today's world

دانلود کتاب Rapid detection, characterization, and enumeration of foodborne pathogens

دانلود کتاب Berufe im Archiv-, Bibliotheks-, Informations- und Dokumentationswesen: Ein Wegweiser zur Ausbildung

دانلود کتاب GPRS : gateway to third generation mobile networks

دانلود کتاب Molecular Targets of CNS Tumors

دانلود کتاب Nutrition research in South-East Asia : the emerging agenda of the future

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