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

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

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

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

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Ital...

Automated Reasoning
جزئیات و درخواست
By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
Publisher: Springer, 2003-06-29
Pages: 721
Language: en
ISBN_13:9783540457442
ISBN_10:3540457445
Subject: Computers

Theoretical Aspects of Computing - ICTAC 2006

Third International Colloquium, Tunis, Tunisia, November 20-...

Theoretical Aspects of Computing - ICTAC 2006
جزئیات و درخواست
By Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Publisher: Springer, 2006-11-02
Pages: 384
Language: en
ISBN_13:9783540488163
ISBN_10:3540488162
Subject: Computers

Designing Correct Circuits

Workshop jointly organised by the Universities of Oxford and...

Designing Correct Circuits
جزئیات و درخواست
By Geraint Jones, Mary Sheeran
Publisher: Springer Science & Business Media, 2013-12-14
Pages: 364
Language: en
ISBN_13:9781447135449
ISBN_10:144713544X
Subject: Computers

Logics in Artificial Intelligence

European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–1...

Logics in Artificial Intelligence
جزئیات و درخواست
By Farinas Luis Del Cerro, Ulrich Furbach
Publisher: Springer, 2003-05-20
Pages: 405
Language: en
ISBN_13:9783540495451
ISBN_10:3540495452
Subject: Computers

Computational Logic — CL 2000

First International Conference London, UK, July 24–28, 2000 ...

Computational Logic — CL 2000
جزئیات و درخواست
By John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau
Publisher: Springer, 2003-06-26
Pages: 1399
Language: en
ISBN_13:9783540449577
ISBN_10:3540449574
Subject: Computers

Relational and Kleene-Algebraic Methods in Computer Science

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

Relational and Kleene-Algebraic Methods in Computer Science
جزئیات و درخواست
By R. Berghammer, Bernhard Möller, Georg Struth
Publisher: Springer, 2004-05-14
Pages: 291
Language: en
ISBN_13:9783540247715
ISBN_10:3540247718
Subject: Mathematics

Rewriting Techniques and Applications

14th International Conference, RTA 2003, Valencia, Spain, Ju...

Rewriting Techniques and Applications
جزئیات و درخواست
By Robert Nieuwenhuis
Publisher: Springer, 2007-03-06
Pages: 527
Language: en
ISBN_13:9783540448815
ISBN_10:3540448810
Subject: Computers

9th International Conference on Automated Deduction

Argonne, Illinois, USA, May 23-26, 1988. Proceedings

9th International Conference on Automated Deduction
جزئیات و درخواست
By Ewing Lusk, Ross Overbeek
Publisher: Springer Science & Business Media, 1988-05-04
Pages: 778
Language: en
ISBN_10:354019343X
ISBN_13:9783540193432
Subject: Mathematics

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau...

Automated Deduction - CADE-15
جزئیات و درخواست
By Claude Kirchner, Helene Kirchner
Publisher: Springer Science & Business Media, 1998-06-24
Pages: 468
Language: en
ISBN_10:3540646752
ISBN_13:9783540646754
Subject: Computers
Functional Programming and Input/Output
جزئیات و درخواست
By Andrew D. Gordon
Publisher: Cambridge University Press, 1994-10-13
Pages: 188
Language: en
ISBN_10:0521471036
ISBN_13:9780521471039
Subject: Computers

Computer Security - ESORICS 2005

10th European Symposium on Research in Computer Security, Mi...

Computer Security - ESORICS 2005
جزئیات و درخواست
By Sabrina De Capitani di Vimercati
Publisher: Springer Science & Business Media, 2005-09
Pages: 520
Language: en
ISBN_13:9783540289630
ISBN_10:3540289631
Subject: Business & Economics

Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ire...

Automated Reasoning
جزئیات و درخواست
By David Basin, Michael Rusinowitch
Publisher: Springer Science & Business Media, 2004-06-22
Pages: 509
Language: en
ISBN_13:9783540223450
ISBN_10:3540223452
Subject: Computers

Types for Proofs and Programs

International Workshop, TYPES 2003, Torino, Italy, April 30 ...

Types for Proofs and Programs
جزئیات و درخواست
By Stefano Berardi, Mario Coppo, Ferruccio Damiani
Publisher: Springer, 2004-05-17
Pages: 418
Language: en
ISBN_13:9783540248491
ISBN_10:3540248498
Subject: Computers
Parity games, separations, and the modal μ-calculus
جزئیات و درخواست
By Dittmann, Christoph
Publisher: Universitätsverlag der TU Berlin, 2017-03-08
Pages: 295
Language: en
ISBN_13:9783798328877
ISBN_10:3798328870
Subject: Computers

Computer Security - ESORICS 2003

8th European Symposium on Research in Computer Security, Gjo...

Computer Security - ESORICS 2003
جزئیات و درخواست
By Einar Snekkenes
Publisher: Springer Science & Business Media, 2003-09-29
Pages: 354
Language: en
ISBN_13:9783540203001
ISBN_10:3540203001
Subject: Business & Economics

A Discipline of Multiprogramming

Programming Theory for Distributed Applications

A Discipline of Multiprogramming
جزئیات و درخواست
By Jayadev Misra
Publisher: Springer Science & Business Media, 2012-09-07
Pages: 430
Language: en
ISBN_13:9781441985286
ISBN_10:144198528X
Subject: Computers

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, Sept...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Publisher: Springer, 2003-07-31
Pages: 363
Language: en
ISBN_13:9783540482567
ISBN_10:3540482563
Subject: Mathematics

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Nether...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Ed Brinksma
Publisher: Springer Science & Business Media, 1997-03-20
Pages: 452
Language: en
ISBN_10:3540627901
ISBN_13:9783540627906
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

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

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