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

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

Design and Application of Strategies/Tactics in Higher Order Logics
Free Epub
جزئیات و درخواست
By Myla Archer
2003
Pages: 120
Language: en
OTHER:NASA:31769000474570
Formal Techniques in Real-Time and Fault-Tolerant Systems
جزئیات و درخواست
By Jan Vytopil
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 213
Language: en
ISBN_13:9781461532200
ISBN_10:1461532205
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

FME '93: Industrial-Strength Formal Methods

First International Symposium of Formal Methods Europe, Oden...

FME '93: Industrial-Strength Formal Methods
جزئیات و درخواست
By Jim Woodcock, James C.P. Woodcock, Peter G. Larsen
Publisher: Springer Science & Business Media, 1993
Pages: 712
Language: en
ISBN_10:3540566627
ISBN_13:9783540566625
Subject: Business & Economics
The Second NASA Formal Methods Workshop 1992
جزئیات و درخواست
1992
Pages: 250
Language: en
OTHER:NASA:31769000472806

Information and Communications Security

5th International Conference, ICICS 2003, Huhehaote, China, ...

Information and Communications Security
جزئیات و درخواست
By Petra Perner, Dieter Gollmann, Jianying Zhou
Publisher: Springer, 2003-10-02
Pages: 427
Language: en
ISBN_13:9783540399278
ISBN_10:3540399275
Subject: Computers

Design Methods and Applications for Distributed Embedded Systems

IFIP 18th World Computer Congress, TC10 Working Conference o...

Design Methods and Applications for Distributed Embedded Systems
جزئیات و درخواست
By Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg
Publisher: Springer, 2006-04-11
Pages: 339
Language: en
ISBN_13:9781402081491
ISBN_10:1402081499
Subject: Computers

COMPASS

Computer Assurance

COMPASS
جزئیات و درخواست
1995
Pages: 312
Language: en
OTHER:STANFORD:36105002083231
Subject: Computer security

Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium, FTRTFT 2002, Co-sponsored by IF...

Formal Techniques in Real-Time and Fault-Tolerant Systems
جزئیات و درخواست
By Werner Damm, Ernst-Rüdiger Olderog
Publisher: Springer, 2003-06-30
Pages: 437
Language: en
ISBN_13:9783540457398
ISBN_10:3540457399
Subject: Computers
Monthly Catalogue, United States Public Documents
Free Epub
جزئیات و درخواست
1995-03
Pages: 1048
Language: en
OTHER:UIUC:30112018364361
Subject: Government publications
Proceedings of FMSP ...
جزئیات و درخواست
2000
Pages: 128
Language: en
OTHER:UOM:39015048229978
Subject: Computer software

FME '96: Industrial Benefit and Advances in Formal Methods

Third International Symposium of Formal Methods Europe Co-Sp...

FME '96: Industrial Benefit and Advances in Formal Methods
جزئیات و درخواست
By Marie-Claude Gaudel, Jim Woodcock
Publisher: Springer Science & Business Media, 1996-03-06
Pages: 724
Language: en
ISBN_10:3540609733
ISBN_13:9783540609735
Subject: Business & Economics
Third NASA Langley Formal Methods Workshop
جزئیات و درخواست
1995
Pages: 274
Language: en
OTHER:NASA:31769000473275
Subject: Fault-tolerant computing

NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 2...

NASA Formal Methods
جزئیات و درخواست
By Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Publisher: Springer Nature, 2021-05-19
Pages: 416
Language: en
ISBN_13:9783030763848
ISBN_10:3030763846
Subject: Computers
Formal Techniques in Real-time and Fault-tolerant Systems
جزئیات و درخواست
1991
Pages: 640
Language: en
OTHER:UOM:39015025243117
Subject: Fault-tolerant computing
Dependable Computing for Critical Applications 7
جزئیات و درخواست
By Charles B. Weinstock, John Rushby
Publisher: Institute of Electrical & Electronics Engineers(IEEE), 1999
Pages: 432
Language: en
OTHER:UCSC:32106015601088
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

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
Monthly Catalog of United States Government Publications
Free Epub
جزئیات و درخواست

Pages: 1450
Language: en
OTHER:WISC:89117117994
Subject: Government publications
Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results
جزئیات و درخواست
1992
Pages: 164
Language: en
OTHER:NASA:31769000596646
«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

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

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