ثبت درخواست جستجو

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

Control of Stochastic Hybrid Systems based on Probabilistic Reachable Set Computation
جزئیات و درخواست
By Leonhard Asselborn
Publisher: kassel university press GmbH, 2018-09-17
Pages: 172
Language: en
ISBN_13:9783737605809
ISBN_10:3737605807
Subject: Hybrid systems

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, Octob...

Integrated Formal Methods
جزئیات و درخواست
By Dominique Méry, Stephan Merz
Publisher: Springer Science & Business Media, 2010-10-06
Pages: 345
Language: en
ISBN_13:9783642162640
ISBN_10:3642162649
Subject: Computers

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-1...

FM 2016: Formal Methods
جزئیات و درخواست
By John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
Publisher: Springer, 2016-11-06
Pages: 807
Language: en
ISBN_13:9783319489896
ISBN_10:3319489895
Subject: Computers

NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 2...

NASA Formal Methods
جزئیات و درخواست
By Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Publisher: Springer Nature, 2021-05-19
Pages: 416
Language: en
ISBN_13:9783030763848
ISBN_10:3030763846
Subject: Computers

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of ST...

Software Engineering and Formal Methods
جزئیات و درخواست
By Einar Broch Johnsen, Ina Schaefer
Publisher: Springer, 2018-06-18
Pages: 306
Language: en
ISBN_13:9783319929705
ISBN_10:3319929704
Subject: Computers

Formal Modeling and Analysis of Timed Systems

11th International Conference, FORMATS 2013, Buenos Aires, A...

Formal Modeling and Analysis of Timed Systems
جزئیات و درخواست
By Víctor Braberman, Laurent Fribourg
Publisher: Springer, 2013-07-23
Pages: 284
Language: en
ISBN_13:9783642402296
ISBN_10:3642402291
Subject: Computers

High Performance Computing

ISC High Performance 2017 International Workshops, DRBSD, Ex...

High Performance Computing
جزئیات و درخواست
By Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf
Publisher: Springer, 2017-10-18
Pages: 754
Language: en
ISBN_13:9783319676302
ISBN_10:331967630X
Subject: Computers

Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switz...

Verified Software: Theories, Tools, Experiments
جزئیات و درخواست
By Bertrand Meyer, Jim Woodcock
Publisher: Springer, 2008-06-29
Pages: 565
Language: en
ISBN_13:9783540691495
ISBN_10:3540691499
Subject: Computers

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canad...

Computer Aided Verification
جزئیات و درخواست
By Arie Gurfinkel
Publisher: Springer Nature,
Pages: 597
Language: en
ISBN_13:9783031656330
ISBN_10:3031656334

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo...

Formal Methods for Open Object-Based Distributed Systems
جزئیات و درخواست
By Gilles Barthe
Publisher: Springer, 2008-06-03
Pages: 268
Language: en
ISBN_13:9783540688631
ISBN_10:3540688633
Subject: Computers
Parallel Computing: Accelerating Computational Science and Engineering (CSE)
جزئیات و درخواست
By M. Bader, A. Bode, H.-J. Bungartz
Publisher: IOS Press, 2014-03-31
Pages: 868
Language: en
ISBN_13:9781614993810
ISBN_10:1614993815
Subject: Computers

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, Oct...

Automated Technology for Verification and Analysis
جزئیات و درخواست
By Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
Publisher: Springer Nature, 2019-10-21
Pages: 551
Language: en
ISBN_13:9783030317843
ISBN_10:3030317846
Subject: Computers

High Performance Computing

ISC High Performance 2016 International Workshops, ExaComm, ...

High Performance Computing
جزئیات و درخواست
By Michela Taufer, Bernd Mohr, Julian M. Kunkel
Publisher: Springer, 2016-10-05
Pages: 710
Language: en
ISBN_13:9783319460796
ISBN_10:331946079X
Subject: Computers

Measurement, Modelling and Evaluation of Computing Systems

20th International GI/ITG Conference, MMB 2020, Saarbrücken,...

Measurement, Modelling and Evaluation of Computing Systems
جزئیات و درخواست
By Holger Hermanns
Publisher: Springer Nature, 2020-03-09
Pages: 295
Language: en
ISBN_13:9783030430245
ISBN_10:3030430243
Subject: Computers

Mathematical Software – ICMS 2018

6th International Conference, South Bend, IN, USA, July 24-2...

Mathematical Software – ICMS 2018
جزئیات و درخواست
By James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
Publisher: Springer, 2018-07-17
Pages: 525
Language: en
ISBN_13:9783319964188
ISBN_10:3319964186
Subject: Computers

Dependable Software Engineering. Theories, Tools, and Applications

Third International Symposium, SETTA 2017, Changsha, China, ...

Dependable Software Engineering. Theories, Tools, and Applications
جزئیات و درخواست
By Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Publisher: Springer, 2017-10-17
Pages: 358
Language: en
ISBN_13:9783319694832
ISBN_10:3319694839
Subject: Computers

Nexus

Essays in German Jewish Studies

Nexus
جزئیات و درخواست
By Ruth von Bernuth
Publisher: Boydell & Brewer, 2021-02-15
Pages: 223
Language: en
ISBN_13:9781640140790
ISBN_10:1640140794
Subject: History

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy...

Formal Modeling and Analysis of Timed Systems
جزئیات و درخواست
By Axel Legay, Marius Bozga
Publisher: Springer, 2014-08-11
Pages: 261
Language: en
ISBN_13:9783319105123
ISBN_10:3319105124
Subject: Computers

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, Dec...

Software Engineering and Formal Methods
جزئیات و درخواست
By Radu Calinescu, Corina S. Păsăreanu
Publisher: Springer Nature, 2021-12-02
Pages: 524
Language: en
ISBN_13:9783030921248
ISBN_10:3030921247
Subject: Computers

Formal Modeling and Analysis of Timed Systems

7th International Conference, FORMATS 2009, Budapest, Hungar...

Formal Modeling and Analysis of Timed Systems
جزئیات و درخواست
By Frits W. Vaandrager
Publisher: Springer Science & Business Media, 2009-09-07
Pages: 301
Language: en
ISBN_13:9783642043673
ISBN_10:3642043674
Subject: Computers
«12345678910»

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

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

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

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

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

خرید کتاب از آمازون

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

خرید کتاب از گوگل بوکز

خرید کتاب زبان اصلی

سایت خرید کتاب زبان اصلی

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت