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

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

Interval Reachability Analysis

Bounding Trajectories of Uncertain Systems with Boxes for Co...

Interval Reachability Analysis
جزئیات و درخواست
By Pierre-Jean Meyer, Alex Devonport, Murat Arcak
Publisher: Springer Nature, 2021-01-20
Pages: 115
Language: en
ISBN_13:9783030651107
ISBN_10:303065110X
Subject: Technology & Engineering

Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6...

Computer Aided Verification
جزئیات و درخواست
By Nicolas Halbwachs, Doron Peled
Publisher: Springer, 2003-07-31
Pages: 515
Language: en
ISBN_13:9783540486831
ISBN_10:3540486836
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Sriram Sankaranarayanan, Natasha Sharygina
Publisher: Springer Nature, 2023-04-19
Pages: 615
Language: en
ISBN_13:9783031308208
ISBN_10:3031308204
Subject: Computers
Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata
جزئیات و درخواست
By Krause, Christian, Giese, Holger
Publisher: Universitätsverlag Potsdam, 2012
Pages: 54
Language: en
ISBN_13:9783869561714
ISBN_10:3869561718
Subject: Computers

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the...

Computer Aided Verification
جزئیات و درخواست
By Hana Chockler, Georg Weissenbacher
Publisher: Springer, 2018-07-21
Pages: 709
Language: en
ISBN_13:9783319961453
ISBN_10:3319961454
Subject: Computers

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, ...

Computer Aided Verification
جزئیات و درخواست
By Madhusudan Parthasarathy, Sanjit A. Seshia
Publisher: Springer, 2012-06-22
Pages: 804
Language: en
ISBN_13:9783642314247
ISBN_10:3642314244
Subject: Computers

Hybrid Systems: Computation and Control

4th International Workshop, HSCC 2001 Rome, Italy, March 28-...

Hybrid Systems: Computation and Control
جزئیات و درخواست
By Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
Publisher: Springer, 2003-06-29
Pages: 530
Language: en
ISBN_13:9783540453512
ISBN_10:3540453512
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

25th International Conference, VMCAI 2024, London, United Ki...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Publisher: Springer Nature, 2023-12-29
Pages: 349
Language: en
ISBN_13:9783031505218
ISBN_10:3031505212
Subject: Computers

Fundamentals of Software Engineering

5th International Conference, FSEN 2013, Tehran, Iran, April...

Fundamentals of Software Engineering
جزئیات و درخواست
By Farhad Arbab, Marjan Sirjani
Publisher: Springer, 2013-08-30
Pages: 298
Language: en
ISBN_13:9783642402135
ISBN_10:3642402135
Subject: Computers

Theoretical Aspects of Computing - ICTAC 2006

Third International Colloquium, Tunis, Tunisia, November 20-...

Theoretical Aspects of Computing - ICTAC 2006
جزئیات و درخواست
By Kamel Barkaoui, Ana Cavalcanti
Publisher: Springer Science & Business Media, 2006-10-30
Pages: 384
Language: en
ISBN_13:9783540488156
ISBN_10:3540488154
Subject: Computers

Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The ...

Formal Modeling and Analysis of Timed Systems
جزئیات و درخواست
By Étienne André, Mariëlle Stoelinga
Publisher: Springer Nature, 2019-08-20
Pages: 308
Language: en
ISBN_13:9783030296629
ISBN_10:3030296628
Subject: Computers
Introduction to Interval Analysis
جزئیات و درخواست
By Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud
Publisher: SIAM, 2009-01-01
Pages: 223
Language: en
ISBN_13:9780898717716
ISBN_10:089871771X
Subject: Mathematics

Hybrid Systems: Computation and Control

11th International Workshop, HSCC 2008, St. Louis, MO, USA, ...

Hybrid Systems: Computation and Control
جزئیات و درخواست
By Magnus Egerstedt
Publisher: Springer Science & Business Media, 2008-04-03
Pages: 692
Language: en
ISBN_13:9783540789284
ISBN_10:3540789286
Subject: Computers

Hybrid Systems: Computation and Control

8th International Workshop, HSCC 2005, Zurich, Switzerland, ...

Hybrid Systems: Computation and Control
جزئیات و درخواست
By Manfred Morari
Publisher: Springer Science & Business Media, 2005-03-04
Pages: 695
Language: en
ISBN_13:9783540251088
ISBN_10:3540251081
Subject: Computers
Automated Reasoning for Systems Biology and Medicine
جزئیات و درخواست
By Pietro Liò, Paolo Zuliani
Publisher: Springer, 2019-06-11
Pages: 471
Language: en
ISBN_13:9783030172978
ISBN_10:303017297X
Subject: Computers

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, Septemb...

Formal Methods
جزئیات و درخواست
By Andre Platzer
Publisher: Springer Nature,
Pages: 669
Language: en
ISBN_13:9783031711770
ISBN_10:3031711777
Modeling, Design, and Simulation of Systems with Uncertainties
جزئیات و درخواست
By Andreas Rauh, Ekaterina Auer
Publisher: Springer Science & Business Media, 2011-06-06
Pages: 356
Language: en
ISBN_13:9783642159565
ISBN_10:3642159567
Subject: Technology & Engineering

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canad...

Computer Aided Verification
جزئیات و درخواست
By Arie Gurfinkel
Publisher: Springer Nature,
Pages: 597
Language: en
ISBN_13:9783031656330
ISBN_10:3031656334

Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60t...

Principles of Modeling
جزئیات و درخواست
By Marten Lohstroh, Patricia Derler, Marjan Sirjani
Publisher: Springer, 2018-07-19
Pages: 564
Language: en
ISBN_13:9783319952468
ISBN_10:3319952463
Subject: Computers

Cyber Physical Systems. Design, Modeling, and Evaluation

7th International Workshop, CyPhy 2017, Seoul, South Korea, ...

Cyber Physical Systems. Design, Modeling, and Evaluation
جزئیات و درخواست
By Roger Chamberlain, Walid Taha, Martin Törngren
Publisher: Springer, 2019-04-12
Pages: 162
Language: en
ISBN_13:9783030179106
ISBN_10:3030179109
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

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

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