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

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

Practical Formal Methods with VDM
جزئیات و درخواست
By Derek Andrews, Darrel Ince
Publisher: McGraw-Hill Companies, 1991
Pages: 492
Language: en
OTHER:UOM:39015024774856
Subject: Computers
Formal Methods Fact File
جزئیات و درخواست
By Andrew Harry
1996-10-10
Pages: 416
Language: en
OTHER:UVA:X004049018
Subject: Computers
Formal Software Development
جزئیات و درخواست
By Quentin Charatan, Aaron Kans
Publisher: Red Globe Press, 2003-09-09
Language: en
ISBN_13:9780333992814
ISBN_10:0333992814
Subject: Computers

The Practice of Formal Methods

Essays in Honour of Cliff Jones, Part I

The Practice of Formal Methods
جزئیات و درخواست
By Ana Cavalcanti
Publisher: Springer Nature,
Pages: 337
Language: en
ISBN_13:9783031666766
ISBN_10:3031666763

Concise Guide to Formal Methods

Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods
جزئیات و درخواست
By Gerard O'Regan
Publisher: Springer, 2017-08-08
Pages: 336
Language: en
ISBN_13:9783319640211
ISBN_10:3319640216
Subject: Mathematics

Modelling Systems

Practical Tools and Techniques in Software Development

Modelling Systems
جزئیات و درخواست
By John Fitzgerald, Peter Gorm Larsen
Publisher: Cambridge University Press, 2009-06-11
Pages: 305
Language: en
ISBN_13:9780521899116
ISBN_10:0521899117
Subject: Computers
Understanding Formal Methods
جزئیات و درخواست
By Jean-Francois Monin
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 288
Language: en
ISBN_13:9781447100430
ISBN_10:1447100433
Subject: Computers

Teaching Formal Methods

Second International Conference, TFM 2009, Eindhoven, The Ne...

Teaching Formal Methods
جزئیات و درخواست
By Jeremy Gibbons, Jose Nuno Oliveira
Publisher: Springer, 2009-10-26
Pages: 185
Language: en
ISBN_13:9783642049125
ISBN_10:3642049125
Subject: Mathematics

SOFSEM'99: Theory and Practice of Informatics

26th Conference on Current Trends in Theory and Practice of ...

SOFSEM'99: Theory and Practice of Informatics
جزئیات و درخواست
By Jan Pavelka, Gerard Tel, Miroslav Bartosek
Publisher: Springer, 2003-07-31
Pages: 510
Language: en
ISBN_13:9783540478492
ISBN_10:3540478493
Subject: Computers
Industrial-Strength Formal Methods in Practice
جزئیات و درخواست
By Michael G. Hinchey, Jonathan P. Bowen
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 410
Language: en
ISBN_13:9781447105237
ISBN_10:1447105230
Subject: Computers

Formal Methods and Software Engineering

12th International Conference on Formal Engineering Methods,...

Formal Methods and Software Engineering
جزئیات و درخواست
By Jin Song Dong, Huibiao Zhu
Publisher: Springer Science & Business Media, 2010-10-29
Pages: 723
Language: en
ISBN_13:9783642169007
ISBN_10:3642169007
Subject: Computers

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6...

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
جزئیات و درخواست
By Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani
Publisher: Springer Nature, 2022-09-24
Pages: 355
Language: en
ISBN_13:9783031124297
ISBN_10:3031124294
Subject: Computers

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th ...

Verification: Theory and Practice
جزئیات و درخواست
By Nachum Dershowitz
Publisher: Springer, 2004-02-24
Pages: 798
Language: en
ISBN_13:9783540399100
ISBN_10:3540399100
Subject: Computers
The Vienna Development Method: The Meta-Language
جزئیات و درخواست
By D. Bjorner, C.B. Jones
Publisher: Springer, 2014-03-12
Pages: 384
Language: en
ISBN_10:3662181711
ISBN_13:9783662181713
Subject: Computers

FM'99 - Formal Methods

World Congress on Formal Methods in the Developement of Comp...

FM'99 - Formal Methods
جزئیات و درخواست
By Jeannette M. Wing, Jim Woodcook, Jim Davies
Publisher: Springer, 2003-07-31
Pages: 955
Language: en
ISBN_13:9783540481195
ISBN_10:3540481192
Subject: Computers
Fourth NASA Langley Formal Methods Workshop
جزئیات و درخواست
1997
Pages: 218
Language: en
OTHER:NASA:31769000471865
Subject: Automatic control

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers...

Formal Methods. FM 2019 International Workshops
جزئیات و درخواست
By Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti
Publisher: Springer Nature, 2020-08-10
Pages: 584
Language: en
ISBN_13:9783030549978
ISBN_10:3030549976
Subject: Computers
Advances in Computers
جزئیات و درخواست
Publisher: Academic Press, 1999-09-14
Pages: 401
Language: en
ISBN_13:9780080566818
ISBN_10:0080566812
Subject: Computers
TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
جزئیات و درخواست
By Josep Diaz, Fernando Orejas
Publisher: Springer Science & Business Media, 1989-02-27
Pages: 402
Language: en
ISBN_10:3540509402
ISBN_13:9783540509400
Subject: Computers

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
«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

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

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