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

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

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

Theory and Applications of Satisfiability Testing - SAT 2009

12th International Conference, SAT 2009, Swansea, UK, June 3...

Theory and Applications of Satisfiability Testing - SAT 2009
جزئیات و درخواست
By Oliver Kullmann
Publisher: Springer, 2009-06-29
Pages: 551
Language: en
ISBN_13:9783642027772
ISBN_10:3642027776
Subject: Mathematics
Handbook of Satisfiability
جزئیات و درخواست
By A. Biere, H. van Maaren
Publisher: IOS Press, 2021-05-05
Pages: 1486
Language: en
ISBN_13:9781643681610
ISBN_10:1643681613
Subject: Computers
Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016
جزئیات و درخواست
By Yaxin Bi, Supriya Kapoor, Rahul Bhatia
Publisher: Springer, 2017-08-19
Pages: 1163
Language: en
ISBN_13:9783319569949
ISBN_10:3319569945
Subject: Technology & Engineering
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
جزئیات و درخواست
By Carsten Gremzow
Publisher: Univerlagtuberlin, 2009
Pages: 257
Language: en
ISBN_13:9783798321182
ISBN_10:3798321183

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, Fran...

Automated Reasoning
جزئیات و درخواست
By Christoph Benzmüller
Publisher: Springer Nature,
Pages: 493
Language: en
ISBN_13:9783031634987
ISBN_10:3031634985

Logic-Based Program Synthesis and Transformation

33rd International Symposium, LOPSTR 2023, Cascais, Portugal...

Logic-Based Program Synthesis and Transformation
جزئیات و درخواست
By Robert Glück, Bishoksan Kafle
Publisher: Springer Nature, 2023-11-16
Pages: 215
Language: en
ISBN_13:9783031457845
ISBN_10:3031457846
Subject: Computers
Encyclopedia of Algorithms
جزئیات و درخواست
By Ming-Yang Kao
Publisher: Springer Science & Business Media, 2008-08-06
Pages: 1200
Language: en
ISBN_13:9780387307701
ISBN_10:0387307702
Subject: Computers
Advanced Techniques in Logic Synthesis, Optimizations and Applications
جزئیات و درخواست
By Kanupriya Gulati
Publisher: Springer Science & Business Media, 2010-11-25
Pages: 423
Language: en
ISBN_13:9781441975188
ISBN_10:1441975187
Subject: Technology & Engineering
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
جزئیات و درخواست
By Ivo Düntsch, Edwin Mares
Publisher: Springer Nature, 2021-09-24
Pages: 591
Language: en
ISBN_13:9783030714307
ISBN_10:3030714306
Subject: Philosophy

OpenMP in a New Era of Parallelism

4th International Workshop, IWOMP 2008 West Lafayette, IN, U...

OpenMP in a New Era of Parallelism
جزئیات و درخواست
By Rudi Eigenmann, Bronis R. Supinski
Publisher: Springer Science & Business Media, 2008-04-25
Pages: 200
Language: en
ISBN_13:9783540795605
ISBN_10:354079560X
Subject: Computers
Algebraic Cryptanalysis
جزئیات و درخواست
By Gregory Bard
Publisher: Springer Science & Business Media, 2009-08-14
Pages: 372
Language: en
ISBN_13:9780387887579
ISBN_10:0387887571
Subject: Computers
PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023
جزئیات و درخواست
By Alexander Nadel , Kristin Yvonne Rozier
Publisher: TU Wien Academic Press, 2023-10-13
Pages: 332
Language: en
ISBN_13:9783854480600
ISBN_10:3854480601
Subject: Computers
Understanding Logic Locking
جزئیات و درخواست
By Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor
Publisher: Springer Nature, 2023-10-24
Pages: 385
Language: en
ISBN_13:9783031379895
ISBN_10:3031379896
Subject: Technology & Engineering

Automated Reasoning

4th International Joint Conference, IJCAR 2008, Sydney, NSW,...

Automated Reasoning
جزئیات و درخواست
By Alessandro Armando, Peter Baumgartner, Gilles Dowek
Publisher: Springer, 2008-08-30
Pages: 568
Language: en
ISBN_13:9783540710707
ISBN_10:3540710701
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

15th International Conference, LPAR 2008, Doha, Qatar, Novem...

Logic for Programming, Artificial Intelligence, and Reasoning
جزئیات و درخواست
By Iliano Cervesato, Helmut Veith, Andrei Voronkov
Publisher: Springer, 2008-11-16
Pages: 727
Language: en
ISBN_13:9783540894391
ISBN_10:354089439X
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
Handbook of Parallel Constraint Reasoning
جزئیات و درخواست
By Youssef Hamadi, Lakhdar Sais
Publisher: Springer, 2018-04-05
Pages: 687
Language: en
ISBN_13:9783319635163
ISBN_10:3319635166
Subject: Computers
Handbook of Model Checking
جزئیات و درخواست
By Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Publisher: Springer, 2018-05-18
Pages: 1210
Language: en
ISBN_13:9783319105758
ISBN_10:3319105752
Subject: Computers

ECAI 2020

24th European Conference on Artificial Intelligence, 29 Augu...

ECAI 2020
جزئیات و درخواست
By G. De Giacomo, A. Catala, B. Dilkina
Publisher: IOS Press, 2020-09-11
Pages: 3122
Language: en
ISBN_13:9781643681016
ISBN_10:164368101X
Subject: Computers
«123456789»

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

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

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه 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

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

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