قیمت۱۹,۵۰۰ تومان

۰ از ۵

از میانگین ۰ نظر دهنده

دانلود کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Name: دانلود کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Brand: فرانس

خرید از بلیان

ارزان‌ترین۱۹,۵۰۰

فروشنده‌ها ۱ مشخصات نظرات مشابه

بلیان

فارس بدون امتیاز

۱ سال و ۱۰ ماه گزارش

دانلود کتاب Computer Aided Verification: 21st International ...

گزارش

~~۳۶,۰۰۰~~

٪۴۶

۱۹,۵۰۰

بروزشده در ۲۰ ساعت پیش

مشاهده پیشنهاد

بروزشده در ۲۰ ساعت پیش

پیشنهاد ویژه فروشندگان

مشخصات فنی

مشخصات فنی دانلود کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

مشخصات

تعداد صفحه 522

حجم فایل 9.96 مگابایت

زبان انگلیسی

سال انتشار 2009

فرمت PDF

کد کتاب 1484248473 , 9781484248478

موضوع اصلی کامپیوتر - تجارت و فرهنگ کامپیوتر

ناشر Apress

نوبت چاپ 1

نوع کالا کتاب الکترونیکی

نویسنده Ahmed Bouajjani, Michał Kapałka (auth.), Oded Maler (eds.), Rachid Guerraoui

مشاهده بیشتر

نظرات کاربران

هیچ نظری ثبت نشده است.

کالاهای مشابه

جدیدترین‌های محتوای آموزشی فرانس

محتوای آموزشی دانلود کتاب Cold War Holidays: American Tourism in France

از ۱۹,۵۰۰

دانلود کتاب TEX for Scientific Documentation: Second European Conference Strasbourg, France, June 19–21, 1986 Proceedings

از ۱۹,۵۰۰

دانلود کتاب TEX for Scientific Documentation: Second European Conference Strasbourg, France, June 19–21, 1986 Proceedings

از ۱۹,۵۰۰

محتوای آموزشی دانلود کتاب A Social History of France, 1789-1914

از ۱۹,۵۰۰

دانلود کتاب Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

از ۱۹,۵۰۰

محتوای آموزشی دانلود کتاب British Tanks of World War II: France and Belgium, 1944

از ۱۹,۵۰۰

دانلود کتاب Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

از ۱۹,۵۰۰

دانلود کتاب Semantics of a Networked World. Semantics for Grid Databases: First International IFIP Conference, ICSNW 2004, Paris, France, June 17-19, 2004, Revised Selected Papers

از ۱۹,۵۰۰

دانلود کتاب Singularity theory: proceedings of the 2005 Marseille Singularity School and Conference: CIRM, Marseille, France, 24 January-25 February 2005

از ۱۹,۵۰۰

دانلود کتاب Discrete Geometry for Computer Imagery: 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings

از ۱۹,۵۰۰

دانلود کتاب Discrete Geometry for Computer Imagery: 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

از ۱۹,۵۰۰

دانلود کتاب Dependable Computing EDCC-4: 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings

از ۱۹,۵۰۰

دانلود کتاب Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

از ۱۹,۵۰۰

دانلود کتاب Foundations of Intelligent Systems: 13th International Symposium, ISMIS 2002 Lyon, France, June 27–29, 2002 Proceedings

از ۱۹,۵۰۰

دانلود کتاب Medieval Costume in England and France: The 13th, 14th and 15th Centuries

از ۱۹,۵۰۰

دانلود کتاب Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

از ۱۹,۵۰۰

دانلود کتاب Object-Oriented Information Systems: 8th International Conference, OOIS 2002 Montpellier, France, September 2–5, 2002 Proceedings

از ۱۹,۵۰۰

دانلود کتاب Virtual Storytelling Using Virtual Reality Technologies for Storytelling: International Conference ICVS 2001 Avignon, France, September 27–28, 2001 Proceedings

از ۱۹,۵۰۰

دانلود کتاب Virtual Storytelling. Using Virtual RealityTechnologies for Storytelling: Second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003. Proceedings

از ۱۹,۵۰۰

دانلود کتاب Principles of Data Mining and Knowledge Discovery: Second European Symposium, PKDD ’98 Nantes, France, September 23–26, 1998 Proceedings

از ۱۹,۵۰۰