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

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

Lotos

naturwiss. Zeitschr

Lotos
Free Epub
جزئیات و درخواست
1859
Pages: 266
Language: de
OTHER:BSB:BSB11046139

Orte gesellschaftlichen Lernens

Frauenhäuser in Luxemburg als Aufgabenfeld der katholischen ...

Orte gesellschaftlichen Lernens
جزئیات و درخواست
By Margarete Ney
Publisher: Peter Lang, 2008
Pages: 220
Language: de
ISBN_10:3631563418
ISBN_13:9783631563410
Subject: Education
Sitzungsberichte des Deutschen naturwissenschaftlich-medizinischen Vereines für Böhmen "Lotos" in Prag
Free PDFFree Epub
جزئیات و درخواست
1859
Pages: 524
Language: de
OTHER:UOM:39015020092899
Subject: Science

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, No...

Logic Based Program Synthesis and Transformation
جزئیات و درخواست
By Alberto Pettorossi
Publisher: Springer Science & Business Media, 2002-07-17
Pages: 275
Language: en
ISBN_13:9783540439158
ISBN_10:3540439153
Subject: Computers

Typed Lambda Calculi and Applications

7th International Conference, TLCA 2005, Nara, Japan, April ...

Typed Lambda Calculi and Applications
جزئیات و درخواست
By Pawel Urzyczyn
Publisher: Springer, 2005-03-31
Pages: 443
Language: en
ISBN_13:9783540320142
ISBN_10:3540320148
Subject: Mathematics
Valley Boulevard Redevelopment Project CDBG, Los Angeles County
Free Epub
جزئیات و درخواست
1982
Pages: 276
Language: en
OTHER:NWU:35556030615082

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

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The ...

Types for Proofs and Programs
جزئیات و درخواست
By Herman Geuvers, Freek Wiedijk
Publisher: Springer Science & Business Media, 2003-04-28
Pages: 340
Language: en
ISBN_13:9783540140313
ISBN_10:354014031X
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

Foundations of Software Science and Computational Structures

8th International Conference, FOSSACS 2005, Held as Part of ...

Foundations of Software Science and Computational Structures
جزئیات و درخواست
By Vladimiro Sassone
Publisher: Springer, 2005-02-26
Pages: 532
Language: en
ISBN_13:9783540319825
ISBN_10:3540319824
Subject: Computers

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-...

Types for Proofs and Programs
جزئیات و درخواست
By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Publisher: Springer, 2003-07-31
Pages: 201
Language: en
ISBN_13:9783540445579
ISBN_10:3540445579
Subject: Computers

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, D...

Types for Proofs and Programs
جزئیات و درخواست
By Jean-Christophe Filliatre
Publisher: Springer Science & Business Media, 2006-01-25
Pages: 282
Language: en
ISBN_13:9783540314288
ISBN_10:3540314288
Subject: Computers

Typed Lambda Calculi and Applications

8th International Conference, TLCA 2007, Paris, France, June...

Typed Lambda Calculi and Applications
جزئیات و درخواست
By Simona Ronchi Della Rocca
Publisher: Springer, 2007-07-11
Pages: 405
Language: en
ISBN_13:9783540732280
ISBN_10:3540732284
Subject: Mathematics

Foundations of Software Science and Computational Structures

15th International Conference, FOSSACS 2012, Held as Part of...

Foundations of Software Science and Computational Structures
جزئیات و درخواست
By Lars Birkedal
Publisher: Springer, 2012-03-22
Pages: 497
Language: en
ISBN_13:9783642287299
ISBN_10:3642287298
Subject: Mathematics

Theorem Proving in Higher Order Logics

21st International Conference, TPHOLs 2008, Montreal, Canada...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Otmane Ait Mohamed, César Munoz, Sofiène Tahar
Publisher: Springer, 2008-10-04
Pages: 330
Language: en
ISBN_13:9783540710677
ISBN_10:3540710671
Subject: Computers

Mathematics of Program Construction

7th International Conference, MPC 2004, Stirling, Scotland, ...

Mathematics of Program Construction
جزئیات و درخواست
By Dexter Kozen, Carron Shankland
Publisher: Springer Science & Business Media, 2004-06-24
Pages: 410
Language: en
ISBN_13:9783540223801
ISBN_10:3540223800
Subject: Computers
Distributed Computing and Artificial Intelligence, Volume 2: Special Sessions 18th International Conference
جزئیات و درخواست
By Sara Rodríguez González, José Manuel Machado, Alfonso González-Briones, Jaroslaw Wikarek, Roussanka Loukanova
Publisher: Springer Nature, 2021-09-09
Pages: 229
Language: en
ISBN_13:9783030868871
ISBN_10:3030868877
Subject: Technology & Engineering

Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, Se...

Interactive Theorem Proving
جزئیات و درخواست
By Mauricio Ayala-Rincón, César A. Muñoz
Publisher: Springer, 2017-09-04
Pages: 550
Language: en
ISBN_13:9783319661070
ISBN_10:3319661078
Subject: Mathematics
Program Proofs
جزئیات و درخواست
By K. Rustan M. Leino
Publisher: MIT Press, 2023-03-07
Pages: 498
Language: en
ISBN_13:9780262546232
ISBN_10:026254623X
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
«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

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

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