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

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

A PVS Prover Strategy Package for Common Manipulations
Free Epub
جزئیات و درخواست
By Ben L. Di Vito
2002
Pages: 78
Language: en
OTHER:NASA:31769000646540
Subject: Automatic theorem proving
A Pvs Prover Strategy Package for Common Manipulations
جزئیات و درخواست
By National Aeronautics and Space Adm Nasa
Publisher: Independently Published, 2018-09-22
Pages: 76
Language: en
ISBN_10:1723938157
ISBN_13:9781723938153
Design and Application of Strategies/Tactics in Higher Order Logics
Free Epub
جزئیات و درخواست
By Myla Archer
2003
Pages: 120
Language: en
OTHER:NASA:31769000474570

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Pr...

FM 2014: Formal Methods
جزئیات و درخواست
By Cliff Jones, Pekka Pihlajasaari, Jun Sun
Publisher: Springer, 2014-04-18
Pages: 766
Language: en
ISBN_13:9783319064109
ISBN_10:331906410X
Subject: Computers

Tools for Practical Software Verification

International Summer School, LASER 2011, Elba Island, Italy,...

Tools for Practical Software Verification
جزئیات و درخواست
By Bertrand Meyer, Martin Nordio
Publisher: Springer Science & Business Media, 2012-12-15
Pages: 187
Language: en
ISBN_13:9783642357466
ISBN_10:3642357466
Subject: Computers

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Swede...

Formal Modeling and Analysis of Timed Systems
جزئیات و درخواست
By Paul Pettersson, Wang Yi
Publisher: Springer Science & Business Media, 2005-12-13
Pages: 313
Language: en
ISBN_13:9783540309468
ISBN_10:3540309462
Subject: Computers
Real Automation in the Field
جزئیات و درخواست
By César Muñoz
2001
Pages: 16
Language: en
OTHER:NASA:31769000713878

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 Semantics and Proof Techniques for Optimizing VHDL Models
جزئیات و درخواست
By Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 169
Language: en
ISBN_13:9781461551232
ISBN_10:1461551234
Subject: Technology & Engineering
Algebraic Foundations of Systems Specification
جزئیات و درخواست
By Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 626
Language: en
ISBN_13:9783642598517
ISBN_10:364259851X
Subject: Computers

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives
جزئیات و درخواست
By Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Publisher: Springer Nature, 2020-12-08
Pages: 345
Language: en
ISBN_13:9783030643546
ISBN_10:3030643549
Subject: Computers
Theorem Proving in Higher Order Logics
جزئیات و درخواست
1998
Pages: 524
Language: en
OTHER:UOM:39015047340222
Subject: Automatic theorem proving

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

Certified Programming with Dependent Types
جزئیات و درخواست
By Adam Chlipala
Publisher: MIT Press, 2022-06-07
Pages: 437
Language: en
ISBN_13:9780262545747
ISBN_10:0262545748
Subject: Computers
Atrial Fibrillation: Selection of Management Strategy and Evaluation of Outcomes
جزئیات و درخواست
By Rui Providencia, Serge Boveda, Teresa Strisciuglio, Alexandre Almorad
Publisher: Frontiers Media SA, 2024-09-13
Pages: 372
Language: en
ISBN_13:9782832554296
ISBN_10:2832554296
Subject: Medical
Electronic Chips & Systems Design Languages
جزئیات و درخواست
By Jean Mermet
Publisher: Springer Science & Business Media, 2013-03-09
Pages: 304
Language: en
ISBN_13:9781475733266
ISBN_10:1475733267
Subject: Computers
Scientific and Technical Aerospace Reports
Free Epub
جزئیات و درخواست
1995
Pages: 380
Language: en
OTHER:UVA:X004872570
Subject: Aeronautics
Towards a Customizable PVS
جزئیات و درخواست
By Gerald Lüttgen
2000
Pages: 22
Language: en
OTHER:NASA:31769000710999
Subject: Automatic theorem proving

The Seventeen Provers of the World

Foreword by Dana S. Scott

The Seventeen Provers of the World
جزئیات و درخواست
By Freek Wiedijk
Publisher: Springer Science & Business Media, 2006-02-03
Pages: 172
Language: en
ISBN_13:9783540307044
ISBN_10:3540307044
Subject: Computers

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

Generating Hardware Assertion Checkers

For Hardware Verification, Emulation, Post-Fabrication Debug...

Generating Hardware Assertion Checkers
جزئیات و درخواست
By Marc Boulé, Zeljko Zilic
Publisher: Springer Science & Business Media, 2008-06-01
Pages: 289
Language: en
ISBN_13:9781402085864
ISBN_10:1402085869
Subject: Technology & Engineering
«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

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

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