Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

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

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

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

گزارش تخلف

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

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2012

نویسنده

Marco Bernardo; Vittorio Cortellessa; Alfonso

ناشر

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

شابک

9783642309823

20,000 تومان

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

خرید کتاب Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2012

نویسنده

ناشر

شابک

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

Vulnerable Children and the Law

Fatigue and fracture mechanics : 37th volume

Cervicoscapulalgies professionnelles

Handicap et famille : approche neurosystémique et lésions cérébrales

Rachis et sports : quels risques? Quels effets bénéfiques? : 29e journée de traumatologie du sport de la Pitié-Salpêtrière

Court culture in the early Middle Ages : the proceedings of the First Alcuin Conference : [July 1998, Center for Medieval Studies, University of York]

Corpo e anima, sensi interni e intelletto dai secoli XIII-XIV ai post-cartesiani e spinoziani : atti del Convegno internazionale, Firenze, Dipartimento di scienze dell'educazione e dei processi Culturali e formativi, 18-20 settembre 2003...

The Language of Byzantine Learned Literature

Expulsion and diaspora formation : religious and ethnic identities in flux from Antiquity to the Seventeenth century

Urban identities in Northern Italy (800-1100 ca.)

Formal approaches and natural language in medieval logic

Complex systems design & management : proceedings of the fourth International conference on complex systems design & management, CSD&M 2013

Proceedings of the International Conference on Frontiers of Intelligent Computing : theory and applications (FICTA) 2013

The Labyrinth of Star Formation : conference dedicated to Prof. Anthony Whitworth

PLDI 12 Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation

Theory and Practice of Natural Computing : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014, Proceedings

Complex democracy : varieties, crises, and transformations

Recent Trends in Nanotechnology and Materials Science : Selected Review Papers from the 2013 International Conference on Manufacturing, Optimization, Industrial and Material Engineering (MOIME 2013)

Distributed Computer and Communication Networks : 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers

Capitalism S Future

Parallel algorithms for irregular problems : state of the art

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