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

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

Tools and Algorithms for the Construction and Analysis of Systems

13th International Conference, TACAS 2007 Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Orna Grumberg, Michael Huth
Publisher: Springer, 2007-07-05
Pages: 740
Language: en
ISBN_13:9783540712091
ISBN_10:3540712097
Subject: Computers

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial Conference, PSI 200...

Perspectives of Systems Informatics
جزئیات و درخواست
By Amir Pnueli, Irina Virbitskaite, Andrei Voronkov
Publisher: Springer Science & Business Media, 2010-02-08
Pages: 437
Language: en
ISBN_13:9783642114854
ISBN_10:3642114857
Subject: Computers

Automata, Languages and Programming

30th International Colloquium, ICALP 2003, Eindhoven, The Ne...

Automata, Languages and Programming
جزئیات و درخواست
By Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger
Publisher: Springer, 2003-01-01
Pages: 1218
Language: en
ISBN_13:9783540450610
ISBN_10:3540450610
Subject: Computers

Digitale Hardware/Software-Systeme

Spezifikation und Verifikation

Digitale Hardware/Software-Systeme
جزئیات و درخواست
By Christian Haubelt, Jürgen Teich
Publisher: Springer-Verlag, 2010-06-03
Pages: 606
Language: de
ISBN_13:9783642053566
ISBN_10:3642053564
Subject: Computers

Foundations of Software Science and Computation Structures

5th International Conference, FOSSACS 2002. Held as Part of ...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Mogens Nielsen, Uffe Engberg
Publisher: Springer, 2003-08-01
Pages: 449
Language: en
ISBN_13:9783540459316
ISBN_10:3540459316
Subject: Computers
Models and Analysis for Distributed Systems
جزئیات و درخواست
By Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Publisher: John Wiley & Sons, 2013-02-07
Pages: 249
Language: en
ISBN_13:9781118602683
ISBN_10:1118602684
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

9th International Conference, TACAS 2003, Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Hubert Garavel
Publisher: Springer Science & Business Media, 2003-03-14
Pages: 620
Language: en
ISBN_13:9783540008989
ISBN_10:3540008985
Subject: Computers

TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France,...

TAPSOFT'97: Theory and Practice of Software Development
جزئیات و درخواست
By Michel Bidoit, Max Dauchet
Publisher: Springer Science & Business Media, 1997-04-02
Pages: 908
Language: en
ISBN_10:3540627812
ISBN_13:9783540627814
Subject: Computers

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Swede...

Formal Modeling and Analysis of Timed Systems
جزئیات و درخواست
By Paul Pettersson, Wang Yi
Publisher: Springer Science & Business Media, 2005-12-13
Pages: 313
Language: en
ISBN_13:9783540309468
ISBN_10:3540309462
Subject: Computers

Foundations of Software Science and Computation Structures

4th International Conference, FOSSACS 2001 Held as Part of t...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Furio Honsell, Marino Miculan
Publisher: Springer, 2007-12-03
Pages: 425
Language: en
ISBN_13:9783540453154
ISBN_10:3540453156
Subject: Computers

Foundations of Software Science and Computational Structures

13th International Conference, FOSSACS 2010, Held as Part of...

Foundations of Software Science and Computational Structures
جزئیات و درخواست
By Luke Ong
Publisher: Springer Science & Business Media, 2010-03-16
Pages: 402
Language: en
ISBN_13:9783642120312
ISBN_10:3642120318
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002, Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Joost-Pieter Katoen, Perdita Stevens
Publisher: Springer, 2003-07-31
Pages: 496
Language: en
ISBN_13:9783540460022
ISBN_10:3540460020
Subject: Computers

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, A...

CONCUR 2006 - Concurrency Theory
جزئیات و درخواست
By Christel Baier
Publisher: Springer Science & Business Media, 2006-08-10
Pages: 536
Language: en
ISBN_13:9783540373766
ISBN_10:3540373764
Subject: Computers

The Logical Approach to Automatic Sequences

Exploring Combinatorics on Words with Walnut

The Logical Approach to Automatic Sequences
جزئیات و درخواست
By Jeffrey Shallit
Publisher: Cambridge University Press, 2022-09-30
Pages: 376
Language: en
ISBN_13:9781108786973
ISBN_10:1108786979
Subject: Computers

Applications and Theory of Petri Nets 2005

26th International Conference, ICATPN 2005, Miami, FL, June ...

Applications and Theory of Petri Nets 2005
جزئیات و درخواست
By Gianfranco Ciardo
Publisher: Springer Science & Business Media, 2005-06-09
Pages: 485
Language: en
ISBN_13:9783540263012
ISBN_10:3540263012
Subject: Business & Economics
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
An Introduction to Practical Formal Methods Using Temporal Logic
جزئیات و درخواست
By Michael Fisher
Publisher: John Wiley & Sons, 2011-03-16
Pages: 368
Language: en
ISBN_10:1119991463
ISBN_13:9781119991465
Subject: Technology & Engineering

CONCUR 2002 - Concurrency Theory

13th International Conference, Brno, Czech Republic, August ...

CONCUR 2002 - Concurrency Theory
جزئیات و درخواست
By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera
Publisher: Springer, 2003-08-02
Pages: 628
Language: en
ISBN_13:9783540456940
ISBN_10:3540456945
Subject: Computers

Applications and Theory of Petri Nets 2004

25th International Conference, ICATPN 2004, Bologna, Italy, ...

Applications and Theory of Petri Nets 2004
جزئیات و درخواست
By Jordi Cortadella, Wolfgang Reisig
Publisher: Springer, 2004-09-21
Pages: 516
Language: en
ISBN_13:9783540277934
ISBN_10:3540277935
Subject: Mathematics

Computer Aided Verification

12th International Conference, CAV 2000 Chicago, IL, USA, Ju...

Computer Aided Verification
جزئیات و درخواست
By E. Allen Emerson, A. Prasad Sistla
Publisher: Springer, 2006-12-30
Pages: 593
Language: en
ISBN_13:9783540450474
ISBN_10:3540450475
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

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

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