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

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

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July...

Computer Aided Verification
جزئیات و درخواست
By Alexandra Silva, K. Rustan M. Leino
Publisher: Springer Nature, 2021-07-16
Pages: 955
Language: en
ISBN_13:9783030816889
ISBN_10:3030816885
Subject: Computers

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, ...

Computer Aided Verification
جزئیات و درخواست
By Madhusudan Parthasarathy, Sanjit A. Seshia
Publisher: Springer, 2012-06-22
Pages: 804
Language: en
ISBN_13:9783642314247
ISBN_10:3642314244
Subject: Computers

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, Ma...

NASA Formal Methods
جزئیات و درخواست
By Julia M. Badger, Kristin Yvonne Rozier
Publisher: Springer, 2019-05-28
Pages: 410
Language: en
ISBN_13:9783030206529
ISBN_10:3030206521
Subject: Computers

Automated Deduction – CADE-22

22nd International Conference on Automated Deduction, Montre...

Automated Deduction – CADE-22
جزئیات و درخواست
By Renate Schmidt
Publisher: Springer Science & Business Media, 2009-07-26
Pages: 504
Language: en
ISBN_13:9783642029592
ISBN_10:3642029590
Subject: Computers

Theory and Applications of Satisfiability Testing – SAT 2018

21st International Conference, SAT 2018, Held as Part of the...

Theory and Applications of Satisfiability Testing – SAT 2018
جزئیات و درخواست
By Olaf Beyersdorff, Christoph M. Wintersteiger
Publisher: Springer, 2018-06-27
Pages: 458
Language: en
ISBN_13:9783319941448
ISBN_10:3319941445
Subject: Computers

Theory and Applications of Satisfiability Testing - SAT 2007

10th International Conference, SAT 2007, Lisbon, Portugal, M...

Theory and Applications of Satisfiability Testing - SAT 2007
جزئیات و درخواست
By Joao Marques-Silva, Karem A. Sakallah
Publisher: Springer, 2007-06-30
Pages: 395
Language: en
ISBN_13:9783540727880
ISBN_10:3540727884
Subject: Mathematics

Computer Aided Verification

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

Computer Aided Verification
جزئیات و درخواست
By Aarti Gupta, Sharad Malik
Publisher: Springer Science & Business Media, 2008-06-17
Pages: 574
Language: en
ISBN_13:9783540705437
ISBN_10:3540705430
Subject: Computers

Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Au...

Automated Technology for Verification and Analysis
جزئیات و درخواست
By Zhe Hou, Vijay Ganesh
Publisher: Springer Nature, 2021-10-13
Pages: 384
Language: en
ISBN_13:9783030888855
ISBN_10:3030888851
Subject: Computers

Automated Deduction – CADE 27

27th International Conference on Automated Deduction, Natal,...

Automated Deduction – CADE 27
جزئیات و درخواست
By Pascal Fontaine
Publisher: Springer Nature, 2019-08-20
Pages: 603
Language: en
ISBN_13:9783030294366
ISBN_10:3030294366
Subject: Computers

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtua...

Automated Deduction – CADE 28
جزئیات و درخواست
By André Platzer
Publisher: Springer Nature, 2021
Pages: 655
Language: en
ISBN_13:9783030798765
ISBN_10:3030798763
Subject: Artificial intelligence
Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Biere
Publisher: Springer Nature, 2020
Pages: 399
Language: en
ISBN_13:9783031572494
ISBN_10:3031572491

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 Science & Business Media, 2009-03-09
Pages: 470
Language: en
ISBN_13:9783642007675
ISBN_10:3642007678
Subject: Computers

Automated Technology for Verification and Analysis

9th International Symposium, ATVA 2011, Taipei, Taiwan, Octo...

Automated Technology for Verification and Analysis
جزئیات و درخواست
By Tevfik Bultan, Pao-Ann Hsiung
Publisher: Springer Science & Business Media, 2011-09-21
Pages: 545
Language: en
ISBN_13:9783642243714
ISBN_10:3642243711
Subject: Computers

Frontiers of Combining Systems

13th International Symposium, FroCoS 2021, Birmingham, UK, S...

Frontiers of Combining Systems
جزئیات و درخواست
By Boris Konev, Giles Reger
Publisher: Springer Nature, 2021-08-31
Pages: 314
Language: en
ISBN_13:9783030862053
ISBN_10:3030862054
Subject: Computers

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, Sep...

Formal Methods for Industrial Critical Systems
جزئیات و درخواست
By Anne E. Haxthausen
Publisher: Springer Nature,
Pages: 267
Language: en
ISBN_13:9783031681509
ISBN_10:3031681509

Tools and Algorithms for the Construction and Analysis of Systems

16th International Conference, TACAS 2010, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Javier Esparza, Rupak Majumdar
Publisher: Springer, 2010-03-10
Pages: 482
Language: en
ISBN_13:9783642120022
ISBN_10:3642120024
Subject: Computers

Theory and Applications of Satisfiability Testing – SAT 2008

11th International Conference, SAT 2008, Guangzhou, China, M...

Theory and Applications of Satisfiability Testing – SAT 2008
جزئیات و درخواست
By Hans Kleine Büning, Xishun Zhao
Publisher: Springer, 2008-05-07
Pages: 315
Language: en
ISBN_13:9783540797197
ISBN_10:354079719X
Subject: Mathematics
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
جزئیات و درخواست
By Tiziana Margaria
Publisher: Springer Nature,
Pages: 339
Language: en
ISBN_13:9783031753879
ISBN_10:3031753879

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Armin Biere, David Parker
Publisher: Springer Nature, 2020-04-17
Pages: 437
Language: en
ISBN_13:9783030452377
ISBN_10:3030452379
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Parosh Aziz Abdulla, K. Rustan M. Leino
Publisher: Springer, 2011-03-14
Pages: 409
Language: en
ISBN_13:9783642198359
ISBN_10:364219835X
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

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

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