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

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

Philosophisches Handbuch Künstliche Intelligenz
جزئیات و درخواست
By Klaus Mainzer
Publisher: Springer-Verlag, 2024-09-14
Pages: 917
Language: de
ISBN_13:9783658196066
ISBN_10:3658196068
Subject: Science
جزئیات و درخواست
Publisher: IOS Press,
Pages: 6097
Language: en

Computer Science -- Theory and Applications

First International Symposium on Computer Science in Russia,...

Computer Science -- Theory and Applications
جزئیات و درخواست
By Dima Grigoriev
Publisher: Springer Science & Business Media, 2006-05-15
Pages: 697
Language: en
ISBN_13:9783540341666
ISBN_10:3540341668
Subject: Computers

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July...

Computer Aided Verification
جزئیات و درخواست
By Constantin Enea, Akash Lal
Publisher: Springer Nature, 2023-07-16
Pages: 513
Language: en
ISBN_13:9783031377099
ISBN_10:3031377095
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

22nd International Conference, VMCAI 2021, Copenhagen, Denma...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Fritz Henglein, Sharon Shoham, Yakir Vizel
Publisher: Springer Nature, 2021-01-11
Pages: 608
Language: en
ISBN_13:9783030670672
ISBN_10:3030670678
Subject: Computers

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, ...

Computer Aided Verification
جزئیات و درخواست
By Madhusudan Parthasarathy, Sanjit A. Seshia
Publisher: Springer, 2012-06-22
Pages: 804
Language: en
ISBN_13:9783642314247
ISBN_10:3642314244
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Holger Hermanns
Publisher: Springer Science & Business Media, 2006-03-15
Pages: 519
Language: en
ISBN_13:9783540330561
ISBN_10:3540330569
Subject: Computers

Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, ...

Hardware and Software: Verification and Testing
جزئیات و درخواست
By Roderick Bloem, Eli Arbel
Publisher: Springer, 2016-10-31
Pages: 225
Language: en
ISBN_13:9783319490526
ISBN_10:3319490524
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Stefan Kowalewski, Anna Philippou
Publisher: Springer Science & Business Media, 2009-03-09
Pages: 470
Language: en
ISBN_13:9783642007675
ISBN_10:3642007678
Subject: Computers
Peterson's Graduate Programs in Computer Science & Information Technology, Electrical & Computer Engineering, and Energy & Power Engineering 2011
جزئیات و درخواست
By Peterson's
Publisher: Peterson's, 2011-05-01
Pages: 658
Language: en
ISBN_13:9780768934816
ISBN_10:0768934818
Subject: Study Aids

CONCUR 2008 - Concurrency Theory

19th International Conference, CONCUR 2008, Toronto, Canada,...

CONCUR 2008 - Concurrency Theory
جزئیات و درخواست
By Franck van Breugel, Marsha Chechik
Publisher: Springer, 2008-08-19
Pages: 537
Language: en
ISBN_13:9783540853619
ISBN_10:3540853618
Subject: Computers

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, US...

Computer Aided Verification
جزئیات و درخواست
By Shuvendu K. Lahiri, Chao Wang
Publisher: Springer Nature, 2020-07-15
Pages: 697
Language: en
ISBN_13:9783030532918
ISBN_10:3030532917
Subject: Computers

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany...

Computer Aided Verification
جزئیات و درخواست
By Rupak Majumdar, Viktor Kunčak
Publisher: Springer, 2017-07-11
Pages: 630
Language: en
ISBN_13:9783319633909
ISBN_10:3319633902
Subject: Computers

Computer Science Logic

24th International Workshop, CSL 2010, 19th Annual Conferenc...

Computer Science Logic
جزئیات و درخواست
By Anuj Dawar, Helmut Veith
Publisher: Springer Science & Business Media, 2010-08-11
Pages: 561
Language: en
ISBN_13:9783642152047
ISBN_10:364215204X
Subject: Computers
FSTTCS 2006: foundations of software technology and theoretical computer science [electronic resource]
جزئیات و درخواست
By S. Arun-Kumar
Publisher: Springer Science & Business Media, 2006-11-27
Pages: 442
Language: en
ISBN_13:9783540499947
ISBN_10:3540499946
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Sriram Sankaranarayanan, Natasha Sharygina
Publisher: Springer Nature, 2023-04-19
Pages: 615
Language: en
ISBN_13:9783031308208
ISBN_10:3031308204
Subject: Computers

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA,...

Verified Software: Theories, Tools, and Experiments
جزئیات و درخواست
By Arie Gurfinkel, Sanjit A. Seshia
Publisher: Springer, 2016-02-12
Pages: 232
Language: en
ISBN_13:9783319296135
ISBN_10:3319296132
Subject: Computers

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
جزئیات و درخواست
By Nicolas Halbwachs
Publisher: Springer Science & Business Media, 2005-03-23
Pages: 603
Language: en
ISBN_13:9783540253334
ISBN_10:3540253335
Subject: Computers

Static Analysis

15th International Symposium, SAS 2008, Valencia, Spain, Jul...

Static Analysis
جزئیات و درخواست
By María Alpuente, Germán Vidal-Oriola
Publisher: Springer, 2008-07-14
Pages: 387
Language: en
ISBN_13:9783540691662
ISBN_10:3540691669
Subject: Computers
Software System Reliability and Security
جزئیات و درخواست
By Charles Antony Richard Hoare
Publisher: IOS Press, 2007
Pages: 428
Language: en
ISBN_13:9781586037314
ISBN_10:1586037315
Subject: Computers
«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

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

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