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

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering

Logic, Language, Information, and Computation

28th International Workshop, WoLLIC 2022, Iași, Romania, Sep...

Logic, Language, Information, and Computation

Dynamic Logic. New Trends and Applications

Third International Workshop, DaLí 2020, Prague, Czech Repub...

Dynamic Logic. New Trends and Applications
By Manuel A. Martins, Igor Sedlár
Publisher: Springer Nature, 2020-12-21
Pages: 304
Language: en
ISBN_13:9783030658403
ISBN_10:3030658406
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

Logics in Artificial Intelligence

16th European Conference, JELIA 2019, Rende, Italy, May 7–11...

Logics in Artificial Intelligence
By Francesco Calimeri, Nicola Leone, Marco Manna
Publisher: Springer, 2019-05-06
Pages: 825
Language: en
ISBN_13:9783030195700
ISBN_10:3030195708
Subject: Computers

Multi-Agent Systems

20th European Conference, EUMAS 2023, Naples, Italy, Septemb...

Multi-Agent Systems
By Vadim Malvone, Aniello Murano
Publisher: Springer Nature, 2023-09-06
Pages: 571
Language: en
ISBN_13:9783031432644
ISBN_10:3031432649
Subject: Computers

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK...

Automated Reasoning with Analytic Tableaux and Related Methods
By Anupam Das, Sara Negri
Publisher: Springer Nature, 2021-08-31
Pages: 476
Language: en
ISBN_13:9783030860592
ISBN_10:3030860590
Subject: Computers

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech ...

Automated Reasoning with Analytic Tableaux and Related Methods
By Revantha Ramanayake, Josef Urban
Publisher: Springer Nature, 2023-10-15
Pages: 487
Language: en
ISBN_13:9783031435133
ISBN_10:3031435133
Subject: Computers

Logics in Artificial Intelligence

18th European Conference, JELIA 2023, Dresden, Germany, Sept...

Logics in Artificial Intelligence

Computer Safety, Reliability, and Security

SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and ...

Computer Safety, Reliability, and Security
By Floor Koornneef, Coen van Gulijk
Publisher: Springer, 2015-09-09
Pages: 447
Language: en
ISBN_13:9783319242491
ISBN_10:3319242490
Subject: Computers

Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, Oc...

Logic and Argumentation

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering
By Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Publisher: Springer, 2016-10-31
Pages: 503
Language: en
ISBN_13:9783319478463
ISBN_10:331947846X
Subject: Computers

Foundations of Software Science and Computation Structures

23rd International Conference, FOSSACS 2020, Held as Part of...

Foundations of Software Science and Computation Structures

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 Reasoning with Analytic Tableaux and Related Methods

24th International Conference, TABLEAUX 2015, Wroclaw, Polan...

Automated Reasoning with Analytic Tableaux and Related Methods
By Hans De Nivelle
Publisher: Springer, 2015-09-10
Pages: 362
Language: en
ISBN_13:9783319243122
ISBN_10:3319243128
Subject: Computers

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, Marc...

Formal Methods

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

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

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

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

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

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

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

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

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

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

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