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

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

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
Composing Model-Based Analysis Tools
جزئیات و درخواست
By Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler
Publisher: Springer Nature, 2021-12-02
Pages: 311
Language: en
ISBN_13:9783030819156
ISBN_10:3030819159
Subject: Computers

Automated Reasoning

7th International Joint Conference, IJCAR 2014, Held as Part...

Automated Reasoning
جزئیات و درخواست
By Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Publisher: Springer, 2014-07-01
Pages: 550
Language: en
ISBN_13:9783319085876
ISBN_10:3319085875
Subject: Mathematics

Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, Sept...

Software Engineering and Formal Methods
جزئیات و درخواست
By Peter Csaba Ölveczky, Gwen Salaün
Publisher: Springer Nature, 2019-09-09
Pages: 547
Language: en
ISBN_13:9783030304461
ISBN_10:3030304469
Subject: Computers

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the...

Computer Aided Verification
جزئیات و درخواست
By Armin Biere, Roderick Bloem
Publisher: Springer, 2014-06-28
Pages: 904
Language: en
ISBN_13:9783319088679
ISBN_10:331908867X
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

Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Dana Fisman, Grigore Rosu
Publisher: Springer Nature, 2022-04-30
Pages: 506
Language: en
ISBN_13:9783030995270
ISBN_10:3030995275
Subject: Computers

Mathematical Aspects of Computer and Information Sciences

7th International Conference, MACIS 2017, Vienna, Austria, N...

Mathematical Aspects of Computer and Information Sciences
جزئیات و درخواست
By Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Publisher: Springer, 2017-12-20
Pages: 466
Language: en
ISBN_13:9783319724539
ISBN_10:3319724533
Subject: Computers

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the...

Computer Aided Verification
جزئیات و درخواست
By Hana Chockler, Georg Weissenbacher
Publisher: Springer, 2018-07-20
Pages: 553
Language: en
ISBN_13:9783319961422
ISBN_10:331996142X
Subject: Computers

Decision Procedures

An Algorithmic Point of View

Decision Procedures
جزئیات و درخواست
By Daniel Kroening, Ofer Strichman
Publisher: Springer, 2016-11-22
Pages: 369
Language: en
ISBN_13:9783662504970
ISBN_10:3662504979
Subject: Computers

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, Septemb...

Formal Methods
جزئیات و درخواست
By Andre Platzer
Publisher: Springer Nature,
Pages: 669
Language: en
ISBN_13:9783031711770
ISBN_10:3031711777

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017, ...

Hardware and Software: Verification and Testing
جزئیات و درخواست
By Ofer Strichman, Rachel Tzoref-Brill
Publisher: Springer, 2017-11-11
Pages: 268
Language: en
ISBN_13:9783319703893
ISBN_10:3319703897
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

14th International Conference, VMCAI 2013, Rome, Italy, Janu...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Publisher: Springer, 2013-01-03
Pages: 567
Language: en
ISBN_13:9783642358739
ISBN_10:364235873X
Subject: Computers

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July...

Computer Aided Verification
جزئیات و درخواست
By Constantin Enea, Akash Lal
Publisher: Springer Nature, 2023-07-16
Pages: 512
Language: en
ISBN_13:9783031377068
ISBN_10:3031377060
Subject: Computers

Numerical Software Verification

12th International Workshop, NSV 2019, New York City, NY, US...

Numerical Software Verification
جزئیات و درخواست
By Majid Zamani, Damien Zufferey
Publisher: Springer, 2019-08-02
Pages: 154
Language: en
ISBN_13:9783030284237
ISBN_10:3030284239
Subject: Computers

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, H...

Hardware and Software: Verification and Testing
جزئیات و درخواست
By Hana Chockler, Alan J. Hu
Publisher: Springer, 2009-04-20
Pages: 226
Language: en
ISBN_13:9783642017025
ISBN_10:3642017029
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

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

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