ثبت درخواست جستجو

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

CONCUR 2013 -- Concurrency Theory

24th International Conference, CONCUR 2013, Buenos Aires, Ar...

CONCUR 2013 -- Concurrency Theory
جزئیات و درخواست
By Pedro R. D'Argenio, Hernan Melgratti
Publisher: Springer, 2013-07-23
Pages: 576
Language: en
ISBN_13:9783642401848
ISBN_10:3642401848
Subject: Computers

Formal Modeling and Analysis of Timed Systems

21st International Conference, FORMATS 2023, Antwerp, Belgiu...

Formal Modeling and Analysis of Timed Systems
جزئیات و درخواست
By Laure Petrucci, Jeremy Sproston
Publisher: Springer Nature, 2023-08-28
Pages: 190
Language: en
ISBN_13:9783031426261
ISBN_10:3031426266
Subject: Computers

Relational and Algebraic Methods in Computer Science

21st International Conference, RAMiCS 2024, Prague, Czech Re...

Relational and Algebraic Methods in Computer Science
جزئیات و درخواست
By Uli Fahrenberg
Publisher: Springer Nature,
Pages: 272
Language: en
ISBN_13:9783031682797
ISBN_10:3031682793

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of H...

Principles of Verification: Cycling the Probabilistic Landscape
جزئیات و درخواست
By Nils Jansen
Publisher: Springer Nature,
Pages: 462
Language: en
ISBN_13:9783031757839
ISBN_10:3031757831
Computational Logic
جزئیات و درخواست
By Dov M. Gabbay, Jörg H. Siekmann, John Woods
Publisher: Newnes, 2014-12-09
Pages: 737
Language: en
ISBN_13:9780080930671
ISBN_10:0080930670
Subject: Mathematics
Automated Verification of Concurrent Search Structures
جزئیات و درخواست
By Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
Publisher: Springer Nature, 2022-05-31
Pages: 180
Language: en
ISBN_13:9783031018060
ISBN_10:3031018060
Subject: Mathematics

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Armin Biere, David Parker
Publisher: Springer Nature, 2020-04-17
Pages: 437
Language: en
ISBN_13:9783030452377
ISBN_10:3030452379
Subject: Computers

Theoretical Aspects of Computing – ICTAC 2014

11th International Colloquium, Bucharest, Romania, September...

Theoretical Aspects of Computing – ICTAC 2014
جزئیات و درخواست
By Gabriel Ciobanu, Dominique Méry
Publisher: Springer, 2014-09-11
Pages: 493
Language: en
ISBN_13:9783319108827
ISBN_10:3319108824
Subject: Computers
Handbook of Model Checking
جزئیات و درخواست
By Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Publisher: Springer, 2018-05-18
Pages: 1210
Language: en
ISBN_13:9783319105758
ISBN_10:3319105752
Subject: Computers

Theoretical Aspects of Computing – ICTAC 2020

17th International Colloquium, Macau, China, November 30 – D...

Theoretical Aspects of Computing – ICTAC 2020
جزئیات و درخواست
By Violet Ka I Pun, Volker Stolz, Adenilso Simao
Publisher: Springer Nature, 2020-11-24
Pages: 327
Language: en
ISBN_13:9783030642761
ISBN_10:3030642763
Subject: Computers

Computer Science – Theory and Applications

11th International Computer Science Symposium in Russia, CSR...

Computer Science – Theory and Applications
جزئیات و درخواست
By Alexander S. Kulikov, Gerhard J. Woeginger
Publisher: Springer, 2016-06-02
Pages: 443
Language: en
ISBN_13:9783319341712
ISBN_10:3319341715
Subject: Computers

Foundations of Software Science and Computation Structures

23rd International Conference, FOSSACS 2020, Held as Part of...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Jean Goubault-Larrecq, Barbara König
Publisher: Springer Nature, 2020-04-17
Pages: 657
Language: en
ISBN_13:9783030452315
ISBN_10:303045231X
Subject: Mathematics
Bidirektionale Abbildung zwischen Geschaeftsprozessmodellen und IT-Kommunikationssystemen
جزئیات و درخواست
By Keuter, Bjoern
Publisher: KIT Scientific Publishing, 2014-09-25
Pages: 230
Language: de
ISBN_13:9783731502593
ISBN_10:3731502593
Subject: Computers

Logic-Based Program Synthesis and Transformation

30th International Symposium, LOPSTR 2020, Bologna, Italy, S...

Logic-Based Program Synthesis and Transformation
جزئیات و درخواست
By Maribel Fernández
Publisher: Springer Nature, 2021-02-12
Pages: 348
Language: en
ISBN_13:9783030684464
ISBN_10:3030684466
Subject: Computers

Modality, Semantics and Interpretations

The Second Asian Workshop on Philosophical Logic

Modality, Semantics and Interpretations
جزئیات و درخواست
By Shier Ju, Hu Liu, Hiroakira Ono
Publisher: Springer, 2015-07-03
Pages: 192
Language: en
ISBN_13:9783662471975
ISBN_10:3662471973
Subject: Philosophy

Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, Oc...

Static Analysis
جزئیات و درخواست
By Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi
Publisher: Springer Nature, 2021-10-13
Pages: 494
Language: en
ISBN_13:9783030888060
ISBN_10:3030888061
Subject: Computers
Present and Ulterior Software Engineering
جزئیات و درخواست
By Manuel Mazzara, Bertrand Meyer
Publisher: Springer, 2017-11-01
Pages: 225
Language: en
ISBN_13:9783319674254
ISBN_10:3319674250
Subject: Computers
Dependable Software Systems Engineering
جزئیات و درخواست
By J. Esparza, O. Grumberg, S. Sickert
Publisher: IOS Press, 2016-04-19
Pages: 296
Language: en
ISBN_13:9781614996279
ISBN_10:161499627X
Subject: Computers
Parameterized Verification of Synchronized Concurrent Programs
جزئیات و درخواست
By Zeinab Ganjei
Publisher: Linköping University Electronic Press, 2021-03-19
Pages: 216
Language: en
ISBN_13:9789179296971
ISBN_10:9179296971
Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Naoki Kobayashi
Publisher: Springer Nature,
Pages: 283
Language: en
ISBN_13:9783031572319
ISBN_10:3031572319
«12345678910»

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

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

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

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

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

خرید کتاب از آمازون

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

خرید کتاب از گوگل بوکز

خرید کتاب زبان اصلی

سایت خرید کتاب زبان اصلی

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت