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

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

Formal Methods for Interactive Systems
جزئیات و درخواست
By Alan Dix
1991
Pages: 392
Language: en
OTHER:UCAL:B4527558
Subject: Computers
The Handbook of Formal Methods in Human-Computer Interaction
جزئیات و درخواست
By Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
Publisher: Springer, 2017-04-24
Pages: 577
Language: en
ISBN_13:9783319518381
ISBN_10:3319518380
Subject: Computers
Formal Methods in Human-Computer Interaction
جزئیات و درخواست
By Philippe Palanque, Fabio Paterno
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 382
Language: en
ISBN_13:9781447134251
ISBN_10:1447134257
Subject: Mathematics
Formal Methods for Interactive Systems
جزئیات و درخواست
By Alan Dix
1991
Pages: 394
Language: en
OTHER:UOM:39015021889624
Subject: Computers

Design, Specification and Verification of Interactive Systems ’95

Proceedings of the Eurographics Workshop in Toulouse, France...

Design, Specification and Verification of Interactive Systems ’95
جزئیات و درخواست
By Philippe Palanque, Remi Bastide
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 384
Language: en
ISBN_13:9783709194379
ISBN_10:3709194377
Subject: Computers

Engineering for Human-Computer Interaction

IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Eng...

Engineering for Human-Computer Interaction
جزئیات و درخواست
By Stéphane Chatty, Dewan Prasun
Publisher: Springer Science & Business Media, 1999-08-31
Pages: 400
Language: en
ISBN_10:0412835207
ISBN_13:9780412835209
Subject: Computers
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
جزئیات و درخواست
By Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Publisher: Springer Nature, 2021-08-13
Pages: 88
Language: en
ISBN_13:9783030784096
ISBN_10:3030784096
Subject: Technology & Engineering

Design, Specification and Verification of Interactive Systems ’98

Proceedings of the Eurographics Workshop in Abingdon, UK, Ju...

Design, Specification and Verification of Interactive Systems ’98
جزئیات و درخواست
By Panos Markopoulos, Peter Johnson
Publisher: Springer Science & Business Media, 2013-11-11
Pages: 336
Language: en
ISBN_13:9783709136935
ISBN_10:3709136938
Subject: Computers

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-12
Pages: 533
Language: en
ISBN_13:9783030549947
ISBN_10:3030549941
Subject: Computers

Formal Methods Teaching

4th International Workshop and Tutorial, FMTea 2021, Virtual...

Formal Methods Teaching
جزئیات و درخواست
By João F. Ferreira, Alexandra Mendes, Claudio Menghi
Publisher: Springer Nature, 2021-11-23
Pages: 159
Language: en
ISBN_13:9783030915506
ISBN_10:3030915506
Subject: Mathematics

Human-Computer Interaction. User Interface Design, Development and Multimodality

19th International Conference, HCI International 2017, Vanco...

Human-Computer Interaction. User Interface Design, Development and Multimodality
جزئیات و درخواست
By Masaaki Kurosu
Publisher: Springer, 2017-06-28
Pages: 747
Language: en
ISBN_13:9783319580715
ISBN_10:331958071X
Subject: Computers

Interactive Systems. Design, Specification, and Verification

15th International Workshop, DSV-IS 2008 Kingston, Canada, J...

Interactive Systems. Design, Specification, and Verification
جزئیات و درخواست
By T. C. Nicholas Graham, Philippe Palanque
Publisher: Springer, 2008-07-16
Pages: 319
Language: en
ISBN_13:9783540705697
ISBN_10:3540705694
Subject: Computers

Design, Specification and Verification of Interactive Systems ’97

Proceedings of the Eurographics Workshop in Granada, Spain, ...

Design, Specification and Verification of Interactive Systems ’97
جزئیات و درخواست
By Michael D. Harrison, Juan C. Torres
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 328
Language: en
ISBN_13:9783709168783
ISBN_10:3709168783
Subject: Computers

Design, Specification and Verification of Interactive Systems ’96

Proceedings of the Eurographics Workshop in Namur, Belgium, ...

Design, Specification and Verification of Interactive Systems ’96
جزئیات و درخواست
By Francois Bodart, Jean Vanderdonckt
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 398
Language: en
ISBN_13:9783709174913
ISBN_10:3709174910
Subject: Computers

Design, Specification and Verification of Interactive Systems ’99

Proceedings of the Eurographics Workshop in Braga, Portugal,...

Design, Specification and Verification of Interactive Systems ’99
جزئیات و درخواست
By D.J. Duke, A. Puerta
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 292
Language: en
ISBN_13:9783709168158
ISBN_10:3709168155
Subject: Computers

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, Apri...

Integrated Formal Methods
جزئیات و درخواست
By Eerke Boiten, John Derrick, Graeme Smith
Publisher: Springer Science & Business Media, 2004-03-24
Pages: 553
Language: en
ISBN_13:9783540213772
ISBN_10:3540213775
Subject: Computers

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Formal Methods for Software Engineering
جزئیات و درخواست
By Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Publisher: Springer Nature, 2022-06-22
Pages: 538
Language: en
ISBN_13:9783030388003
ISBN_10:303038800X
Subject: Computers

Software Technologies: Applications and Foundations

STAF 2018 Collocated Workshops, Toulouse, France, June 25-29...

Software Technologies: Applications and Foundations
جزئیات و درخواست
By Manuel Mazzara, Iulian Ober, Gwen Salaün
Publisher: Springer, 2018-12-06
Pages: 669
Language: en
ISBN_13:9783030047719
ISBN_10:3030047717
Subject: Computers

Interactive Systems: Design, Specification, and Verification

1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

Interactive Systems: Design, Specification, and Verification
جزئیات و درخواست
By Fabio Paterno
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 443
Language: en
ISBN_13:9783642871153
ISBN_10:3642871151
Subject: Computers

Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, ...

Integrated Formal Methods
جزئیات و درخواست
By Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Publisher: Springer Science & Business Media, 2007-10-23
Pages: 449
Language: en
ISBN_13:9783540409113
ISBN_10:3540409114
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

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

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