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

Descriptional Complexity of Formal Systems

23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtu...

Descriptional Complexity of Formal Systems
By Yo-Sub Han, Sang-Ki Ko
Publisher: Springer Nature, 2022-01-01
Pages: 210
Language: en
ISBN_13:9783030934897
ISBN_10:3030934896
Subject: Computers

Development in Language Theory

15th International Conference, DLT 2011, Milan, Italy, July ...

Development in Language Theory
By Giancarlo Mauri, Alberto Leporati
Publisher: Springer, 2011-07-12
Pages: 493
Language: en
ISBN_13:9783642223211
ISBN_10:3642223214
Subject: Computers

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, Apri...

Typed Lambda Calculi and Applications
By Jean-Yves Girard
Publisher: Springer, 2003-07-31
Pages: 409
Language: en
ISBN_13:9783540489597
ISBN_10:3540489592
Subject: Computers

Descriptional Complexity of Formal Systems

19th IFIP WG 1.02 International Conference, DCFS 2017, Milan...

Descriptional Complexity of Formal Systems
By Giovanni Pighizzini, Cezar Câmpeanu
Publisher: Springer, 2017-06-22
Pages: 320
Language: en
ISBN_13:9783319602523
ISBN_10:3319602527
Subject: Computers

Advances in Artificial Intelligence

International Joint Conference 7th Ibero-American Conference...

Advances in Artificial Intelligence

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, Augu...

Theorem Proving in Higher Order Logics
By Joe Hurd, Tom Melham
Publisher: Springer, 2005-08-29
Pages: 418
Language: en
ISBN_13:9783540318200
ISBN_10:3540318208
Subject: Computers

Developments in Language Theory

20th International Conference, DLT 2016, Montréal, Canada, J...

Developments in Language Theory
By Srečko Brlek, Christophe Reutenauer
Publisher: Springer, 2016-07-20
Pages: 423
Language: en
ISBN_13:9783662531327
ISBN_10:3662531321
Subject: Computers

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, Jul...

Logic-Based Program Synthesis and Transformation
By Moreno Falaschi
Publisher: Springer, 2015-12-16
Pages: 384
Language: en
ISBN_13:9783319274362
ISBN_10:3319274368
Subject: Computers

Implementation and Application of Automata

16th International Conference, CIAA 2011, Blois, France, Jul...

Implementation and Application of Automata

Developments in Language Theory

21st International Conference, DLT 2017, Liège, Belgium, Aug...

Developments in Language Theory
By Émilie Charlier, Julien Leroy, Michel Rigo
Publisher: Springer, 2017-07-20
Pages: 398
Language: en
ISBN_13:9783319628097
ISBN_10:3319628097
Subject: Computers

Implementation and Application of Automata

28th International Conference, CIAA 2024, Akita, Japan, Sept...

Implementation and Application of Automata

Implementation and Application of Automata

27th International Conference, CIAA 2023, Famagusta, North C...

Implementation and Application of Automata
By Benedek Nagy
Publisher: Springer Nature, 2023-08-09
Pages: 313
Language: en
ISBN_13:9783031402470
ISBN_10:3031402472
Subject: Computers

Descriptional Complexity of Formal Systems

18th IFIP WG 1.2 International Conference, DCFS 2016, Buchar...

Descriptional Complexity of Formal Systems
By Cezar Câmpeanu, Florin Manea, Jeffrey Shallit
Publisher: Springer, 2016-07-13
Pages: 233
Language: en
ISBN_13:9783319411149
ISBN_10:3319411144
Subject: Mathematics

Language, Life, Limits

10th Conference on Computability in Europe, CiE 2014, Budape...

Language, Life, Limits

Implementation and Application of Automata

20th International Conference, CIAA 2015, Umeå, Sweden, Augu...

Implementation and Application of Automata
By Frank Drewes
Publisher: Springer, 2015-07-27
Pages: 335
Language: en
ISBN_13:9783319223605
ISBN_10:3319223607
Subject: Computers

Proof Theory

Sequent Calculi and Related Formalisms

Proof Theory
By Katalin Bimbo
Publisher: CRC Press, 2014-08-20
Pages: 388
Language: en
ISBN_13:9781466564664
ISBN_10:1466564660
Subject: Mathematics

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

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

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

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

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

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

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

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

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

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

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