خرید کتاب از گوگل

چاپ کتاب PDF,

خرید کتاب از آمازون,

خرید کتاب زبان اصلی,

دانلود کتاب خارجی,

دانلود کتاب لاتین

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

Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, Fran...

Formal Modeling and Analysis of Timed Systems
By Franck Cassez, Claude Jard
Publisher: Springer, 2008-08-30
Pages: 305
Language: en
ISBN_13:9783540857785
ISBN_10:3540857788
Subject: Computers
Communicating Embedded Systems
By Claude Jard, Olivier H. Roux
Publisher: John Wiley & Sons, 2013-02-04
Pages: 202
Language: en
ISBN_13:9781118600092
ISBN_10:1118600096
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

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing...

Formal Approaches to Software Testing

Testing of Software and Communicating Systems

19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007...

Testing of Software and Communicating Systems

Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, Franc...

Formal Modeling and Analysis of Timed Systems

Computer-Aided Verification

A Special Issue of Formal Methods In System Design on Comput...

Computer-Aided Verification

Fundamental Approaches to Software Engineering

16th International Conference, FASE 2013, Held as Part of th...

Fundamental Approaches to Software Engineering
By Vittorio Cortellessa, Dániel Varró
Publisher: Springer, 2013-02-17
Pages: 393
Language: en
ISBN_13:9783642370571
ISBN_10:3642370578
Subject: Computers

ECOOP 2013 -- Object-Oriented Programming

27th European Conference, Montpellier, France, July 1-5, 201...

ECOOP 2013 -- Object-Oriented Programming
By Giuseppe Castagna
Publisher: Springer, 2013-06-25
Pages: 761
Language: en
ISBN_13:9783642390388
ISBN_10:3642390382
Subject: Computers

Automated Technology for Verification and Analysis

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

Automated Technology for Verification and Analysis

Testing of Communicating Systems

18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006...

Testing of Communicating Systems
By M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko
Publisher: Springer, 2006-04-27
Pages: 383
Language: en
ISBN_13:9783540341857
ISBN_10:3540341854
Subject: Computers

Computer Aided Verification

3rd International Workshop, CAV '91, Aalborg, Denmark, July ...

Computer Aided Verification
By Kim G. Larsen
Publisher: Springer Science & Business Media, 1992-04-22
Pages: 504
Language: en
ISBN_10:3540551794
ISBN_13:9783540551799
Subject: Computers

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Co...

Formal Description Techniques and Protocol Specification, Testing and Verification

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

Foundations of Software Science and Computational Structures

9th International Conference, FOSSACS 2006, Held as Part of ...

Foundations of Software Science and Computational Structures
By Luca Aceto, Anna Ingólfsdóttir
Publisher: Springer, 2006-03-29
Pages: 459
Language: en
ISBN_13:9783540330462
ISBN_10:3540330461
Subject: Computers

STACS 92

9th Annual Symposium on Theoretical Aspects of Computer Scie...

STACS 92

Formal Methods: Applications and Technology

11th International Workshop on Formal Methods for Industrial...

Formal Methods: Applications and Technology

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه ISBN، موضوع و یاهمه قسمت ها دکمه جستجو را بزنید. در نتایج می توانید کتاب خارجی مد نظر خود را انتخاب کنید و سپس درخواست خود را برای خرید کتاب خارجی ثبت کنید.

جستجو و دانلود کتاب لاتین

برای دانلود کتاب های لاتین ابتدا کلمه کلیدی خود را داخل کادر جستجو وارد کنید و سپس زبان مربوطه را انتخاب کنید (انگلیسی، اسپانیایی، فرانسوی، آلمانی و ...) و در نهایت دکمه جستجو را بزنید. از نتایج جستجو کتاب لاتین مد نظر خود را انتخاب کنید و سپس درخواست آن را ثبت کنید. همکاران ما در کمتر چند ساعت درخواست شما را بررسی و قیمت گذاری می کنند.

نحوه ثبت درخواست دانلود کتاب لاتین

پس از جستجو و یافتن کتاب و یا منابع لاتین، روی تصویر کتاب و یا دکمه درخواست کلیک کنید و سپس در صفحه ثبت درخواست، مشخصات کامل درخواست خود را بررسی و ایمیل و شماره تماس خود را وارد کنید. در نهایت همکاران ما هزینه و مدت زمان تهیه کتاب خارجی شما را بررسی و از طریق پیامک و ایمیل به شما اطلاع رسانی خواهند کرد. شما پس از پرداخت وجه روی لینک دانلود کتاب لاتین کلیک کنید و کتاب خود را دانلود و استفاده کنید.

  • کتاب زبان اصلی J.R.R
  • دانلود کتاب لاتین
  • خرید کتاب لاتین
  • خرید مانگا
  • خرید کتاب از گوگل بوکز
  • دانلود رایگان کتاب از گوگل بوکز
  • دانلود رایگان کتاب از آمازون
  • دانلود رایگان کتاب از گوگل بوکز
  • کتاب روانشناسی به انگلیسی
  • کتاب زبان اصلی
  • کتاب خارجی
  • سایت خرید کتاب زبان اصلی
  • درخواست کتاب زبان اصلی
  • سفارش کتاب زبان اصلی
  • خرید کتاب لاتین
  • دانلود کتاب زبان اصلی
  • کتاب زبان اصلی J.R.R
    سایت کتاب زبان اصلی-
    کتاب انگلیسی-
    سفارش کتاب خارجی-
    خرید کتاب فیزیکی از آمازون-
    کتاب Solidworks زبان اصلی-
    دانلود فایل های زبان اصلی شیمی تحلیلی-
    انتشارات کتاب خارجی-
    خرید کتاب کیندل-
    چاپ افست کتاب-
    خرید مجله اورجینال
    ضمانت بازگشت وجه بدون شرط
    اعتماد سازی
    انتقال وجه کارت به کارت
    X

    پرداخت وجه کارت به کارت

    شماره کارت : 6104337650971516
    شماره حساب : 8228146163
    شناسه شبا (انتقال پایا) : IR410120020000008228146163
    بانک ملت به نام مهدی تاج دینی

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X