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

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

Theorem Provers in Circuit Design

Theory, Practice and Experience

Theorem Provers in Circuit Design
جزئیات و درخواست
By Ramayya Kumar, Thomas Kropf
Publisher: Springer Science & Business Media, 1995-03-06
Pages: 324
Language: en
ISBN_10:3540590471
ISBN_13:9783540590477
Subject: Computers

Intelligent Software Methodologies, Tools and Techniques

14th International Conference, SoMet 2015, Naples, Italy, Se...

Intelligent Software Methodologies, Tools and Techniques
جزئیات و درخواست
By Hamido Fujita, Guido Guizzi
Publisher: Springer, 2015-08-31
Pages: 639
Language: en
ISBN_13:9783319226897
ISBN_10:3319226894
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Nether...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Ed Brinksma
Publisher: Springer Science & Business Media, 1997-03-20
Pages: 452
Language: en
ISBN_10:3540627901
ISBN_13:9783540627906
Subject: Computers

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

Higher Order Logic Theorem Proving and its Applications

Proceedings of the IFIP TC10/WG10.2 International Workshop o...

Higher Order Logic Theorem Proving and its Applications
جزئیات و درخواست
By L.J.M. Claesen, M.J.C. Gordon
Publisher: Elsevier, 2014-05-23
Pages: 588
Language: en
ISBN_13:9781483298405
ISBN_10:148329840X
Subject: Mathematics

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

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

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July ...

Computer Aided Verification
جزئیات و درخواست
By Pierre Wolper
Publisher: Springer Science & Business Media, 1995-06-21
Pages: 468
Language: en
ISBN_10:3540600450
ISBN_13:9783540600459
Subject: Computers

Computer Hardware Description Languages and their Applications

Proceedings of the IFIP WG 10.2 Tenth International Symposiu...

Computer Hardware Description Languages and their Applications
جزئیات و درخواست
By D. Borrione, R. Waxman
Publisher: Elsevier, 2014-06-28
Pages: 490
Language: en
ISBN_13:9781483298450
ISBN_10:1483298450
Subject: Computers

Designing Correct Circuits

Workshop jointly organised by the Universities of Oxford and...

Designing Correct Circuits
جزئیات و درخواست
By Geraint Jones, Mary Sheeran
Publisher: Springer Science & Business Media, 2013-12-14
Pages: 364
Language: en
ISBN_13:9781447135449
ISBN_10:144713544X
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

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotl...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Richard J. Boulton, Paul B. Jackson
Publisher: Springer, 2003-06-30
Pages: 405
Language: en
ISBN_13:9783540447559
ISBN_10:3540447555
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, Wolfgang Paul
Publisher: Springer, 2005-10-07
Pages: 423
Language: en
ISBN_13:9783540320302
ISBN_10:354032030X
Subject: Computers

Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, Co...

Unifying Theories of Programming
جزئیات و درخواست
By Steve Dunne
Publisher: Springer Science & Business Media, 2006-06-27
Pages: 265
Language: en
ISBN_13:9783540347507
ISBN_10:354034750X
Subject: Computers

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of...

Formal Methods for Hardware Verification
جزئیات و درخواست
By Marco Bernardo, Alessandro Cimatti
Publisher: Springer Science & Business Media, 2006-05-15
Pages: 250
Language: en
ISBN_13:9783540343042
ISBN_10:3540343040
Subject: Computers
System Level Design with .Net Technology
جزئیات و درخواست
By El Mostapha Aboulhamid, Frederic Rousseau
Publisher: CRC Press, 2018-10-03
Pages: 282
Language: en
ISBN_13:9781351834063
ISBN_10:1351834061
Subject: Computers

From Formal Semantics to Verified Slicing

A Modular Framework with Applications in Language Based Secu...

From Formal Semantics to Verified Slicing
جزئیات و درخواست
By Daniel Wasserrab
Publisher: KIT Scientific Publishing, 2014-08-18
Pages: 226
Language: en
ISBN_13:9783866445949
ISBN_10:3866445946
Subject: Computers

Introduction to Static Analysis

An Abstract Interpretation Perspective

Introduction to Static Analysis
جزئیات و درخواست
By Xavier Rival, Kwangkeun Yi
Publisher: MIT Press, 2020-02-11
Pages: 315
Language: en
ISBN_13:9780262356657
ISBN_10:0262356651
Subject: Computers

Correct Hardware Design and Verification Methods

Advanced Research Working Conference, CHARME ... : Proceedin...

Correct Hardware Design and Verification Methods
جزئیات و درخواست
1995
Pages: 364
Language: en
OTHER:UOM:39015035262776
Subject: Computer-aided design

Higher Order Logic Theorem Proving and Its Applications

Proceedings of the IFIP TC10/WG10.2 International Workshop o...

Higher Order Logic Theorem Proving and Its Applications
جزئیات و درخواست
By Luc J. M. Claesen, Michael J. C. Gordon
1993
Pages: 594
Language: en
OTHER:CORNELL:31924068231020
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

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

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