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

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

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

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

CONCUR 2007 - Concurrency Theory

18th International Conference, CONCUR 2007, Lisbon, Portugal...

CONCUR 2007 - Concurrency Theory
جزئیات و درخواست
By Luís Caires, Vasco T. Vasconcelos
Publisher: Springer, 2007-08-19
Pages: 519
Language: en
ISBN_13:9783540744078
ISBN_10:354074407X
Subject: Computers

Implementation and Application of Automata

14th International Conference, CIAA 2009, Sydney, Australia,...

Implementation and Application of Automata
جزئیات و درخواست
By Sebastian Maneth
Publisher: Springer Science & Business Media, 2009-07-07
Pages: 272
Language: en
ISBN_13:9783642029790
ISBN_10:3642029795
Subject: Computers

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

23rd Conference, Mumbai India, December 15-17, 2003, Proceed...

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
جزئیات و درخواست
By Paritosh K Pandya
Publisher: Springer Science & Business Media, 2003-12-03
Pages: 457
Language: en
ISBN_13:9783540206804
ISBN_10:3540206809
Subject: Computers

Verification and Evaluation of Computer and Communication Systems

12th International Conference, VECoS 2018, Grenoble, France,...

Verification and Evaluation of Computer and Communication Systems
جزئیات و درخواست
By Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
Publisher: Springer, 2018-09-19
Pages: 223
Language: en
ISBN_13:9783030003593
ISBN_10:3030003590
Subject: Computers

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA...

Formal Methods in Computer-Aided Design
جزئیات و درخواست
By Alan J. Hu, Andrew K. Martin
Publisher: Springer Science & Business Media, 2004-11-17
Pages: 455
Language: en
ISBN_13:9783540237389
ISBN_10:3540237380
Subject: Computers

Theoretical Aspects of Computing - ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-...

Theoretical Aspects of Computing - ICTAC 2005
جزئیات و درخواست
By Dang Van Hung
Publisher: Springer Science & Business Media, 2005-10-04
Pages: 628
Language: en
ISBN_13:9783540291077
ISBN_10:3540291075
Subject: Computers

Theoretical Aspects of Computing – ICTAC 2019

16th International Colloquium, Hammamet, Tunisia, October 31...

Theoretical Aspects of Computing – ICTAC 2019
جزئیات و درخواست
By Robert Mark Hierons, Mohamed Mosbah
Publisher: Springer Nature, 2019-10-25
Pages: 413
Language: en
ISBN_13:9783030325053
ISBN_10:3030325059
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Stefan Kowalewski, Anna Philippou
Publisher: Springer, 2009-03-27
Pages: 470
Language: en
ISBN_13:9783642007682
ISBN_10:3642007686
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Parosh Aziz Abdulla, K. Rustan M. Leino
Publisher: Springer, 2011-03-14
Pages: 409
Language: en
ISBN_13:9783642198359
ISBN_10:364219835X
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Publisher: Springer Science & Business Media, 2008-02-26
Pages: 333
Language: en
ISBN_13:9783540781622
ISBN_10:3540781625
Subject: Computers

Verification and Evaluation of Computer and Communication Systems

13th International Conference, VECoS 2019, Porto, Portugal, ...

Verification and Evaluation of Computer and Communication Systems
جزئیات و درخواست
By Pierre Ganty, Mohamed Kaâniche
Publisher: Springer Nature, 2019-11-12
Pages: 122
Language: en
ISBN_13:9783030350925
ISBN_10:3030350924
Subject: Computers

Computer Aided Verification

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

Computer Aided Verification
جزئیات و درخواست
By Rajeev Alur, Doron A. Peled
Publisher: Springer, 2004-07-30
Pages: 546
Language: en
ISBN_13:9783540278139
ISBN_10:3540278133
Subject: Computers

CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, ...

CONCUR 2009 - Concurrency Theory
جزئیات و درخواست
By Mario Bravetti, Gianluigi Zavattaro
Publisher: Springer, 2009-09-01
Pages: 651
Language: en
ISBN_13:9783642040818
ISBN_10:3642040810
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

14th International Conference, TACAS 2008, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By C.R. Ramakrishnan, Jakob Rehof
Publisher: Springer, 2008-04-03
Pages: 533
Language: en
ISBN_13:9783540788003
ISBN_10:354078800X
Subject: Computers

Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Can...

Verification and Evaluation of Computer and Communication Systems
جزئیات و درخواست
By Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
Publisher: Springer, 2017-08-15
Pages: 218
Language: en
ISBN_13:9783319661766
ISBN_10:3319661760
Subject: Computers
VMCAI 2004
جزئیات و درخواست
By Bernhard Steffen
Publisher: Springer Science & Business Media, 2004-01-07
Pages: 344
Language: en
ISBN_13:9783540208037
ISBN_10:3540208038
Subject: Computers

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, ...

Integrated Formal Methods
جزئیات و درخواست
By Carlo A. Furia, Kirsten Winter
Publisher: Springer, 2018-08-22
Pages: 434
Language: en
ISBN_13:9783319989389
ISBN_10:3319989383
Subject: Computers

Verification and Evaluation of Computer and Communication Systems

14th International Conference, VECoS 2020, Xi'an, China, Oct...

Verification and Evaluation of Computer and Communication Systems
جزئیات و درخواست
By Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu
Publisher: Springer Nature, 2020-12-19
Pages: 289
Language: en
ISBN_13:9783030659554
ISBN_10:3030659550
Subject: Computers
«123456789»

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه 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

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

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