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

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

A Machine-Checked, Type-Safe Model of Java Concurrency

Language, Virtual Machine, Memory Model, and Verified Compil...

A Machine-Checked, Type-Safe Model of Java Concurrency
جزئیات و درخواست
By Andreas Lochbihler
Publisher: KIT Scientific Publishing, 2014-06-04
Pages: 440
Language: en
ISBN_13:9783866448858
ISBN_10:3866448856
Subject: Computers

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July ...

Verified Software. Theories, Tools, and Experiments
جزئیات و درخواست
By Ruzica Piskac, Philipp Rümmer
Publisher: Springer, 2018-11-23
Pages: 359
Language: en
ISBN_13:9783030035921
ISBN_10:3030035921
Subject: Computers

Principled Software Development

Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of...

Principled Software Development
جزئیات و درخواست
By Peter Müller, Ina Schaefer
Publisher: Springer, 2018-10-23
Pages: 326
Language: en
ISBN_13:9783319980478
ISBN_10:3319980475
Subject: Computers

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

Strategic Risk Leadership

Engaging a World of Risk, Uncertainty, and the Unknown

Strategic Risk Leadership
جزئیات و درخواست
By Torben Juul Andersen, Peter C. Young
Publisher: Routledge, 2020-02-24
Language: en
ISBN_10:1000028860
ISBN_13:9781000028867
Subject: Business & Economics

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the ...

Interactive Theorem Proving
جزئیات و درخواست
By Gerwin Klein, Ruben Gamboa
Publisher: Springer, 2014-06-28
Pages: 572
Language: en
ISBN_13:9783319089706
ISBN_10:3319089706
Subject: Mathematics

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canad...

Computer Aided Verification
جزئیات و درخواست
By Arie Gurfinkel
Publisher: Springer Nature,
Pages: 523
Language: en
ISBN_13:9783031656279
ISBN_10:303165627X

Tests and Proofs

7th International Conference, TAP 2013, Budapest, Hungary, J...

Tests and Proofs
جزئیات و درخواست
By Margus Veanes, Luca Vigano
Publisher: Springer, 2013-06-12
Pages: 242
Language: en
ISBN_13:9783642389160
ISBN_10:3642389163
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

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, Augu...

Computer Aided Verification
جزئیات و درخواست
By Sharon Shoham, Yakir Vizel
Publisher: Springer Nature, 2022
Pages: 560
Language: en
ISBN_13:9783031131882
ISBN_10:3031131886
Subject: Artificial intelligence

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 Programming and Security

International Conference on Research in Smart Cards, E-smart...

Smart Card Programming and Security
جزئیات و درخواست
By Isabelle Attali, Thomas Jensen
Publisher: Springer, 2003-08-06
Pages: 264
Language: en
ISBN_13:9783540454182
ISBN_10:3540454187
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

Object-Oriented Technology. ECOOP'99 Workshop Reader

ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, J...

Object-Oriented Technology. ECOOP'99 Workshop Reader
جزئیات و درخواست
By Ana Moreira, Serge Demeyer
Publisher: Springer, 2003-07-31
Pages: 405
Language: en
ISBN_13:9783540465898
ISBN_10:3540465898
Subject: Computers
Formal Syntax and Semantics of Java
جزئیات و درخواست
By Jim Alves-Foss
Publisher: Springer, 2003-07-31
Pages: 410
Language: en
ISBN_13:9783540487371
ISBN_10:3540487379
Subject: Computers

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, 2011-08-02
Pages: 394
Language: en
ISBN_13:9783642228636
ISBN_10:3642228631
Subject: Computers

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009, Munich, Germany,...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Publisher: Springer, 2009-08-20
Pages: 517
Language: en
ISBN_13:9783642033599
ISBN_10:3642033598
Subject: Computers

Programming Languages and Systems

17th European Symposium on Programming, ESOP 2008, Held as P...

Programming Languages and Systems
جزئیات و درخواست
By Sophia Drossopoulou
Publisher: Springer, 2008-04-03
Pages: 410
Language: en
ISBN_13:9783540787396
ISBN_10:3540787399
Subject: Computers

Empirical Software Engineering and Verification

International Summer Schools, LASER 2008-2010, Elba Island, ...

Empirical Software Engineering and Verification
جزئیات و درخواست
By Bertrand Meyer, Martin Nordio
Publisher: Springer, 2012-02-02
Pages: 220
Language: en
ISBN_13:9783642252310
ISBN_10:3642252311
Subject: Computers

Computational Logic in Multi-Agent Systems

8th International Workshop, CLIMA VIII, Porto, Portugal, Sep...

Computational Logic in Multi-Agent Systems
جزئیات و درخواست
By Fariba Sadri
Publisher: Springer Science & Business Media, 2008-10-23
Pages: 309
Language: en
ISBN_13:9783540888321
ISBN_10:3540888322
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

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

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