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

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

Applications and Theory of Petri Nets 2001

22nd International Conference, ICATPN 2001 Newcastle upon Ty...

$This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. This year the conference was organized jointly with the 2nd International Conference on Application of Concurrency to System Design (ICACSD 2001). The two conferences shared the invited lectures and the social program. The conference and a number of other activities are co-ordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Aust- lia), G. De Michelis (Italy), C. Girault (France), K. Jensen (Denmark), S. - magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2001 conference included tool dem- strations, a meeting on \XML Based Interchange Formats for Petri Nets", - tensive introductory tutorials, two advanced tutorials on \Probabilistic Methods in Concurrency" and \Model Checking", and two workshops on \Synthesis of Concurrent Systems" and \Concurrency in Dependable Computing". The tu- rial notes and workshop proceedings are not published in these proceedings, but copies are available from the organizers.$

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

By Jose-Manuel Colom, Maciej Koutny
Publisher: Springer, 2003-05-15
Pages: 413
Language: en
ISBN_13:9783540457404
ISBN_10:3540457402
Subject: Mathematics

Correct System Design

Recent Insights and Advances

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

By Ernst-Rüdiger Olderog, Bernhard Steffen
Publisher: Springer, 2003-06-26
Pages: 417
Language: en
ISBN_13:9783540480921
ISBN_10:3540480927
Subject: Computers

CONCUR 2001 - Concurrency Theory

12th International Conference, Aalborg, Denmark, August 20-2...

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

By Kim G. Larsen, Mogens Nielsen
Publisher: Springer Science & Business Media, 2001-08-13
Pages: 594
Language: en
ISBN_13:9783540424970
ISBN_10:3540424970
Subject: Computers

Automatic Verification of Parameterized Systems by Over-Approximation

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

By Vladislavs Jahundovics
Publisher: Linköping University Electronic Press, 2015-11-17
Pages: 155
Language: en
ISBN_13:9789176859186
ISBN_10:9176859185

Tools and Algorithms for the Construction and Analysis of Systems

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

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

By Sriram Sankaranarayanan, Natasha Sharygina
Publisher: Springer Nature, 2023-04-21
Pages: 718
Language: en
ISBN_13:9783031308239
ISBN_10:3031308239
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 2000 Held as Part of the...

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

By Susanne Graf, Michael Schwartzbach
Publisher: Springer, 2003-06-29
Pages: 570
Language: en
ISBN_13:9783540464198
ISBN_10:3540464190
Subject: Computers

Decidability of Parameterized Verification

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

By Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
Publisher: Springer Nature, 2022-05-31
Pages: 158
Language: en
ISBN_13:9783031020117
ISBN_10:3031020111
Subject: Computers

Formal Techniques for Networked and Distributed Systems – FORTE 2008

28th IFIP WG 6.1 International Conference Tokyo, Japan, June...

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

By Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Publisher: Springer Science & Business Media, 2008-05-27
Pages: 351
Language: en
ISBN_13:9783540688549
ISBN_10:3540688544
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

11th International Conference, TACAS 2005, Held as Part of t...

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

By Nicolas Halbwachs, Lenore Zuck
Publisher: Springer, 2005-02-26
Pages: 603
Language: en
ISBN_13:9783540319801
ISBN_10:3540319808
Subject: Computers

Automata, Languages and Programming

32nd International Colloquim, ICALP 2005, Lisbon, Portugal, ...

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

By Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung
Publisher: Springer, 2005-08-25
Pages: 1501
Language: en
ISBN_13:9783540316916
ISBN_10:3540316914
Subject: Computers

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, A...

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

By Christel Baier, Holger Hermanns
Publisher: Springer, 2006-08-03
Pages: 536
Language: en
ISBN_13:9783540373773
ISBN_10:3540373772
Subject: Computers

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Swede...

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

By Paul Pettersson, Wang Yi
Publisher: Springer, 2005-11-29
Pages: 313
Language: en
ISBN_13:9783540316169
ISBN_10:3540316167
Subject: Computers

Mathematics in Berlin

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

By Heinrich Begehr, Helmut Koch, Jürg Kramer, Norbert Schappacher, Ernst-Jochen Thiele
Publisher: Springer Science & Business Media, 1998-07-21
Pages: 1840
Language: en
ISBN_10:3764359439
ISBN_13:9783764359430
Subject: Mathematics

Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of t...

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

By Parosh Aziz Abdulla, K. Rustan M. Leino
Publisher: Springer, 2011-03-14
Pages: 409
Language: en
ISBN_13:9783642198359
ISBN_10:364219835X
Subject: Computers

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Joint International Conferences on Formal Modeling and Analy...

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

By Yassine Lakhnech, Sergio Yovine
Publisher: Springer Science & Business Media, 2004-09-20
Pages: 405
Language: en
ISBN_13:9783540231677
ISBN_10:3540231676
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

Verification of Infinite-state Systems with Applications to Security

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

By Edmund Clarke, Marius Minea, Ferucio Laurenţiu Ţiplea
Publisher: IOS Press, 2006
Pages: 244
Language: en
ISBN_13:9781586035709
ISBN_10:1586035703
Subject: Computers

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, Octobe...

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

By Zhiming Liu, Anders P. Ravn
Publisher: Springer Science & Business Media, 2009-09-29
Pages: 423
Language: en
ISBN_13:9783642047602
ISBN_10:3642047602
Subject: Computers

Leveraging Applications of Formal Methods

First International Symposium, ISoLA 2004, Paphos, Cyprus, O...

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

By Tiziana Maragria, Bernhard Steffen
Publisher: Springer, 2006-11-02
Pages: 205
Language: en
ISBN_13:9783540489290
ISBN_10:3540489290
Subject: Computers

Networked Systems

6th International Conference, NETYS 2018, Essaouira, Morocco...

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

By Andreas Podelski, François Taïani
Publisher: Springer, 2019-01-05
Pages: 412
Language: en
ISBN_13:9783030055295
ISBN_10:3030055299
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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