تعداد نتایج: 8032

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

First International Joint Conference, QEST+FORMATS 2024, Cal...

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
By Jane Hillston
Publisher: Springer Nature,
Pages: 352
Language: en
ISBN_13:9783031684166
ISBN_10:3031684168

Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods,...

Formal Methods and Software Engineering
By Stephan Merz, Jun Pang
Publisher: Springer, 2014-10-15
Pages: 476
Language: en
ISBN_13:9783319117379
ISBN_10:3319117378
Subject: Computers

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, US...

Model Checking Software
By Ezio Bartocci, C. R. Ramakrishnan
Publisher: Springer, 2013-05-30
Pages: 386
Language: en
ISBN_13:9783642391767
ISBN_10:3642391761
Subject: Computers

Systems Biology Modelling and Analysis

Formal Bioinformatics Methods and Tools

Systems Biology Modelling and Analysis
By Elisabetta De Maria
Publisher: John Wiley & Sons, 2022-11-18
Pages: 468
Language: en
ISBN_13:9781119716587
ISBN_10:1119716586
Subject: Science

Formal Modeling and Analysis of Timed Systems

9th International Conference, FORMATS 2011, Aalborg, Denmark...

Formal Modeling and Analysis of Timed Systems
By Uli Fahrenberg, Stavros Tripakis
Publisher: Springer, 2011-09-25
Pages: 363
Language: en
ISBN_13:9783642243103
ISBN_10:364224310X
Subject: Computers

Computer and Information Sciences - ISCIS 2004

19th International Symposium, Kemer-Antalya, Turkey, October...

Computer and Information Sciences - ISCIS 2004

Quantitative Evaluation of Systems

10th International Conference, QEST 2013, Buenos Aires, Arge...

Quantitative Evaluation of Systems

Computer Performance Engineering

16th European Workshop, EPEW 2019, Milan, Italy, November 28...

Computer Performance Engineering

Computer Performance Engineering

14th European Workshop, EPEW 2017, Berlin, Germany, Septembe...

Computer Performance Engineering
By Philipp Reinecke, Antinisca Di Marco
Publisher: Springer, 2017-08-31
Pages: 306
Language: en
ISBN_13:9783319665832
ISBN_10:3319665839
Subject: Computers

Computer and Information Sciences - ISCIS ...

... International Symposium : Proceedings

Computer and Information Sciences - ISCIS ...
2004
Pages: 1044
Language: en
OTHER:UOM:39015058891667
Subject: Computers

Application and Theory of Petri Nets and Concurrency

34th International Conference, PETRI NETS 2013, Milan, Italy...

Application and Theory of Petri Nets and Concurrency
By Jose-Manuel Colom, Jörg Desel
Publisher: Springer, 2013-06-19
Pages: 420
Language: en
ISBN_13:9783642386978
ISBN_10:3642386970
Subject: Computers

Application and Theory of Petri Nets and Concurrency

41st International Conference, PETRI NETS 2020, Paris, Franc...

Application and Theory of Petri Nets and Concurrency

Felsina pittrice, vite de pittori Bolognesi

Vite de'pittori Bolognesi non descritte nella Felsina pittri...

Felsina pittrice

vite de' pittori bolognesi, con aggiunte, correzioni e note ...

Application and Theory of Petri Nets

International Conference ... Proceedings

Application and Theory of Petri Nets
2000
Pages: 512
Language: en
OTHER:UOM:39015048228715
Subject: Petri nets

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه ISBN، موضوع و یاهمه قسمت ها دکمه جستجو را بزنید. در نتایج می توانید کتاب خارجی مد نظر خود را انتخاب کنید و سپس درخواست خود را برای خرید کتاب خارجی ثبت کنید.

جستجو و دانلود کتاب لاتین

برای دانلود کتاب های لاتین ابتدا کلمه کلیدی خود را داخل کادر جستجو وارد کنید و سپس زبان مربوطه را انتخاب کنید (انگلیسی، اسپانیایی، فرانسوی، آلمانی و ...) و در نهایت دکمه جستجو را بزنید. از نتایج جستجو کتاب لاتین مد نظر خود را انتخاب کنید و سپس درخواست آن را ثبت کنید. همکاران ما در کمتر چند ساعت درخواست شما را بررسی و قیمت گذاری می کنند.

نحوه ثبت درخواست دانلود کتاب لاتین

پس از جستجو و یافتن کتاب و یا منابع لاتین، روی تصویر کتاب و یا دکمه درخواست کلیک کنید و سپس در صفحه ثبت درخواست، مشخصات کامل درخواست خود را بررسی و ایمیل و شماره تماس خود را وارد کنید. در نهایت همکاران ما هزینه و مدت زمان تهیه کتاب خارجی شما را بررسی و از طریق پیامک و ایمیل به شما اطلاع رسانی خواهند کرد. شما پس از پرداخت وجه روی لینک دانلود کتاب لاتین کلیک کنید و کتاب خود را دانلود و استفاده کنید.

  • کتاب زبان اصلی J.R.R
  • دانلود کتاب لاتین
  • خرید کتاب لاتین
  • خرید مانگا
  • خرید کتاب از گوگل بوکز
  • دانلود رایگان کتاب از گوگل بوکز
  • دانلود رایگان کتاب از آمازون
  • دانلود رایگان کتاب از گوگل بوکز
  • کتاب روانشناسی به انگلیسی
  • کتاب زبان اصلی
  • کتاب خارجی
  • سایت خرید کتاب زبان اصلی
  • درخواست کتاب زبان اصلی
  • سفارش کتاب زبان اصلی
  • خرید کتاب لاتین
  • دانلود کتاب زبان اصلی
  • ضمانت بازگشت وجه بدون شرط
    اعتماد سازی
    انتقال وجه کارت به کارت
    X

    پرداخت وجه کارت به کارت

    شماره کارت : 6104337650971516
    شماره حساب : 8228146163
    شناسه شبا (انتقال پایا) : IR410120020000008228146163
    بانک ملت به نام مهدی تاج دینی

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X