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

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

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The ...

Interactive Theorem Proving
جزئیات و درخواست
By Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Publisher: Springer Science & Business Media, 2011-08-02
Pages: 394
Language: en
ISBN_13:9783642228629
ISBN_10:3642228623
Subject: Computers

Foundations of Security Analysis and Design III

FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III
جزئیات و درخواست
By Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
Publisher: Springer Science & Business Media, 2005-09-12
Pages: 280
Language: en
ISBN_13:9783540289555
ISBN_10:3540289550
Subject: Computers

Programming Languages and Systems

16th European Symposium on Programming, ESOP 2007, Held as P...

Programming Languages and Systems
جزئیات و درخواست
By Rocco De Nicola
Publisher: Springer, 2007-07-16
Pages: 551
Language: en
ISBN_13:9783540713166
ISBN_10:3540713166
Subject: Computers

Programming Languages and Systems

21st European Symposium on Programming, ESOP 2012, Held as P...

Programming Languages and Systems
جزئیات و درخواست
By Helmut Seidl
Publisher: Springer, 2012-03-22
Pages: 614
Language: en
ISBN_13:9783642288692
ISBN_10:3642288693
Subject: Computers

Smart Card Research and Advanced Applications

7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, ...

Smart Card Research and Advanced Applications
جزئیات و درخواست
By Josep Domingo-Ferrer
Publisher: Springer Science & Business Media, 2006-04-03
Pages: 369
Language: en
ISBN_13:9783540333111
ISBN_10:3540333118
Subject: Business & Economics

Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as P...

Programming Languages and Systems
جزئیات و درخواست
By Matthias Felleisen, Philippa Gardner
Publisher: Springer, 2013-03-02
Pages: 635
Language: en
ISBN_13:9783642370366
ISBN_10:3642370365
Subject: Computers

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the ...

Interactive Theorem Proving
جزئیات و درخواست
By Jeremy Avigad, Assia Mahboubi
Publisher: Springer, 2018-07-03
Pages: 657
Language: en
ISBN_13:9783319948218
ISBN_10:3319948210
Subject: Mathematics

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July...

Interactive Theorem Proving
جزئیات و درخواست
By Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Publisher: Springer, 2013-07-22
Pages: 508
Language: en
ISBN_13:9783642396342
ISBN_10:3642396348
Subject: Mathematics

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA...

Interactive Theorem Proving
جزئیات و درخواست
By Lennart Beringer, Amy Felty
Publisher: Springer, 2012-08-10
Pages: 429
Language: en
ISBN_13:9783642323478
ISBN_10:3642323472
Subject: Mathematics

Aliasing in Object-Oriented Programming

Types, Analysis and Verification

Aliasing in Object-Oriented Programming
جزئیات و درخواست
By David Clarke, Tobias Wrigstad, James Noble
Publisher: Springer, 2013-03-21
Pages: 521
Language: en
ISBN_13:9783642369469
ISBN_10:3642369464
Subject: Computers

ECOOP 2010 -- Object-Oriented Programming

24th European Conference, Maribor, Slovenia, June 21-25, 201...

ECOOP 2010 -- Object-Oriented Programming
جزئیات و درخواست
By Theo D'Hondt
Publisher: Springer Science & Business Media, 2010-06-17
Pages: 610
Language: en
ISBN_13:9783642141065
ISBN_10:3642141064
Subject: Computers

Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, Septe...

Static Analysis
جزئیات و درخواست
By Xavier Rival
Publisher: Springer, 2016-09-01
Pages: 518
Language: en
ISBN_13:9783662534137
ISBN_10:3662534134
Subject: Computers

Semantics of the Probabilistic Typed Lambda Calculus

Markov Chain Semantics, Termination Behavior, and Denotation...

Semantics of the Probabilistic Typed Lambda Calculus
جزئیات و درخواست
By Dirk Draheim
Publisher: Springer, 2017-02-28
Pages: 222
Language: en
ISBN_13:9783642551987
ISBN_10:364255198X
Subject: Computers
Proof Technology in Mathematics Research and Teaching
جزئیات و درخواست
By Gila Hanna, David A. Reid, Michael de Villiers
Publisher: Springer Nature, 2019-10-02
Pages: 374
Language: en
ISBN_13:9783030284831
ISBN_10:3030284832
Subject: Education

ECOOP 2013 -- Object-Oriented Programming

27th European Conference, Montpellier, France, July 1-5, 201...

ECOOP 2013 -- Object-Oriented Programming
جزئیات و درخواست
By Giuseppe Castagna
Publisher: Springer, 2013-06-25
Pages: 761
Language: en
ISBN_13:9783642390388
ISBN_10:3642390382
Subject: Computers

Trends in Functional Programming

23rd International Symposium, TFP 2022, Virtual Event, March...

Trends in Functional Programming
جزئیات و درخواست
By Wouter Swierstra, Nicolas Wu
Publisher: Springer Nature, 2023-01-01
Pages: 200
Language: en
ISBN_13:9783031213144
ISBN_10:3031213149
Subject: Computers
Malware Detection
جزئیات و درخواست
By Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang
Publisher: Springer Science & Business Media, 2007-03-06
Pages: 307
Language: en
ISBN_13:9780387445991
ISBN_10:0387445994
Subject: Computers

Computational Science -- ICCS 2005

5th International Conference, Atlanta, GA, USA, May 22-25, 2...

Computational Science -- ICCS 2005
جزئیات و درخواست
By V.S. Sunderam, G. Dick van Albada, Peter M.A. Sloot, Jack Dongarra
Publisher: Springer, 2005-05-04
Pages: 1201
Language: en
ISBN_13:9783540321187
ISBN_10:3540321187
Subject: Computers

Mathematics of Program Construction

10th International Conference, MPC 2010, Québec City, Canada...

Mathematics of Program Construction
جزئیات و درخواست
By Claude Bolduc, Jules Desharnais, Bechir Ktari
Publisher: Springer, 2010-06-26
Pages: 435
Language: en
ISBN_13:9783642133213
ISBN_10:3642133215
Subject: Computers

Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austria...

Intelligent Computer Mathematics
جزئیات و درخواست
By Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Publisher: Springer, 2018-08-02
Pages: 299
Language: en
ISBN_13:9783319968124
ISBN_10:3319968122
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

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

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