کتاب های جدید

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

دانلود کتاب Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

تأیید به کمک رایانه: دوازدهمین کنفرانس بین المللی ، CAV 2000 ، شیکاگو ، ایل ، ایالات متحده آمریکا ، 15 تا 19 ژوئیه ، 2000. مجموعه مقالات

زبان : English

نویسندگان : Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2000

ISBN (شابک) : 9783540677703, 9783540450474

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

سری : Lecture Notes in Computer Science 1855

تعداد صفحات : 590[592]

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




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

دانلود کتاب Atoms and Molecules in Intense Fields

دانلود کتاب Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

دانلود کتاب Rough weather

دانلود کتاب Computers and Education: Towards a Lifelong Learning Society

دانلود کتاب Practical Quantum Mechanics

دانلود کتاب Січові Стрільці. Створення, військово-політична діяльність та збройна боротьба Січових Стрільців у 1917-1919 рр.

دانلود کتاب Beverages: Technology, Chemistry and Microbiology

دانلود کتاب AJAX, Rich Internet Applications, and Web Development for Programmers

دانلود کتاب Apartment Gardening: Plants, Projects, and Recipes for Growing Food in Your Urban Home

دانلود کتاب The Philadelphia chromosome: a mutant gene and the quest to cure cancer at the genetic level

دانلود کتاب Memory from A to Z : keywords, concepts, and beyond

دانلود کتاب Tirpitz and the Imperial German Navy

دانلود کتاب Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings

دانلود کتاب Molecular Modelling für Anwender: Anwendung von Kraftfeld- und MO-Methoden in der organischen Chemie

دانلود کتاب Physics of Manganites

دانلود کتاب RF Front-Ends - World Class designs

دانلود کتاب Database design manual : using MySQL for Windows

دانلود کتاب Supermax : Controlling Risk Through Solitary Confinement

دانلود کتاب Lects on Repr. Theory and Knizhnik-Zamolodchikov Eqns

دانلود کتاب Entertainment Computing - ICEC 2008: 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedings

کتاب های دیگر

دانلود کتاب Social work and spirituality

دانلود کتاب Smart Materials in Structural Health Monitoring, Control and Biomechanics

دانلود کتاب Revisión: El pardeamiento enzimático en frutas y hortalizas mínimamente procesadas Review: Enzymatic browning in minimally processed fruit and vegetables

دانلود کتاب Design for reliability

دانلود کتاب Elektrotechnik für Maschinenbauer

دانلود کتاب Adobe Photoshop CS2 : photographer's guide

دانلود کتاب Fusion Energy Division annual progress report

دانلود کتاب Microbial Production of Food Ingredients, Enzymes and Nutraceuticals.

دانلود کتاب Balls! : 6 rules for winning today's business game (brave, authentic, loud, lovable & spunky!)

دانلود کتاب The Articulate Mammal: An Introduction to Psycholinguistics

دانلود کتاب Chernobyl Reactor Accident - Source Term (csni-r1995-24)

دانلود کتاب Messerschmitt Me 321/323 : giants of the Luftwaffe

دانلود کتاب Computer Applications for Modeling, Simulation, and Automobile: International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

دانلود کتاب Kommunikationstechnik: Konzepte der modernen Nachrichtenübertragung

دانلود کتاب Foundations and Novel Approaches in Data Mining

دانلود کتاب Communication Systems: The State of the Art IFIP 17th World Computer Congress — TC6 Stream on Communication Systems: The State of the Art August 25–30, 2002, Montréal, Québec, Canada

دانلود کتاب The Ways of Naysaying

دانلود کتاب Jura leicht gemacht: Das juristische Basiswissen

دانلود کتاب Open quantum systems and Feynman integrals

دانلود کتاب Quantum Mechanics - Relativistic, Non-Relativistic

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