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

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

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
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
جزئیات و درخواست
By Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Jeffrey Shallit
Publisher: World Scientific, 2017-04-25
Pages: 312
Language: en
ISBN_13:9789813148215
ISBN_10:9813148217
Subject: Computers
Formal Logical Methods for System Security and Correctness
جزئیات و درخواست
By Orna Grumberg, Tobias Nipkow, Christian Pfaller
Publisher: IOS Press, 2008
Pages: 332
Language: en
ISBN_13:9781586038434
ISBN_10:1586038435
Subject: Business & Economics

Theorem Proving in Higher Order Logics

15th International Conference, TPHOLs 2002, Hampton, VA, USA...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Publisher: Springer Science & Business Media, 2002-08-07
Pages: 358
Language: en
ISBN_13:9783540440390
ISBN_10:3540440399
Subject: Computers
Symbolic Simulation Methods for Industrial Formal Verification
جزئیات و درخواست
By Robert B. Jones
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 159
Language: en
ISBN_13:9781461511014
ISBN_10:1461511011
Subject: Technology & Engineering

Formal Hardware Verification

Methods and Systems in Comparison

Formal Hardware Verification
جزئیات و درخواست
By Thomas Kropf
Publisher: Springer Science & Business Media, 1997-08-27
Pages: 388
Language: en
ISBN_10:3540634754
ISBN_13:9783540634751
Subject: Computers

Formal Methods in Computer-Aided Design

Second International Conference, FMCAD '98, Palo Alto, CA, U...

Formal Methods in Computer-Aided Design
جزئیات و درخواست
By Ganesh Gopalakrishnan, Phillip Windley
Publisher: Springer, 2003-07-31
Pages: 537
Language: en
ISBN_13:9783540495192
ISBN_10:3540495193
Subject: Computers

ZB 2005: Formal Specification and Development in Z and B

4th International Conference of B and Z Users, Guildford, UK...

ZB 2005: Formal Specification and Development in Z and B
جزئیات و درخواست
By Helen Treharne, Steve King, Martin Henson, Steve Schneider
Publisher: Springer, 2005-04-25
Pages: 507
Language: en
ISBN_13:9783540320074
ISBN_10:3540320075
Subject: Computers
Scalable Hardware Verification with Symbolic Simulation
جزئیات و درخواست
By Valeria Bertacco
Publisher: Springer Science & Business Media, 2006-05-14
Pages: 193
Language: en
ISBN_13:9780387299068
ISBN_10:0387299068
Subject: Technology & Engineering

Higher Order Logic Theorem Proving and Its Applications

7th International Workshop, Valletta, Malta, September 19-22...

Higher Order Logic Theorem Proving and Its Applications
جزئیات و درخواست
By Thomas F. Melham
Publisher: Springer Science & Business Media, 1994-09-07
Pages: 488
Language: en
ISBN_10:3540584501
ISBN_13:9783540584506
Subject: Computers
Computational Logic
جزئیات و درخواست
By Dov M. Gabbay, Jörg H. Siekmann, John Woods
Publisher: Newnes, 2014-12-09
Pages: 737
Language: en
ISBN_13:9780080930671
ISBN_10:0080930670
Subject: Mathematics

Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal M...

Applied Formal Methods - FM-Trends 98
جزئیات و درخواست
By Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
Publisher: Springer, 2007-07-21
Pages: 391
Language: en
ISBN_13:9783540482574
ISBN_10:3540482571
Subject: Computers

Tools and Algorithms for the Construction of Analysis of Systems

5th International Conference, TACAS'99, Held as Part of the ...

Tools and Algorithms for the Construction of Analysis of Systems
جزئیات و درخواست
By W. Rance Cleaveland
Publisher: Springer, 2003-05-21
Pages: 458
Language: en
ISBN_13:9783540490593
ISBN_10:3540490590
Subject: Computers

Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, ...

Formal Methods in Computer-Aided Design
جزئیات و درخواست
By Warren A. Jr. Hunt, Steven D. Johnson
Publisher: Springer, 2007-11-29
Pages: 574
Language: en
ISBN_13:9783540409229
ISBN_10:354040922X
Subject: Computers

Concurrency and Hardware Design

Advances in Petri Nets

Concurrency and Hardware Design
جزئیات و درخواست
By Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg
Publisher: Springer, 2003-07-01
Pages: 355
Language: en
ISBN_13:9783540361909
ISBN_10:3540361901
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

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, US...

Formal Methods in Computer-Aided Design
جزئیات و درخواست
By Mandayam Srivas, Albert Camilleri
Publisher: Springer Science & Business Media, 1996-10-23
Pages: 490
Language: en
ISBN_10:3540619372
ISBN_13:9783540619376
Subject: Computers

Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002, Portland, OR, USA,...

Formal Methods in Computer-Aided Design
جزئیات و درخواست
By Mark D. Aagaard, John W. O'Leary
Publisher: Springer, 2003-06-30
Pages: 410
Language: en
ISBN_13:9783540361268
ISBN_10:354036126X
Subject: Computers

Correct Hardware Design and Verification Methods

13th IFIP WG 10.5Advanced Research, Working Conference, CHAR...

Correct Hardware Design and Verification Methods
جزئیات و درخواست
By Dominique Borrione
Publisher: Springer Science & Business Media, 2005-09-19
Pages: 423
Language: en
ISBN_13:9783540291053
ISBN_10:3540291059
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
«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

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

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