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

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specifica...

CASL Reference Manual
By Peter D. Mosses
Publisher: Springer, 2004-02-24
Pages: 520
Language: en
ISBN_13:9783540246480
ISBN_10:3540246487
Subject: Computers

Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande Do Norte, Br...

Theoretical Aspects of Computing

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specifica...

CASL Reference Manual

Algebraic Methodology and Software Technology

8th International Conference, AMAST 2000 Iowa City, Iowa, US...

Algebraic Methodology and Software Technology
By Teodor Rus
Publisher: Springer, 2003-06-26
Pages: 556
Language: en
ISBN_13:9783540454991
ISBN_10:3540454993
Subject: Computers

Testing of Software and Communicating Systems

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

Testing of Software and Communicating Systems

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland...

Integrated Formal Methods
By Maurice H. ter Beek, Rosemary Monahan
Publisher: Springer Nature, 2022-06-01
Pages: 372
Language: en
ISBN_13:9783031077272
ISBN_10:303107727X
Subject: Computers

Language Constructs for Describing Features

Proceedings of the FIREworks workshop

Language Constructs for Describing Features

Graph Transformations

4th International Conference, ICGT 2008, Leicester, United K...

Graph Transformations
By Hartmut Ehrig
Publisher: Springer Science & Business Media, 2008-08-28
Pages: 536
Language: en
ISBN_13:9783540874041
ISBN_10:3540874046
Subject: Computers

Tests and Proofs

First International Conference, TAP 2007 Zurich, Switzerland...

Tests and Proofs
By Bertrand Meyer, Yuri Gurevich
Publisher: Springer, 2007-08-26
Pages: 226
Language: en
ISBN_13:9783540737704
ISBN_10:3540737707
Subject: Computers

Testing of Communicating Systems

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

Testing of Communicating Systems

Recent Trends in Data Type Specification

11th Workshop on Specification of Abstract Data Types, Joint...

Recent Trends in Data Type Specification

Computer Aided Verification

... International Conference, CAV ... ; Proceedings. Paris, ...

Computer Aided Verification

Testing of Software and Communication Systems

21st IFIP WG 6.1 International Conference, TESTCOM 2009 and ...

Testing of Software and Communication Systems

Testing Software and Systems

25th IFIP WG 6.1 International Conference, ICTSS 2013, Istan...

Testing Software and Systems
By Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
Publisher: Springer, 2013-10-30
Pages: 302
Language: en
ISBN_13:9783642417078
ISBN_10:3642417078
Subject: Computers

Computational Methods in Systems Biology

11th International Conference, CMSB 2013, Klosterneuburg, Au...

Computational Methods in Systems Biology
By Ashutosh Gupta, Thomas A. Henzinger
Publisher: Springer, 2013-09-18
Pages: 299
Language: en
ISBN_13:9783642407086
ISBN_10:3642407080
Subject: Computers

TAPSOFT '91 - Volume 2

Advances in Distributed Computing (ADC) and Colloquium on Co...

TAPSOFT '91 - Volume 2

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

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

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

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

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

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

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

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

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

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

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