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

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

Computer Science Logic

CSL ... : Proceedings

Computer Science Logic
جزئیات و درخواست
2004
Pages: 550
Language: en
OTHER:UOM:39015058888465
Subject: Computer science

Logic Programming

Operational Semantics and Proof Theory

Logic Programming
جزئیات و درخواست
By James H. Andrews
Publisher: Cambridge University Press, 1992-12-17
Pages: 120
Language: en
ISBN_13:9780521432191
ISBN_10:0521432197
Subject: Computers

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

27th International Conference, New Delhi, India, December 12...

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
جزئیات و درخواست
By V. Arvind, Sanjiva Prasad
Publisher: Springer, 2007-11-27
Pages: 571
Language: en
ISBN_13:9783540770503
ISBN_10:354077050X
Subject: Computers

Computer Science Logic

13th International Workshop, CSL'99, 8th Annual Conference o...

Computer Science Logic
جزئیات و درخواست
By Jörg Flum, Mario Rodriguez-Artalejo
Publisher: Springer, 2003-07-31
Pages: 591
Language: en
ISBN_13:9783540481683
ISBN_10:3540481680
Subject: Computers

Relational Methods in Computer Science

8th International Seminar on Relational Methods in Computer ...

Relational Methods in Computer Science
جزئیات و درخواست
By Wendy MacCaull, Michael Winter, Ivo Düntsch
Publisher: Springer Science & Business Media, 2006-04-18
Pages: 271
Language: en
ISBN_13:9783540333395
ISBN_10:3540333398
Subject: Computers
Lambda Calculus with Types
جزئیات و درخواست
By Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press, 2013-06-20
Pages: 969
Language: en
ISBN_13:9781107276345
ISBN_10:1107276349
Subject: Mathematics
A Proof Theory for General Unification
جزئیات و درخواست
By W. Snyder
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 181
Language: en
ISBN_13:9781461204350
ISBN_10:1461204356
Subject: Computers

Proof Analysis

A Contribution to Hilbert's Last Problem

Proof Analysis
جزئیات و درخواست
By Sara Negri, Jan von Plato
Publisher: Cambridge University Press, 2011-09-29
Pages: 279
Language: en
ISBN_13:9781139501521
ISBN_10:1139501526
Subject: Mathematics
The Bulletin of Symbolic Logic
جزئیات و درخواست
2003
Pages: 616
Language: en
OTHER:UOM:39015057339445
Subject: Electronic journals

Das Erfüllbarkeitsproblem SAT

Algorithmen und Analysen

Das Erfüllbarkeitsproblem SAT
جزئیات و درخواست
By Schöning, Uwe, Torán, Jacobo
Publisher: Lehmanns Media, 2012-01-01
Pages: 181
Language: de
ISBN_13:9783865417244
ISBN_10:3865417248
Subject: Computer algorithms

Programmverifikation

Sequentielle, parallele und verteilte Programme

Programmverifikation
جزئیات و درخواست
By Krzysztof R. Apt, Ernst-Rüdiger Olderog
Publisher: Springer-Verlag, 2013-03-07
Pages: 268
Language: de
ISBN_13:9783642579479
ISBN_10:3642579477
Subject: Computers
Feasible Mathematics II
جزئیات و درخواست
By Peter Clote, Jeffrey B. Remmel
Publisher: Springer Science & Business Media, 2013-03-13
Pages: 456
Language: en
ISBN_13:9781461225669
ISBN_10:1461225663
Subject: Computers

Structures and Norms in Science

Volume Two of the Tenth International Congress of Logic, Met...

Structures and Norms in Science
جزئیات و درخواست
By Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 442
Language: en
ISBN_13:9789401705387
ISBN_10:9401705380
Subject: Science

Computer Science 2

Research and Applications

Computer Science 2
جزئیات و درخواست
By Ricardo Baeza-Yates
Publisher: Springer Science & Business Media, 2013-06-29
Pages: 576
Language: en
ISBN_13:9781475798050
ISBN_10:1475798059
Subject: Social Science
Intelligence Science
جزئیات و درخواست
By Zhongzhi Shi
Publisher: World Scientific, 2012-03-26
Pages: 682
Language: en
ISBN_13:9789814458382
ISBN_10:9814458384
Subject: Computers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

11th Asian Computing Science Conference, Tokyo, Japan, Decem...

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
جزئیات و درخواست
By Mitsu Okada, Ichiro Satoh
Publisher: Springer, 2008-01-25
Pages: 373
Language: en
ISBN_13:9783540775058
ISBN_10:3540775056
Subject: Computers

Logic, Language and Reasoning

Essays in Honour of Dov Gabbay

Logic, Language and Reasoning
جزئیات و درخواست
By Hans Jürgen Ohlbach, U. Reyle
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 431
Language: en
ISBN_13:9789401145749
ISBN_10:9401145741
Subject: Philosophy
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
جزئیات و درخواست
By Klaus Mainzer, Stefania Centrone
Publisher: World Scientific, 2023-05-12
Pages: 221
Language: en
ISBN_13:9789811268557
ISBN_10:981126855X
Subject: Mathematics
Formal Models and Semantics
جزئیات و درخواست
By Bozzano G Luisa
Publisher: Elsevier, 2014-06-28
Pages: 1288
Language: en
ISBN_13:9780080933924
ISBN_10:0080933920
Subject: Mathematics
Logic Colloquium 2004
جزئیات و درخواست
By Alessandro Andretta, Keith Kearnes, Domenico Zambella
Publisher: Cambridge University Press, 2008
Pages: 221
Language: en
ISBN_13:9780521884242
ISBN_10:0521884241
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

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

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