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

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

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
جزئیات و درخواست
By Dirk Beyer
Publisher: Dirk Beyer, 2002
Pages: 267
Language: de
ISBN_13:9783898204507
ISBN_10:3898204502
Ich Idiot! Tagebuch einer Weltreise
جزئیات و درخواست
By Harald Maack
Publisher: BoD – Books on Demand, 2016-10-26
Pages: 205
Language: de
ISBN_13:9783743144750
ISBN_10:3743144751
Subject: Travel
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
جزئیات و درخواست
By David Trachtenherz
Publisher: Springer-Verlag, 2010-06-25
Pages: 456
Language: de
ISBN_10:3834810290
ISBN_13:9783834810298
Subject: Computers
Sportwissenschaftliche Betrachtungen. Im Spannungsfeld der Kommunikation im Sport und in der Arbeitswelt unter Berücksichtigung leistungsbestimmender Faktoren
جزئیات و درخواست
By Eduard Hubl
Publisher: BoD – Books on Demand, 2020-01-28
Pages: 166
Language: de
ISBN_13:9783750457324
ISBN_10:3750457328
Subject: Social Science

Hybrid Systems: Computation and Control

Second International Workshop, HSCC'99, Berg en Dal, The Net...

Hybrid Systems: Computation and Control
جزئیات و درخواست
By Frits W. Vaandrager, Jan H. van Schuppen
Publisher: Springer, 2003-05-21
Pages: 281
Language: en
ISBN_13:9783540489832
ISBN_10:3540489835
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 2000 Held as Part of the...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Susanne Graf, Michael Schwartzbach
Publisher: Springer, 2003-06-29
Pages: 570
Language: en
ISBN_13:9783540464198
ISBN_10:3540464190
Subject: Computers

CONCUR 2005 - Concurrency Theory

16th International Conference, CONCUR 2005, San Francisco, C...

CONCUR 2005 - Concurrency Theory
جزئیات و درخواست
By Martín Abadi, Luca de Alfaro
Publisher: Springer, 2005-09-07
Pages: 591
Language: en
ISBN_13:9783540319344
ISBN_10:3540319344
Subject: Computers

Formal Systems Specification

The RPC-Memory Specification Case Study

Formal Systems Specification
جزئیات و درخواست
By Manfred Broy, Stephan Merz, Katharina Spies
Publisher: Springer Science & Business Media, 1996-11-06
Pages: 572
Language: en
ISBN_10:3540619844
ISBN_13:9783540619840
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Stefan Kowalewski, Anna Philippou
Publisher: Springer Science & Business Media, 2009-03-09
Pages: 470
Language: en
ISBN_13:9783642007675
ISBN_10:3642007678
Subject: Computers

Modeling and Verification of Parallel Processes

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2...

Modeling and Verification of Parallel Processes
جزئیات و درخواست
By Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan
Publisher: Springer, 2003-06-29
Pages: 228
Language: en
ISBN_13:9783540455103
ISBN_10:3540455108
Subject: Computers

Formal Techniques for Networked and Distributed Systems - FORTE 2003

23rd IFIP WG 6.1 International Conference, Berlin, Germany, ...

Formal Techniques for Networked and Distributed Systems - FORTE 2003
جزئیات و درخواست
By Hartmut König, Monika Heiner, Adam Wolisz
Publisher: Springer Science & Business Media, 2003-09-23
Pages: 443
Language: en
ISBN_13:9783540201755
ISBN_10:3540201750
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

First International Workshop, TACAS '95, Aarhus, Denmark, Ma...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Ed Brinksma
Publisher: Springer Science & Business Media, 1995
Pages: 308
Language: en
ISBN_10:3540606300
ISBN_13:9783540606307
Subject: Arhus, Denmark

Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Com...

Formal Methods for the Design of Real-Time Systems
جزئیات و درخواست
By Marco Bernardo, Flavio Corradini
Publisher: Springer, 2004-12-07
Pages: 301
Language: en
ISBN_13:9783540300809
ISBN_10:3540300805
Subject: Computers
Lectures on Concurrency and Petri Nets
جزئیات و درخواست
By Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg
Publisher: Springer, 2004-07-09
Pages: 857
Language: en
ISBN_13:9783540277552
ISBN_10:3540277552
Subject: Mathematics

Tools and Algorithms for the Construction and Analysis of Systems

16th International Conference, TACAS 2010, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Javier Esparza, Rupak Majumdar
Publisher: Springer, 2010-03-10
Pages: 482
Language: en
ISBN_13:9783642120022
ISBN_10:3642120024
Subject: Computers
Engineering Methods and Tools for Software Safety and Security
جزئیات و درخواست
By M. Broy, Wassiou Sitou, Charles Antony Richard Hoare
Publisher: IOS Press, 2009
Pages: 344
Language: en
ISBN_13:9781586039769
ISBN_10:1586039768
Subject: Computers

STACS 2003

20th Annual Symposium on Theoretical Aspects of Computer Sci...

STACS 2003
جزئیات و درخواست
By Helmut Alt, Michel Habib
Publisher: Springer Science & Business Media, 2003-02-21
Pages: 716
Language: en
ISBN_13:9783540006237
ISBN_10:3540006230
Subject: Computers

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing...

Formal Approaches to Software Testing
جزئیات و درخواست
By Andreas Ulrich
Publisher: Springer, 2004-01-24
Pages: 276
Language: en
ISBN_13:9783540246176
ISBN_10:3540246177
Subject: Computers

Formal Approaches to Software Testing

4th International Workshop, FATES 2004, Linz, Austria, Septe...

Formal Approaches to Software Testing
جزئیات و درخواست
By Jens Grabowski, Brian Nielsen
Publisher: Springer Science & Business Media, 2005-03-07
Pages: 234
Language: en
ISBN_13:9783540251095
ISBN_10:354025109X
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
«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

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

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