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

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

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-...

Model Checking Software
جزئیات و درخواست
By Corina S. Pasareanu
Publisher: Springer Science & Business Media, 2009-06-19
Pages: 305
Language: en
ISBN_13:9783642026515
ISBN_10:3642026516
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002, Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Joost-Pieter Katoen, Perdita Stevens
Publisher: Springer, 2003-07-31
Pages: 496
Language: en
ISBN_13:9783540460022
ISBN_10:3540460020
Subject: Computers

Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ...

Formal Methods and Software Engineering
جزئیات و درخواست
By Jim Davies, Wolfram Schulte, Mike Barnett
Publisher: Springer Science & Business Media, 2004-10-28
Pages: 511
Language: en
ISBN_13:9783540238416
ISBN_10:3540238417
Subject: Computers
Verification-based Software-fault Detection
جزئیات و درخواست
By Christoph David Gladisch
Publisher: KIT Scientific Publishing, 2014-08-22
Pages: 294
Language: en
ISBN_13:9783866446762
ISBN_10:3866446764
Subject: Computers
Engineering Dependable Software Systems
جزئیات و درخواست
By NATO Emerging Security Challenges Division
Publisher: IOS Press, 2013-06-19
Pages: 376
Language: en
ISBN_13:9781614992073
ISBN_10:161499207X
Subject: Computers

Fundamental Approaches to Software Engineering

27th International Conference, FASE 2024, Held as Part of th...

Fundamental Approaches to Software Engineering
جزئیات و درخواست
By Dirk Beyer
Publisher: Springer Nature,
Pages: 346
Language: en
ISBN_13:9783031572593
ISBN_10:3031572599

Reliable Software Technologies -- Ada-Europe 2003

8th Ada-Europe International Conference on Reliable Software...

Reliable Software Technologies -- Ada-Europe 2003
جزئیات و درخواست
By Jean-Pierre Rosen, Alfred Strohmeier
Publisher: Springer, 2003-08-03
Pages: 442
Language: en
ISBN_13:9783540449478
ISBN_10:3540449477
Subject: Technology & Engineering

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South...

Model Checking Software
جزئیات و درخواست
By Bernd Fischer, Jaco Geldenhuys
Publisher: Springer, 2015-08-26
Pages: 322
Language: en
ISBN_13:9783319234045
ISBN_10:3319234048
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

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: 515
Language: en
ISBN_13:9783030451905
ISBN_10:3030451909
Subject: Computers
Reverse Engineering of Object Oriented Code
جزئیات و درخواست
By Paolo Tonella, Alessandra Potrich
Publisher: Springer Science & Business Media, 2007-03-06
Pages: 213
Language: en
ISBN_13:9780387238036
ISBN_10:0387238034
Subject: Computers

Foundations of Software Science and Computation Structures

27th International Conference, FoSSaCS 2024, Held as Part of...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Naoki Kobayashi
Publisher: Springer Nature,
Pages: 290
Language: en
ISBN_13:9783031572289
ISBN_10:3031572289
Validation of Evolving Software
جزئیات و درخواست
By Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Publisher: Springer, 2015-07-01
Pages: 216
Language: en
ISBN_13:9783319106236
ISBN_10:3319106236
Subject: Computers
Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Biere
Publisher: Springer Nature, 2020
Pages: 399
Language: en
ISBN_13:9783031572494
ISBN_10:3031572491

A Pipelined Multi-Core Machine with Operating System Support

Hardware Implementation and Correctness Proof

A Pipelined Multi-Core Machine with Operating System Support
جزئیات و درخواست
By Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul
Publisher: Springer Nature, 2020-05-09
Pages: 634
Language: en
ISBN_13:9783030432430
ISBN_10:3030432432
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Tiziana Margaria, Wang Yi
Publisher: Springer, 2003-06-29
Pages: 602
Language: en
ISBN_13:9783540453192
ISBN_10:3540453199
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

Generic Programming

International Seminar on Generic Programming Dagstuhl Castle...

Generic Programming
جزئیات و درخواست
By Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser
Publisher: Springer, 2003-06-29
Pages: 280
Language: en
ISBN_13:9783540399537
ISBN_10:3540399534
Subject: Computers

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, US...

Automated Technology for Verification and Analysis
جزئیات و درخواست
By Shuvendu K. Lahiri, Chao Wang
Publisher: Springer, 2018-09-29
Pages: 569
Language: en
ISBN_13:9783030010904
ISBN_10:3030010902
Subject: Computers

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece...

Runtime Verification
جزئیات و درخواست
By Panagiotis Katsaros, Laura Nenzi
Publisher: Springer Nature, 2023-11-04
Pages: 494
Language: en
ISBN_13:9783031442674
ISBN_10:3031442679
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

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

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