Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2016

نویسنده

Anna-Lena Lamprecht

ناشر

Cham : Springer, 2016.

شابک

9783319516417

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2016

نویسنده

ناشر

شابک

کتاب های مرتبط

Metadata and semantics research : 7th International Conference, MSTR 2013, Thessaloniki, Greece, November 19-22, 2013, proceedings

Trends in mobile web information systems : MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-29, 2013 : revised selected papers

Worldwide commonalities and challenges in information literacy research and practice : European Conference on Information Literacy, ECIL 2013, Istanbul, Turkey, October 22-25, 2013, revised selected papers.

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers

Advances in artificial life and evolutionary computation : 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised selected papers

Software process improvement and capability determination : 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedings

Information and communication technologies in education, research, and industrial applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

Mobile as a mainstream-- towards future challenges in mobile learning : 13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014, Proceedings

Advanced machine learning technologies and applications : second international conference, AMLTA 2014, Cairo, Egypt, November 28-30, 2014, proceedings

Information technologies and mathematical modelling : 13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

Metadata and Semantics Research : 8th Research Conference, Mtsr 2014, Karlsruhe, Germany November 27-29, 2014 Proceedings

Design science : perspectives from Europe. European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, revised selected papers

Tools of transport telematics : 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015 : selected papers

Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

Advances in Social Computing and Multiagent Systems 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4.

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

Digital libraries: supporting open science : 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31-February 1, 2019 : proceedings

Social Media Processing : 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings

Social computing. Part I second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings

Social computing : second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings. Part II

دیدگاه کاربران