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

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

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
جزئیات و درخواست
By J. J. M. M. Rutten
Publisher: American Mathematical Soc., 2004
Pages: 225
Language: en
ISBN_13:9780821835715
ISBN_10:0821835718
Subject: Discrete-time systems

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Holger Hermanns
Publisher: Springer Science & Business Media, 2006-03-15
Pages: 519
Language: en
ISBN_13:9783540330561
ISBN_10:3540330569
Subject: Computers

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

25th International Conference, Hyderabad, India, December 15...

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
جزئیات و درخواست
By R. Ramanujam
Publisher: Springer Science & Business Media, 2005-12-07
Pages: 580
Language: en
ISBN_13:9783540304951
ISBN_10:3540304959
Subject: Computers

CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, ...

CONCUR 2009 - Concurrency Theory
جزئیات و درخواست
By Mario Bravetti, Gianluigi Zavattaro
Publisher: Springer Science & Business Media, 2009-08-17
Pages: 651
Language: en
ISBN_13:9783642040801
ISBN_10:3642040802
Subject: Computers
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
جزئیات و درخواست
By Zhiming Liu, Jifeng He
Publisher: World Scientific, 2006-11-29
Pages: 368
Language: en
ISBN_13:9789814477086
ISBN_10:9814477087
Subject: Computers

Computational Methods in Systems Biology

International Conference, CMSB 2006, Trento, Italy, October ...

Computational Methods in Systems Biology
جزئیات و درخواست
By Corrado Priami
Publisher: Springer Science & Business Media, 2006-10-11
Pages: 332
Language: en
ISBN_13:9783540461661
ISBN_10:3540461663
Subject: Computers

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta,...

Runtime Verification
جزئیات و درخواست
By Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee
Publisher: Springer Science & Business Media, 2010-10-19
Pages: 503
Language: en
ISBN_13:9783642166112
ISBN_10:3642166113
Subject: Computers

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

14th International Workshop, APPROX 2011, and 15th Internati...

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
جزئیات و درخواست
By Leslie Ann Goldberg, Klaus Jansen, R. Ravi, José D.P. Rolim
Publisher: Springer Science & Business Media, 2011-08-05
Pages: 715
Language: en
ISBN_13:9783642229343
ISBN_10:3642229344
Subject: Computers
Principles of Model Checking
جزئیات و درخواست
By Christel Baier, Joost-Pieter Katoen
Publisher: MIT Press, 2008-04-25
Pages: 994
Language: en
ISBN_13:9780262304030
ISBN_10:0262304031
Subject: Computers

Formal Methods for Performance Evaluation

7th International School on Formal Methods for the Design of...

Formal Methods for Performance Evaluation
جزئیات و درخواست
By Marco Bernardo, Jane Hillston
Publisher: Springer, 2007-06-06
Pages: 475
Language: en
ISBN_13:9783540725220
ISBN_10:3540725229
Subject: Computers

Foundations of Software Science and Computational Structures

11th International Conference, FOSSACS 2008, Held as Part of...

Foundations of Software Science and Computational Structures
جزئیات و درخواست
By Roberto Amadio
Publisher: Springer, 2008-04-03
Pages: 519
Language: en
ISBN_13:9783540784999
ISBN_10:3540784993
Subject: Computers
Essays on the Foundations of Mathematics and Logic
جزئیات و درخواست
By Giandomenico Sica
Publisher: Polimetrica s.a.s., 2005
Pages: 353
Language: en
ISBN_13:9788876990144
ISBN_10:8876990143
Subject: Mathematics

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, Octo...

Automated Technology for Verification and Analysis
جزئیات و درخواست
By Susanne Graf, Wenhui Zhang
Publisher: Springer, 2006-10-11
Pages: 551
Language: en
ISBN_13:9783540472384
ISBN_10:354047238X
Subject: Computers
Algorithmic Bioprocesses
جزئیات و درخواست
By Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree
Publisher: Springer Science & Business Media, 2009-08-14
Pages: 736
Language: en
ISBN_13:9783540888697
ISBN_10:3540888691
Subject: Computers

Formal Methods for Dynamical Systems

13th International School on Formal Methods for the Design o...

Formal Methods for Dynamical Systems
جزئیات و درخواست
By Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
Publisher: Springer, 2013-06-12
Pages: 186
Language: en
ISBN_13:9783642388743
ISBN_10:3642388744
Subject: Computers
Labelled Markov Processes
جزئیات و درخواست
By Prakash Panangaden
Publisher: World Scientific, 2009-06-23
Pages: 212
Language: en
ISBN_13:9781908978660
ISBN_10:190897866X
Subject: Computers
Information Theory and Stochastics for Multiscale Nonlinear Systems
جزئیات و درخواست
By Andrew Majda, Rafail V. Abramov, Marcus J. Grote
Publisher: American Mathematical Soc., 2005
Pages: 145
Language: en
ISBN_13:9780821838433
ISBN_10:0821838431
Subject: Mathematics

Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, Se...

Quantitative Evaluation of Systems
جزئیات و درخواست
By Annabelle McIver, Andras Horvath
Publisher: Springer, 2018-08-27
Pages: 435
Language: en
ISBN_13:9783319991542
ISBN_10:331999154X
Subject: Computers

Quantitative Evaluation of Systems

19th International Conference, QEST 2022, Warsaw, Poland, Se...

Quantitative Evaluation of Systems
جزئیات و درخواست
By Erika Ábrahám, Marco Paolieri
Publisher: Springer Nature, 2022-09-10
Pages: 406
Language: en
ISBN_13:9783031163364
ISBN_10:3031163362
Subject: Computers
Handbook of Weighted Automata
جزئیات و درخواست
By Manfred Droste, Werner Kuich, Heiko Vogler
Publisher: Springer Science & Business Media, 2009-09-18
Pages: 614
Language: en
ISBN_13:9783642014925
ISBN_10:3642014925
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

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

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