کتاب های جدید

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

دانلود کتاب Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

روش های رسمی برای کاربردهای صنعتی: تعیین و برنامه ریزی کنترل دیگ بخار

زبان : English

نویسندگان : Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1996

ISBN (شابک) : 3540619291, 9783540619291

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

سری : Lecture Notes in Computer Science 1165

تعداد صفحات : 523[519]

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

فرمت کتاب : djvu

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

دانلود کتاب The Encyclopedia of Celtic Mythology and Folklore

دانلود کتاب Dislocations in Solids

دانلود کتاب The Cambridge Companion to Spinoza

دانلود کتاب Recent Advances in Mammalian Development

دانلود کتاب Handbook Of Brain Theory And Neural Networks

دانلود کتاب Student Projects for SO2 Absorption

دانلود کتاب An Invitation to Algebraic Geometry

دانلود کتاب Symplectic Techniques in Physics

دانلود کتاب Pain (Gray Matter)

دانلود کتاب Appetizer Recipes

دانلود کتاب The Handbook of Language and Gender

دانلود کتاب How to Land a Top-Paying Construction Managers Job: Your Complete Guide to Opportunities, Resumes and Cover Letters, Interviews, Salaries, Promotions, What to Expect From Recruiters and More!

دانلود کتاب Fiction Writer's Brainstormer

دانلود کتاب Models and Methods in Social Network Analysis (Structural Analysis in the Social Sciences)

دانلود کتاب Alberto Pinto Orientalism

دانلود کتاب CCNA Cisco Certified Network Associate Study Guide (Exam 640-802)

دانلود کتاب Mathematical Physics of Quantum Mechanics: Selected and Refereed Lectures from QMath9

دانلود کتاب RHCE Red Hat Certified Engineer Study Guide Exam RH302 (With CD-ROM)

دانلود کتاب The History of Ancient Rome

کتاب های دیگر

دانلود کتاب Red Hat Linux Certified Engineer

دانلود کتاب High Speed Networks and Multimedia Communications: 7th IEEE International Conference, HSNMC 2004, Toulouse, France, June 30 - July 2, 2004. Proceedings

دانلود کتاب Gauge Field Theories

دانلود کتاب Statistical Case Studies A Collaboration Between Academe and Industry Student Edition

دانلود کتاب Community and Quality of Life

دانلود کتاب Windows Server 2008 Networking and Network Access Protection (NAP)

دانلود کتاب Pharmokinetic Optimization in Drug Research

دانلود کتاب Peptide Characterization and Application Protocols

دانلود کتاب Domebook

دانلود کتاب CCIE: Cisco Certified Internetwork Expert Study Guide

دانلود کتاب Invisible Eagle Nazi Occult History

دانلود کتاب Film, Form and Phantasy: Adrian Stokes and Film Aesthetics (Language, Discourse, Society)

دانلود کتاب Nafta y Mercosur: Un dialogo canadiense-latinoamericano

دانلود کتاب 700 Classroom Activities

دانلود کتاب Курс современного украинского литературного языка, часть 1

دانلود کتاب Genes

دانلود کتاب Concept Design: Works from Seven Los Angeles Entertainment Designers

دانلود کتاب Java Collections

دانلود کتاب Fuzzy Systems Engineering: Toward Human-Centric Computing

دانلود کتاب AW FK.3 (Little Ack)

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