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

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

Dependable Software Systems Engineering
جزئیات و درخواست
By A. Pretschner, D. Peled, T. Hutzelmann
Publisher: IOS Press, 2017-10-24
Pages: 256
Language: en
ISBN_13:9781614998105
ISBN_10:1614998108
Subject: Computers

Hybrid Systems Biology

6th International Workshop, HSB 2019, Prague, Czech Republic...

Hybrid Systems Biology
جزئیات و درخواست
By Milan Češka, Nicola Paoletti
Publisher: Springer, 2019-08-01
Pages: 193
Language: en
ISBN_13:9783030280420
ISBN_10:303028042X
Subject: Computers
Engineering Dependable Software Systems
جزئیات و درخواست
By NATO Emerging Security Challenges Division
Publisher: IOS Press, 2013-06-19
Pages: 376
Language: en
ISBN_13:9781614992073
ISBN_10:161499207X
Subject: Computers

Semantics of the Probabilistic Typed Lambda Calculus

Markov Chain Semantics, Termination Behavior, and Denotation...

Semantics of the Probabilistic Typed Lambda Calculus
جزئیات و درخواست
By Dirk Draheim
Publisher: Springer, 2017-02-28
Pages: 222
Language: en
ISBN_13:9783642551987
ISBN_10:364255198X
Subject: Computers

FM'99 - Formal Methods

World Congress on Formal Methods in the Development of Compu...

FM'99 - Formal Methods
جزئیات و درخواست
By Jeannette M. Wing, Jim Woodcook, Jim Davies
Publisher: Springer, 2003-07-31
Pages: 955
Language: en
ISBN_13:9783540481188
ISBN_10:3540481184
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
Deductive Program Design
جزئیات و درخواست
By Manfred Broy
Publisher: Springer Science & Business Media, 1996-06-18
Pages: 490
Language: en
ISBN_10:3540609474
ISBN_13:9783540609476
Subject: Computers

Engineering Theories of Software Intensive Systems

Proceedings of the NATO Advanced Study Institute on Engineer...

Engineering Theories of Software Intensive Systems
جزئیات و درخواست
By Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
Publisher: Springer Science & Business Media, 2005-11-13
Pages: 405
Language: en
ISBN_13:9781402035326
ISBN_10:1402035322
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Kurt Jensen
Publisher: Springer Science & Business Media, 2004-03-18
Pages: 622
Language: en
ISBN_13:9783540212997
ISBN_10:354021299X
Subject: Computers

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Ca...

FM 2006: Formal Methods
جزئیات و درخواست
By Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Publisher: Springer, 2006-08-08
Pages: 634
Language: en
ISBN_13:9783540372165
ISBN_10:3540372164
Subject: Computers
Deductive Verification of Alternating Systems
جزئیات و درخواست
By Matteo Slanina
2007
Pages: 278
Language: en
OTHER:STANFORD:36105127136641
Proceedings of the Fifth SIAM International Conference on Data Mining
جزئیات و درخواست
By Hillol Kargupta
Publisher: SIAM, 2005-04-01
Pages: 670
Language: en
ISBN_10:0898715938
ISBN_13:9780898715934
Subject: Mathematics

Foundations of Software Science and Computation Structures

7th International Conference, FOSSACS 2004, Held as Part of ...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Igor Walukiewicz
Publisher: Springer, 2004-03-04
Pages: 543
Language: en
ISBN_13:9783540247272
ISBN_10:3540247270
Subject: Computers

Automata Theory

An Algorithmic Approach

Automata Theory
جزئیات و درخواست
By Javier Esparza, Michael Blondin
Publisher: MIT Press, 2023-10-17
Pages: 559
Language: en
ISBN_13:9780262376938
ISBN_10:0262376938
Subject: Computers

Systems Biology Modelling and Analysis

Formal Bioinformatics Methods and Tools

Systems Biology Modelling and Analysis
جزئیات و درخواست
By Elisabetta De Maria
Publisher: John Wiley & Sons, 2022-12-13
Pages: 468
Language: en
ISBN_13:9781119716532
ISBN_10:1119716535
Subject: Science

Automatic Verification Methods for Finite State Systems

International Workshop, Grenoble, France. June 12-14, 1989. ...

Automatic Verification Methods for Finite State Systems
جزئیات و درخواست
By Joseph Sifakis
Publisher: Springer Science & Business Media, 1990-01-10
Pages: 392
Language: en
ISBN_10:3540521488
ISBN_13:9783540521488
Subject: Computers

Beauty Is Our Business

A Birthday Salute to Edsger W. Dijkstra

Beauty Is Our Business
جزئیات و درخواست
By W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 474
Language: en
ISBN_13:9781461244769
ISBN_10:1461244765
Subject: Computers

Real-Time: Theory in Practice

REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceed...

Real-Time: Theory in Practice
جزئیات و درخواست
By J.W.de Bakker
Publisher: Springer Science & Business Media, 1992-06-24
Pages: 740
Language: en
ISBN_10:3540555641
ISBN_13:9783540555643
Subject: Computers

A Discipline of Multiprogramming

Programming Theory for Distributed Applications

A Discipline of Multiprogramming
جزئیات و درخواست
By Jayadev Misra
Publisher: Springer Science & Business Media, 2012-09-07
Pages: 430
Language: en
ISBN_13:9781441985286
ISBN_10:144198528X
Subject: Computers
Diagram-based Verification of Discrete, Real-time and Hybrid Systems
جزئیات و درخواست
By Henny Berendien Sipma
1999
Pages: 184
Language: en
OTHER:STANFORD:36105023670370
«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

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

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