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

Correct Hardware Design and Verification Methods

10th IFIP WG10.5 Advanced Research Working Conference, CHARM...

Correct Hardware Design and Verification Methods
By Laurence Pierre, Thomas Kropf
Publisher: Springer, 2003-07-31
Pages: 399
Language: en
ISBN_13:9783540481539
ISBN_10:3540481532
Subject: Computers

The Internet

The Book Of Revelations Vol. 5

The Internet

Tools and Algorithms for the Construction and Analysis of Systems

11th International Conference, TACAS 2005, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

History of Mathematics and Its Contexts

Essays in Honor of Gert Schubring

History of Mathematics and Its Contexts

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Ital...

Automated Reasoning
By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
Publisher: Springer, 2003-06-29
Pages: 721
Language: en
ISBN_13:9783540457442
ISBN_10:3540457445
Subject: Computers

Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20,...

Model Checking Software
By Matthew Dwyer
Publisher: Springer, 2003-06-29
Pages: 322
Language: en
ISBN_13:9783540451396
ISBN_10:3540451390
Subject: Computers

Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS'99, Held as Part of...

Foundations of Software Science and Computation Structures
By Wolfgang Thomas
Publisher: Springer, 2003-07-31
Pages: 334
Language: en
ISBN_13:9783540490197
ISBN_10:3540490191
Subject: Computers

Security Protocols

6th International Workshop, Cambridge, UK, April 15-17, 1998...

Security Protocols

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

Parallel Problem Solving from Nature - PPSN IX

9th International Conference, Reykjavik, Iceland, September ...

Parallel Problem Solving from Nature - PPSN IX

Software Security -- Theories and Systems

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Jap...

Software Security -- Theories and Systems

Reliable Software Technologies -- Ada-Europe 2006

11th Ada-Europe International Conference on Reliable Softwar...

Reliable Software Technologies -- Ada-Europe 2006

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

Algebraic Methodology and Software Technology

10th International Conference, AMAST 2004, Stirling, Scotlan...

Algebraic Methodology and Software Technology

25 Years of Model Checking

History, Achievements, Perspectives

25 Years of Model Checking

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

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

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

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

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

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

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

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

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

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

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