دانلود کتاب خارجی - دانلود رایگان کتاب لاتین PDF علمی

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

Formal Methods for Quantitative Aspects of Programming Languages

10th International School on Formal Methods for the Design o...

By Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Publisher: Springer Science & Business Media, 2010-06-11
Pages: 175
Language: en
ISBN_13:9783642136771
ISBN_10:364213677X
Subject: Computers

Formal Methods for Components and Objects

5th International Symposium, FMCO 2006, Amsterdam, Netherlan...

جزئیات و درخواست

By Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever
2007
Language: en
ISBN_10:835407479X
ISBN_13:9788354074793
Subject: Computer science

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

16th International School on Formal Methods for the Design o...

جزئیات و درخواست

By Marco Bernardo, Rocco De Nicola, Jane Hillston
Publisher: Springer, 2016-06-10
Pages: 269
Language: en
ISBN_13:9783319340968
ISBN_10:3319340964
Subject: Computers

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, G...

جزئیات و درخواست

By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2012-09-26
Pages: 632
Language: en
ISBN_13:9783642340260
ISBN_10:3642340261
Subject: Computers

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, G...

جزئیات و درخواست

By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2012-09-25
Pages: 376
Language: en
ISBN_13:9783642340321
ISBN_10:3642340326
Subject: Computers

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium,...

جزئیات و درخواست

By Alessandro Cimatti, Laura Titolo
Publisher: Springer Nature, 2023-09-16
Pages: 271
Language: en
ISBN_13:9783031436819
ISBN_10:3031436814
Subject: Computers

Formal Methods for Eternal Networked Software Systems

11th International School on Formal Methods for the Design o...

جزئیات و درخواست

By Marco Bernardo, Valerie Issarny
Publisher: Springer Science & Business Media, 2011-06-03
Pages: 535
Language: en
ISBN_13:9783642214547
ISBN_10:3642214541
Subject: Computers

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, S...

جزئیات و درخواست

By Elvira Albert, Emil Sekerinski
Publisher: Springer, 2014-08-29
Pages: 390
Language: en
ISBN_13:9783319101811
ISBN_10:3319101811
Subject: Computers

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the F...

جزئیات و درخواست

By Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Publisher: Springer, 2018-07-11
Pages: 692
Language: en
ISBN_13:9783319955827
ISBN_10:3319955829
Subject: Computers

Formal Methods for Computational Systems Biology

8th International School on Formal Methods for the Design of...

جزئیات و درخواست

By Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Publisher: Springer Science & Business Media, 2008-05-20
Pages: 533
Language: en
ISBN_13:9783540688921
ISBN_10:3540688927
Subject: Computers

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, Marc...

جزئیات و درخواست

By Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Publisher: Springer Nature, 2023-03-02
Pages: 661
Language: en
ISBN_13:9783031274817
ISBN_10:3031274814
Subject: Computers

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Nethe...

جزئیات و درخواست

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Publisher: Springer Science & Business Media, 2006-08-10
Pages: 436
Language: en
ISBN_13:9783540367499
ISBN_10:3540367497
Subject: Computers

NASA Formal Methods

5th International Symposium, NFM 2013, Moffett Field, CA, US...

جزئیات و درخواست

By Guillaume Brat, Neha Rungta, Arnaud Venet
Publisher: Springer, 2013-05-09
Pages: 504
Language: en
ISBN_13:9783642380884
ISBN_10:3642380883
Subject: Computers

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, ...

جزئیات و درخواست

By Maurice H. ter Beek, Dejan Ničković
Publisher: Springer Nature, 2020-08-28
Pages: 289
Language: en
ISBN_13:9783030582982
ISBN_10:3030582981
Subject: Computers

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

9th International Symposium on Leveraging Applications of Fo...

جزئیات و درخواست

By Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature, 2020-10-26
Pages: 556
Language: en
ISBN_13:9783030614706
ISBN_10:3030614700
Subject: Computers

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

9th International Symposium on Leveraging Applications of Fo...

جزئیات و درخواست

By Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature, 2020-10-28
Pages: 596
Language: en
ISBN_13:9783030613624
ISBN_10:3030613623
Subject: Computers

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009, Eindhoven, The Nethe...

جزئیات و درخواست

By Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
Publisher: Springer, 2010-11-11
Pages: 339
Language: en
ISBN_13:9783642170713
ISBN_10:3642170714
Subject: Computers

Formal Techniques for Networked and Distributed Systems - FORTE 2006

26th IFIP WG 6.1 International Conference, Paris, France, Se...

جزئیات و درخواست

By Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge
Publisher: Springer, 2006-10-04
Pages: 497
Language: en
ISBN_13:9783540462200
ISBN_10:3540462201
Subject: Computers

Software Engineering for Resilient Systems

Third International Workshop, SERENE 2011, Geneva, Switzerla...

جزئیات و درخواست

By Elena A. Troubitsyna
Publisher: Springer Science & Business Media, 2011-09-19
Pages: 174
Language: en
ISBN_13:9783642241239
ISBN_10:3642241239
Subject: Computers

Handbook of Model Checking

جزئیات و درخواست

By Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Publisher: Springer, 2018-05-18
Pages: 1212
Language: en
ISBN_13:9783319105758
ISBN_10:3319105752
Subject: Computers

«1 2 3 4 5 6 7 8 9 10 »

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

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

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

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

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

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

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

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

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

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

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

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

کتاب زبان اصلی J.R.R

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

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

خرید مانگا

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

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

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

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

کتاب روانشناسی به انگلیسی

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

کتاب خارجی

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