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

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

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, Ju...

Computer Aided Verification
جزئیات و درخواست
By Rajeev Alur
Publisher: Springer Science & Business Media, 2004-06-29
Pages: 546
Language: en
ISBN_13:9783540223429
ISBN_10:3540223428
Subject: Computers

Computer Aided Verification

12th International Conference, CAV 2000 Chicago, IL, USA, Ju...

Computer Aided Verification
جزئیات و درخواست
By E. Allen Emerson, A. Prasad Sistla
Publisher: Springer, 2006-12-30
Pages: 593
Language: en
ISBN_13:9783540450474
ISBN_10:3540450475
Subject: Computers
Formal Methods for Control of Nonlinear Systems
جزئیات و درخواست
By Yinan Li, Jun Liu
Publisher: CRC Press, 2022-12-15
Pages: 276
Language: en
ISBN_13:9781000831948
ISBN_10:1000831949
Subject: Mathematics

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, A...

Computer Aided Verification
جزئیات و درخواست
By Thomas Ball, Robert B. Jones
Publisher: Springer, 2006-08-06
Pages: 577
Language: en
ISBN_13:9783540374114
ISBN_10:3540374116
Subject: Computers

IFM’99

Proceedings of the 1st International Conference on Integrate...

IFM’99
جزئیات و درخواست
By Keijiro Araki, Andy Galloway, Kenji Taguchi
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 480
Language: en
ISBN_13:9781447108511
ISBN_10:1447108515
Subject: Computers

FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe, Berlin, Ge...

FME 2001: Formal Methods for Increasing Software Productivity
جزئیات و درخواست
By Jose N. Oliveira, Pamela Zave
Publisher: Springer, 2003-06-29
Pages: 641
Language: en
ISBN_13:9783540452515
ISBN_10:3540452516
Subject: Computers
Dependable Software Systems Engineering
جزئیات و درخواست
By J. Esparza, O. Grumberg, S. Sickert
Publisher: IOS Press, 2016-04-19
Pages: 296
Language: en
ISBN_13:9781614996279
ISBN_10:161499627X
Subject: Computers

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ...

Formal Methods and Software Engineering
جزئیات و درخواست
By Zhiming Liu, Jifeng He
Publisher: Springer, 2006-11-23
Pages: 788
Language: en
ISBN_13:9783540474623
ISBN_10:3540474625
Subject: Computers
Handbook of Model Checking
جزئیات و درخواست
By Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Publisher: Springer, 2018-05-18
Pages: 1210
Language: en
ISBN_13:9783319105758
ISBN_10:3319105752
Subject: Computers

Fundamentals of Computation Theory

13th International Symposium, FCT 2001, Riga, Latvia, August...

Fundamentals of Computation Theory
جزئیات و درخواست
By Rusins Freivalds
Publisher: Springer, 2003-05-15
Pages: 554
Language: en
ISBN_13:9783540446699
ISBN_10:3540446699
Subject: Computers

CONCUR 2002 - Concurrency Theory

13th International Conference, Brno, Czech Republic, August ...

CONCUR 2002 - Concurrency Theory
جزئیات و درخواست
By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera
Publisher: Springer, 2003-08-02
Pages: 628
Language: en
ISBN_13:9783540456940
ISBN_10:3540456945
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002, Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Joost-Pieter Katoen, Perdita Stevens
Publisher: Springer, 2003-07-31
Pages: 496
Language: en
ISBN_13:9783540460022
ISBN_10:3540460020
Subject: Computers

Extensions of the UNITY Methodology

Compositionality, Fairness and Probability in Parallelism

Extensions of the UNITY Methodology
جزئیات و درخواست
By Josyula R. Rao
Publisher: Springer Science & Business Media, 1995-04-06
Pages: 198
Language: en
ISBN_10:3540591737
ISBN_13:9783540591733
Subject: Computers
Models, Algebras and Logic of Engineering Software
جزئیات و درخواست
By Manfred Broy, Markus Pizka
Publisher: IOS Press, 2003
Pages: 420
Language: en
ISBN_10:1586033425
ISBN_13:9781586033422
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, ...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Isil Dillig, Jens Palsberg
Publisher: Springer, 2018-01-03
Pages: 554
Language: en
ISBN_13:9783319737218
ISBN_10:331973721X
Subject: Computers

Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs'98, Canberra, Australi...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Jim Grundy, Malcolm Newey
Publisher: Springer Science & Business Media, 1998-09-09
Pages: 516
Language: en
ISBN_10:3540649875
ISBN_13:9783540649878
Subject: Computers

Modal Logic

Fundamentals and Applications

Modal Logic
جزئیات و درخواست
By Fouad Sabry
Publisher: One Billion Knowledgeable, 2023-06-30
Pages: 176
Language: en
OTHER:PKEY:6610000472093
Subject: Computers

Frontiers of Combining Systems

5th International Workshop, FroCoS 2005, Vienna, Austria, Se...

Frontiers of Combining Systems
جزئیات و درخواست
By Bernhard Gramlich
Publisher: Springer Science & Business Media, 2005-09-12
Pages: 330
Language: en
ISBN_13:9783540290513
ISBN_10:3540290516
Subject: Computers

Requirements Targeting Software and Systems Engineering

International Workshop RTSE '97, Bernried, Germany, October ...

Requirements Targeting Software and Systems Engineering
جزئیات و درخواست
By Manfred Broy, Bernhard Rumpe
Publisher: Springer, 2005-06-30
Pages: 358
Language: en
ISBN_13:9783540494393
ISBN_10:3540494391
Subject: Computers

Come, Let’s Play

Scenario-Based Programming Using LSCs and the Play-Engine

Come, Let’s Play
جزئیات و درخواست
By David Harel, Rami Marelly
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 377
Language: en
ISBN_13:9783642190292
ISBN_10:3642190294
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

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

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