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

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

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September ...

Higher Order Logic Theorem Proving and Its Applications
جزئیات و درخواست
By E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
Publisher: Springer Science & Business Media, 1995-08-23
Pages: 424
Language: en
ISBN_10:3540602755
ISBN_13:9783540602750
Subject: Computers

Higher Order Logic Theorem Proving and Its Applications

7th International Workshop, Valletta, Malta, September 19-22...

Higher Order Logic Theorem Proving and Its Applications
جزئیات و درخواست
By Thomas F. Melham
Publisher: Springer Science & Business Media, 1994-09-07
Pages: 488
Language: en
ISBN_10:3540584501
ISBN_13:9783540584506
Subject: Computers

The Seventeen Provers of the World

Foreword by Dana S. Scott

The Seventeen Provers of the World
جزئیات و درخواست
By Freek Wiedijk
Publisher: Springer, 2006-01-30
Pages: 172
Language: en
ISBN_13:9783540328889
ISBN_10:3540328882
Subject: Computers
Computational Logic
جزئیات و درخواست
By Dov M. Gabbay, Jörg H. Siekmann, John Woods
Publisher: Newnes, 2014-12-09
Pages: 737
Language: en
ISBN_13:9780080930671
ISBN_10:0080930670
Subject: Mathematics
Higher Order Logic Theorem Proving and Its Applications
جزئیات و درخواست
1995
Pages: 424
Language: en
OTHER:UOM:39015037802082
Subject: Automatic theorem proving

Theorem Proving in Higher Order Logics

17th International Conference, TPHOLS 2004, Park City, Utah,...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Publisher: Springer Science & Business Media, 2004-09-01
Pages: 345
Language: en
ISBN_13:9783540230175
ISBN_10:3540230173
Subject: Computers

Theorem Proving in Higher Order Logics

13th International Conference, TPHOLs 2000 Portland, OR, USA...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Mark Aagaard, John Harrison
Publisher: Springer, 2007-07-23
Pages: 546
Language: en
ISBN_13:9783540446590
ISBN_10:3540446591
Subject: Computers

Proof, Language, and Interaction

Essays in Honour of Robin Milner

Proof, Language, and Interaction
جزئیات و درخواست
By Robin Milner
Publisher: MIT Press, 2000
Pages: 748
Language: en
ISBN_10:0262161885
ISBN_13:9780262161886
Subject: Computers

Higher Order Logic Theorem Proving and its Applications

Proceedings of the IFIP TC10/WG10.2 International Workshop o...

Higher Order Logic Theorem Proving and its Applications
جزئیات و درخواست
By L.J.M. Claesen, M.J.C. Gordon
Publisher: Elsevier, 2014-05-23
Pages: 588
Language: en
ISBN_13:9781483298405
ISBN_10:148329840X
Subject: Mathematics

Higher Order Logic Theorem Proving and Its Applications

6th International Workshop, HUG '93, Vancouver, B.C., Canada...

Higher Order Logic Theorem Proving and Its Applications
جزئیات و درخواست
By Jeffrey J. Joyce, Carl-Johan H. Seger
Publisher: Springer Science & Business Media, 1994-04-28
Pages: 538
Language: en
ISBN_10:3540578269
ISBN_13:9783540578260
Subject: Computers

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, Augu...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Joe Hurd, Tom Melham
Publisher: Springer, 2005-08-29
Pages: 418
Language: en
ISBN_13:9783540318200
ISBN_10:3540318208
Subject: Computers

Frontiers of Combining Systems

4th International Workshop, FroCoS 2002, Santa Margherita Li...

Frontiers of Combining Systems
جزئیات و درخواست
By Alessandro Armando
Publisher: Springer Science & Business Media, 2002
Pages: 267
Language: en
ISBN_13:9783540433811
ISBN_10:3540433813
Subject: Artificial intelligence
CASE '95
جزئیات و درخواست
By Hausi A. Müller, Ronald J. Norman
1995
Pages: 434
Language: en
OTHER:UCSC:32106011548028
Subject: Computers

COLOG-88

International Conference on Computer Logic, Tallinn, USSR, D...

COLOG-88
جزئیات و درخواست
By Per Martin-Löf, Grigori Mints
Publisher: Springer Science & Business Media, 1990-02-21
Pages: 348
Language: en
ISBN_10:3540523359
ISBN_13:9783540523352
Subject: Computers

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotl...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Richard J. Boulton, Paul B. Jackson
Publisher: Springer, 2003-06-30
Pages: 405
Language: en
ISBN_13:9783540447559
ISBN_10:3540447555
Subject: Computers

Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs'98, Canberra, Australi...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Jim Grundy, Malcolm Newey
Publisher: Springer Science & Business Media, 1998-09-09
Pages: 516
Language: en
ISBN_10:3540649875
ISBN_13:9783540649878
Subject: Computers

Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of...

Foundations of Software Science and Computational Structures
جزئیات و درخواست
By Helmut Seidl
Publisher: Springer Science & Business Media, 2007-07-02
Pages: 388
Language: en
ISBN_13:9783540713890
ISBN_10:3540713891
Subject: Computers

System Architecture

An Ordinary Engineering Discipline

System Architecture
جزئیات و درخواست
By Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz
Publisher: Springer, 2016-10-04
Pages: 517
Language: en
ISBN_13:9783319430652
ISBN_10:3319430653
Subject: Computers

Theorem Provers in Circuit Design

Theory, Practice and Experience

Theorem Provers in Circuit Design
جزئیات و درخواست
By Ramayya Kumar, Thomas Kropf
Publisher: Springer Science & Business Media, 1995-03-06
Pages: 324
Language: en
ISBN_10:3540590471
ISBN_13:9783540590477
Subject: Computers

Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, Co...

Unifying Theories of Programming
جزئیات و درخواست
By Steve Dunne, Bill Stoddart
Publisher: Springer, 2006-06-22
Pages: 265
Language: en
ISBN_13:9783540347521
ISBN_10:3540347526
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

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

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