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

Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June ...

Logical Foundations of Computer Science
By Sergei Artemov, Anil Nerode
Publisher: Springer, 2007-06-30
Pages: 522
Language: en
ISBN_13:9783540727347
ISBN_10:3540727345
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, 2005-11-29
Pages: 313
Language: en
ISBN_13:9783540316169
ISBN_10:3540316167
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Kurt Jensen, Andreas Podelski
Publisher: Springer, 2004-03-09
Pages: 622
Language: en
ISBN_13:9783540247302
ISBN_10:3540247300
Subject: Computers

Foundations of Software Science and Computation Structures

26th International Conference, FoSSaCS 2023, Held as Part of...

Foundations of Software Science and Computation Structures
By Orna Kupferman, Pawel Sobocinski
Publisher: Springer Nature, 2023-04-20
Pages: 575
Language: en
ISBN_13:9783031308291
ISBN_10:3031308298
Subject: Computers

Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of...

Foundations of Software Science and Computation Structures
By Mikołaj Bojańczyk, Alex Simpson
Publisher: Springer, 2019-04-05
Pages: 556
Language: en
ISBN_13:9783030171278
ISBN_10:3030171272
Subject: Mathematics

CONCUR 2010 - Concurrency Theory

21th International Conference, CONCUR 2010, Paris, France, A...

CONCUR 2010 - Concurrency Theory

Foundations of Software Science and Computational Structures

15th International Conference, FOSSACS 2012, Held as Part of...

Foundations of Software Science and Computational Structures
By Lars Birkedal
Publisher: Springer Science & Business Media, 2012-03-09
Pages: 497
Language: en
ISBN_13:9783642287282
ISBN_10:364228728X
Subject: Computers

STACS 2003

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

STACS 2003

Language and Automata Theory and Applications

4th International Conference, LATA 2010, Trier, Germany, May...

Language and Automata Theory and Applications

Automata, Languages and Programming

35th International Colloquium, ICALP 2008 Reykjavik, Iceland...

Automata, Languages and Programming

LATIN 2006: Theoretical Informatics

7th Latin American Symposium, Valdivia, Chile, March 20-24, ...

LATIN 2006: Theoretical Informatics

Rewriting Techniques and Applications

15th International Conference, RTA 2004, Aachen, Germany, Ju...

Rewriting Techniques and Applications
By Vincent van Oostrom
Publisher: Springer, 2004-08-24
Pages: 322
Language: en
ISBN_13:9783540259794
ISBN_10:3540259791
Subject: Mathematics

Interactions in Ultracold Gases

From Atoms to Molecules

Interactions in Ultracold Gases

Formal Modeling and Analysis of Timed Systems

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

Formal Modeling and Analysis of Timed Systems
By Kim G. Larsen, Peter Niebert
Publisher: Springer, 2004-05-12
Pages: 289
Language: en
ISBN_13:9783540409038
ISBN_10:3540409033
Subject: Mathematics

Foundations of Information and Knowledge Systems

12th International Symposium, FoIKS 2022, Helsinki, Finland,...

Foundations of Information and Knowledge Systems
By Ivan Varzinczak
Publisher: Springer Nature, 2022-07-09
Pages: 254
Language: en
ISBN_13:9783031113215
ISBN_10:3031113217
Subject: Mathematics

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

25th International Conference, Hyderabad, India, December 15...

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
By R. Ramanujam, Sandeep Sen
Publisher: Springer, 2005-12-06
Pages: 580
Language: en
ISBN_13:9783540324195
ISBN_10:3540324194
Subject: Computers

CONCUR 2003 - Concurrency Theory

14th International Conference, Marseille, France, September ...

CONCUR 2003 - Concurrency Theory
By Roberto Amadio, Denis Lugiez
Publisher: Springer, 2003-12-03
Pages: 536
Language: en
ISBN_13:9783540451877
ISBN_10:3540451870
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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