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

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

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

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, Ju...

Computer Aided Verification
جزئیات و درخواست
By Rajeev Alur, Doron A. Peled
Publisher: Springer, 2004-07-30
Pages: 546
Language: en
ISBN_13:9783540278139
ISBN_10:3540278133
Subject: Computers

Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canad...

Verified Software. Theories, Tools, and Experiments
جزئیات و درخواست
By Sandrine Blazy, Marsha Chechik
Publisher: Springer, 2016-11-07
Pages: 212
Language: en
ISBN_13:9783319488691
ISBN_10:3319488694
Subject: Computers

Computer Aided Verification

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

Computer Aided Verification
جزئیات و درخواست
By Arie Gurfinkel
Publisher: Springer Nature,
Pages: 447
Language: en
ISBN_13:9783031656309
ISBN_10:303165630X

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, A...

Computer Aided Verification
جزئیات و درخواست
By Thomas Ball
Publisher: Springer Science & Business Media, 2006-08-08
Pages: 577
Language: en
ISBN_13:9783540374060
ISBN_10:354037406X
Subject: Computers

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, ...

Computer Aided Verification
جزئیات و درخواست
By Ganesh Gopalakrishnan, Shaz Qadeer
Publisher: Springer Science & Business Media, 2011-07-05
Pages: 778
Language: en
ISBN_13:9783642221095
ISBN_10:3642221092
Subject: Computers

Programming Languages and Systems

24th European Symposium on Programming, ESOP 2015, Held as P...

Programming Languages and Systems
جزئیات و درخواست
By Jan Vitek
Publisher: Springer, 2015-03-31
Pages: 851
Language: en
ISBN_13:9783662466698
ISBN_10:3662466694
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

13th International Conference, TACAS 2007 Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Orna Grumberg, Michael Huth
Publisher: Springer, 2007-07-05
Pages: 740
Language: en
ISBN_13:9783540712091
ISBN_10:3540712097
Subject: Computers

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, US...

Computer Aided Verification
جزئیات و درخواست
By Shuvendu K. Lahiri, Chao Wang
Publisher: Springer Nature, 2020-07-15
Pages: 682
Language: en
ISBN_13:9783030532888
ISBN_10:3030532887
Subject: Computers

Processes, Terms and Cycles: Steps on the Road to Infinity

Essays Dedicated to Jan Willem Klop on the Occasion of his 6...

Processes, Terms and Cycles: Steps on the Road to Infinity
جزئیات و درخواست
By Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer
Publisher: Springer, 2005-12-11
Pages: 655
Language: en
ISBN_13:9783540324256
ISBN_10:3540324259
Subject: Mathematics

CONCUR 2008 - Concurrency Theory

19th International Conference, CONCUR 2008, Toronto, Canada,...

CONCUR 2008 - Concurrency Theory
جزئیات و درخواست
By Franck van Breugel, Marsha Chechik
Publisher: Springer, 2008-08-19
Pages: 537
Language: en
ISBN_13:9783540853619
ISBN_10:3540853618
Subject: Computers

Computer Aided Verification

20th International Conference, CAV 2008 Princeton, NJ, USA, ...

Computer Aided Verification
جزئیات و درخواست
By Aarti Gupta, Sharad Malik
Publisher: Springer, 2008-07-05
Pages: 574
Language: en
ISBN_13:9783540705451
ISBN_10:3540705457
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Sriram Sankaranarayanan, Natasha Sharygina
Publisher: Springer Nature, 2023-04-19
Pages: 615
Language: en
ISBN_13:9783031308208
ISBN_10:3031308204
Subject: Computers

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July...

Computer Aided Verification
جزئیات و درخواست
By Tayssir Touili, Byron Cook, Paul Jackson
Publisher: Springer Science & Business Media, 2010-06-30
Pages: 691
Language: en
ISBN_13:9783642142949
ISBN_10:364214294X
Subject: Computers

Algebraic Methodology and Software Technology

10th International Conference, AMAST 2004, Stirling, Scotlan...

Algebraic Methodology and Software Technology
جزئیات و درخواست
By Charles Rattray, Savitri Maharaj
Publisher: Springer Science & Business Media, 2004-06-24
Pages: 578
Language: en
ISBN_13:9783540223818
ISBN_10:3540223819
Subject: Computers

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Neth...

Formal Methods for Industrial Critical Systems
جزئیات و درخواست
By María Alpuente, Byron Cook, Christophe Joubert
Publisher: Springer, 2009-11-03
Pages: 223
Language: en
ISBN_13:9783642045707
ISBN_10:3642045707
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, ...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Isil Dillig, Jens Palsberg
Publisher: Springer, 2018-01-03
Pages: 554
Language: en
ISBN_13:9783319737218
ISBN_10:331973721X
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Stefan Kowalewski, Anna Philippou
Publisher: Springer, 2009-03-27
Pages: 470
Language: en
ISBN_13:9783642007682
ISBN_10:3642007686
Subject: Computers

CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, ...

CONCUR 2009 - Concurrency Theory
جزئیات و درخواست
By Mario Bravetti, Gianluigi Zavattaro
Publisher: Springer Science & Business Media, 2009-08-17
Pages: 651
Language: en
ISBN_13:9783642040801
ISBN_10:3642040802
Subject: Computers

Programming Languages and Systems

30th European Symposium on Programming, ESOP 2021, Held as P...

Programming Languages and Systems
جزئیات و درخواست
By Nobuko Yoshida
Publisher: Springer Nature, 2021-03-22
Pages: 705
Language: en
ISBN_13:9783030720193
ISBN_10:3030720195
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

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

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