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

Relational and Algebraic Methods in Computer Science

16th International Conference, RAMiCS 2017, Lyon, France, Ma...

Relational and Algebraic Methods in Computer Science
By Peter Höfner, Damien Pous, Georg Struth
Publisher: Springer, 2017-05-08
Pages: 335
Language: en
ISBN_13:9783319574189
ISBN_10:3319574183
Subject: Mathematics

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, ...

Computer Aided Verification
By Daniel Kroening, Corina S. Păsăreanu
Publisher: Springer, 2015-07-13
Pages: 479
Language: en
ISBN_13:9783319216683
ISBN_10:3319216686
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

Automated Reasoning

6th International Joint Conference, IJCAR 2012, Manchester, ...

Automated Reasoning
By Bernhard Gramlich, Dale Miller, Ulrike Sattler
Publisher: Springer, 2012-06-22
Pages: 582
Language: en
ISBN_13:9783642313653
ISBN_10:3642313655
Subject: Mathematics

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 202...

Theoretical Aspects of Computing – ICTAC 2023

Programming Languages and Systems

31st European Symposium on Programming, ESOP 2022, Held as P...

Programming Languages and Systems
By Ilya Sergey
Publisher: Springer Nature, 2022-03-28
Pages: 618
Language: en
ISBN_13:9783030993368
ISBN_10:3030993361
Subject: Computers

Foundations of Software Science and Computation Structures

17th International Conference, FOSSACS 2014, Held as Part of...

Foundations of Software Science and Computation Structures
By Anca Muscholl
Publisher: Springer, 2014-03-21
Pages: 470
Language: en
ISBN_13:9783642548307
ISBN_10:364254830X
Subject: Computers

Recent Trends in Algebraic Development Techniques

21st International Workshop, WADT 2012, Salamanca, Spain, Ju...

Recent Trends in Algebraic Development Techniques
By Narciso Martí-Oliet, Miguel Palomino
Publisher: Springer, 2013-04-11
Pages: 293
Language: en
ISBN_13:9783642376351
ISBN_10:3642376355
Subject: Computers

Automata, Languages, and Programming

41st International Colloquium, ICALP 2014, Copenhagen, Denma...

Automata, Languages, and Programming

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, Septemb...

Formal Methods

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
Program Proofs
By K. Rustan M. Leino
Publisher: MIT Press, 2023-03-07
Pages: 498
Language: en
ISBN_13:9780262546232
ISBN_10:026254623X
Subject: Computers

Coalgebraic Methods in Computer Science

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocate...

Coalgebraic Methods in Computer Science

Foundations of Software Science and Computation Structures

18th International Conference, FOSSACS 2015, Held as Part of...

Foundations of Software Science and Computation Structures
By Andrew Pitts
Publisher: Springer, 2015-03-31
Pages: 467
Language: en
ISBN_13:9783662466780
ISBN_10:3662466783
Subject: Computers

A Journey from Process Algebra via Timed Automata to Model Learning

Essays Dedicated to Frits Vaandrager on the Occasion of His ...

A Journey from Process Algebra via Timed Automata to Model Learning

Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Dana Fisman, Grigore Rosu
Publisher: Springer Nature, 2022-04-30
Pages: 506
Language: en
ISBN_13:9783030995270
ISBN_10:3030995275
Subject: Computers

Theoretical Aspects of Computing – ICTAC 2024

21st International Colloquium, Bangkok, Thailand, November 2...

Theoretical Aspects of Computing – ICTAC 2024

Coalgebraic Methods in Computer Science

16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocate...

Coalgebraic Methods in Computer Science
By Helle Hvid Hansen, Fabio Zanasi
Publisher: Springer Nature, 2022-07-22
Pages: 210
Language: en
ISBN_13:9783031107368
ISBN_10:3031107365
Subject: Mathematics

Foundations of Software Science and Computation Structures

25th International Conference, FOSSACS 2022, Held as Part of...

Foundations of Software Science and Computation Structures
By Patricia Bouyer, Lutz Schröder
Publisher: Springer Nature, 2022-03-28
Pages: 471
Language: en
ISBN_13:9783030992538
ISBN_10:3030992535
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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