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

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

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

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

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

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

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

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

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

CONCUR 2004 -- Concurrency Theory

15th International Conference, London, UK, August 31 - Septe...

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

By Philippa Gardner, Nobuko Yoshida
Publisher: Springer, 2011-03-22
Pages: 541
Language: en
ISBN_13:9783540286448
ISBN_10:3540286446
Subject: Computers

Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, J...

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

By Warren A. Hunt, Jr., Fabio Somenzi
Publisher: Springer, 2011-05-02
Pages: 474
Language: en
ISBN_13:9783540450696
ISBN_10:3540450696
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

Parameterized Verification of Synchronized Concurrent Programs

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

By Zeinab Ganjei
Publisher: Linköping University Electronic Press, 2021-03-19
Pages: 192
Language: en
ISBN_13:9789179296971
ISBN_10:9179296971

Computer Aided Verification

12th International Conference, CAV 2000 Chicago, IL, USA, Ju...

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

By E. Allen Emerson
Publisher: Springer Science & Business Media, 2000-06-28
Pages: 593
Language: en
ISBN_13:9783540677703
ISBN_10:3540677704
Subject: Computers

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conferenc...

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

By Matthias Baaz, Johann A. Makowsky, European Association for Computer Science Logic. Conference
Publisher: Springer Science & Business Media, 2003-08-18
Pages: 603
Language: en
ISBN_13:9783540408017
ISBN_10:3540408010
Subject: Computers

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

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

By Alexander Nadel , Kristin Yvonne Rozier
Publisher: TU Wien Academic Press, 2023-10-13
Pages: 332
Language: en
ISBN_13:9783854480600
ISBN_10:3854480601
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

4th International Conference, TACAS'98, Held as Part of the ...

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

By Bernhard Steffen
Publisher: Springer Science & Business Media, 1998-03-18
Pages: 484
Language: en
ISBN_10:3540643567
ISBN_13:9783540643562
Subject: Computers

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada...

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

By Alan J. Hu
Publisher: Springer Science & Business Media, 1998-06-03
Pages: 568
Language: en
ISBN_10:3540646086
ISBN_13:9783540646082
Subject: Computers

Foundations of Software Science and Computational Structures

6th International Conference, FOSSACS 2003 Held as Part of t...

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

By Andrew D. Gordon
Publisher: Springer Science & Business Media, 2003-03-14
Pages: 452
Language: en
ISBN_13:9783540008972
ISBN_10:3540008977
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

Automata, Languages and Programming

28th International Colloquium, ICALP 2001 Crete, Greece, Jul...

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

By Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen
Publisher: Springer, 2003-05-15
Pages: 1098
Language: en
ISBN_13:9783540482246
ISBN_10:3540482245
Subject: Computers

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

IFIP 19th World Computer Congress, TC-1, Foundations of Comp...

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

By Gonzalo Navarro, Leopoldo Bertossi, Yoshiharu Kohayakawa
Publisher: Springer, 2006-12-15
Pages: 313
Language: en
ISBN_13:9780387347356
ISBN_10:0387347356
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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