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

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

Temporal Logic and State Systems
جزئیات و درخواست
By Fred Kröger, Stephan Merz
Publisher: Springer Science & Business Media, 2008-03-27
Pages: 440
Language: en
ISBN_13:9783540674016
ISBN_10:3540674012
Subject: Computers
Temporal Logics in Computer Science
جزئیات و درخواست
By Stéphane Demri, Valentin Goranko, Martin Lange
Publisher: Cambridge University Press, 2016-10-13
Pages: 753
Language: en
ISBN_13:9781107028364
ISBN_10:1107028361
Subject: Computers

Automatic Verification Methods for Finite State Systems

International Workshop, Grenoble, France. June 12-14, 1989. ...

Automatic Verification Methods for Finite State Systems
جزئیات و درخواست
By Joseph Sifakis
Publisher: Springer Science & Business Media, 1990-01-10
Pages: 392
Language: en
ISBN_10:3540521488
ISBN_13:9783540521488
Subject: Computers

Web Reasoning and Rule Systems

Third International Conference, RR 2009, Chantilly, VA, USA,...

Web Reasoning and Rule Systems
جزئیات و درخواست
By Axel Polleres, Terrance Swift
Publisher: Springer Science & Business Media, 2009-10-15
Pages: 279
Language: en
ISBN_13:9783642050817
ISBN_10:3642050816
Subject: Computers
Logics and Models of Concurrent Systems
جزئیات و درخواست
By Krzysztof R. Apt
Publisher: Springer Science & Business Media, 2013-03-08
Pages: 494
Language: en
ISBN_13:9783642824531
ISBN_10:3642824536
Subject: Computers

Open Distributed Systems

On Concepts, Methods, and Design from a Logical Point of Vie...

Open Distributed Systems
جزئیات و درخواست
By Reinhard Gotzhein
Publisher: Springer-Verlag, 2013-03-09
Pages: 239
Language: de
ISBN_13:9783322860095
ISBN_10:3322860094
Subject: Computers

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Lu...

Model Checking Software
جزئیات و درخواست
By Thomas Neele
Publisher: Springer Nature,
Pages: 274
Language: en
ISBN_13:9783031661495
ISBN_10:3031661494
Verification of Infinite-State Systems with Applications to Security
جزئیات و درخواست
By E. Clarke, M. Minea, F.L. Ţiplea
Publisher: IOS Press, 2006-01-12
Pages: 244
Language: en
ISBN_13:9781607501473
ISBN_10:1607501473
Subject: Computers

Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS'99, Held as Part of...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Wolfgang Thomas
Publisher: Springer, 2003-07-31
Pages: 334
Language: en
ISBN_13:9783540490197
ISBN_10:3540490191
Subject: Computers

Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, J...

Computer Aided Verification
جزئیات و درخواست
By Warren A. Hunt, Jr., Fabio Somenzi
Publisher: Springer, 2011-05-02
Pages: 474
Language: en
ISBN_13:9783540450696
ISBN_10:3540450696
Subject: Computers
Handbook of Process Algebra
جزئیات و درخواست
By J.A. Bergstra, A. Ponse, S.A. Smolka
Publisher: Elsevier, 2001-03-16
Pages: 1357
Language: en
ISBN_13:9780080533674
ISBN_10:0080533671
Subject: Computers

Correct Hardware Design and Verification Methods

10th IFIP WG10.5 Advanced Research Working Conference, CHARM...

Correct Hardware Design and Verification Methods
جزئیات و درخواست
By Laurence Pierre, Thomas Kropf
Publisher: Springer, 2003-07-31
Pages: 399
Language: en
ISBN_13:9783540481539
ISBN_10:3540481532
Subject: Computers
Advances in Petri Nets 1988
جزئیات و درخواست
By Grzegorz Rozenberg
Publisher: Springer Science & Business Media, 1988-12-07
Pages: 450
Language: en
ISBN_10:3540505806
ISBN_13:9783540505808
Subject: Computers

Computer Aided Verification

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

Computer Aided Verification
جزئیات و درخواست
By E. Allen Emerson
Publisher: Springer Science & Business Media, 2000-06-28
Pages: 593
Language: en
ISBN_13:9783540677703
ISBN_10:3540677704
Subject: Computers
Boolean Models and Methods in Mathematics, Computer Science, and Engineering
جزئیات و درخواست
By Yves Crama, Peter L. Hammer
Publisher: Cambridge University Press, 2010-06-28
Pages: 781
Language: en
ISBN_13:9780521847520
ISBN_10:0521847524
Subject: Computers

Distributed Computing -- IWDC 2004

6th International Workshop, Kolkata, India, December 27-30, ...

Distributed Computing -- IWDC 2004
جزئیات و درخواست
By Nabanita Das, Arunabha Sen, Sajal K. Das, Bhabani P. Sinha
Publisher: Springer, 2004-12-07
Pages: 564
Language: en
ISBN_13:9783540305361
ISBN_10:354030536X
Subject: Computers

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, ...

Structured Object-Oriented Formal Language and Method
جزئیات و درخواست
By Shaoying Liu, Zhenhua Duan, Ai Liu
Publisher: Springer Nature, 2023-03-24
Pages: 155
Language: en
ISBN_13:9783031294761
ISBN_10:3031294769
Subject: Computers

Verifying Cyber-Physical Systems

A Path to Safe Autonomy

Verifying Cyber-Physical Systems
جزئیات و درخواست
By Sayan Mitra
Publisher: MIT Press, 2021-07-13
Pages: 313
Language: en
ISBN_13:9780262370264
ISBN_10:0262370263
Subject: Computers

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, Sep...

Logic Programming and Automated Reasoning
جزئیات و درخواست
By Harald Ganzinger, David McAllester, Andrei Voronkov
Publisher: Springer, 2007-07-12
Pages: 404
Language: en
ISBN_13:9783540482420
ISBN_10:3540482423
Subject: Computers

Declarative Logic Programming

Theory, Systems, and Applications

Declarative Logic Programming
جزئیات و درخواست
By Michael Kifer, Yanhong Annie Liu
Publisher: Morgan & Claypool, 2018-09-19
Pages: 617
Language: en
ISBN_13:9781970001976
ISBN_10:1970001976
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

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

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