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

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

Distributed Symbolic Reachability Analysis

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

By Ming-Ying Chung
2007
Pages: 380
Language: en
OTHER:UCR:31210015197666
Subject: Computer programs

Correct Hardware Design and Verification Methods

13th IFIP WG 10.5Advanced Research, Working Conference, CHAR...

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

By Dominique Borrione, Wolfgang Paul
Publisher: Springer, 2005-10-07
Pages: 423
Language: en
ISBN_13:9783540320302
ISBN_10:354032030X
Subject: Computers

Computer Aided Verification

... International Conference, CAV ... ; Proceedings. Paris, ...

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

Publisher: Springer Science & Business Media, 2000
Pages: 533
Language: en
ISBN_13:9783540423454
ISBN_10:3540423451

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July...

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

By Gerard Berry, Hubert Comon, Alain Finkel
Publisher: Springer, 2003-05-15
Pages: 533
Language: en
ISBN_13:9783540445852
ISBN_10:3540445854
Subject: Computers

Formal Methods: Applications and Technology

11th International Workshop on Formal Methods for Industrial...

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

By Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Publisher: Springer, 2007-06-27
Pages: 366
Language: en
ISBN_13:9783540709527
ISBN_10:3540709525
Subject: Computers

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, Oc...

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

By Doron A. Peled, Yih-Kuen Tsay
Publisher: Springer, 2005-10-11
Pages: 516
Language: en
ISBN_13:9783540319696
ISBN_10:3540319697
Subject: Computers

Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, ...

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

By Warren A. Jr. Hunt, Steven D. Johnson
Publisher: Springer, 2007-11-29
Pages: 574
Language: en
ISBN_13:9783540409229
ISBN_10:354040922X
Subject: Computers

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Proceedings of the GM R&D Workshop, Bangalore, India, Januar...

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

By S. Ramesh, P. Sampath
Publisher: Springer Science & Business Media, 2007-08-26
Pages: 304
Language: en
ISBN_13:9781402062544
ISBN_10:1402062540
Subject: Technology & Engineering

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 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

SOFSEM 2007: Theory and Practice of Computer Science

33nd Conference on Current Trends in Theory and Practice of ...

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

By Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack
Publisher: Springer, 2007-07-13
Pages: 937
Language: en
ISBN_13:9783540695073
ISBN_10:3540695079
Subject: Computers

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 ...

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

By Antti Valmari
Publisher: Springer Science & Business Media, 2006-03-15
Pages: 316
Language: en
ISBN_13:9783540331025
ISBN_10:3540331026
Subject: Computers

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation

Third International Conference, ICC3 2017, Coimbatore, India...

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

By Geetha Ganapathi, Arumugam Subramaniam, Manuel Graña, Suresh Balusamy, Rajamanickam Natarajan
Publisher: Springer, 2018-09-10
Pages: 255
Language: en
ISBN_13:9789811307164
ISBN_10:9811307164
Subject: Computers

Computer Aided Verification

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

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

By E. Allen Emerson, A. Prasad Sistla
Publisher: Springer, 2006-12-30
Pages: 593
Language: en
ISBN_13:9783540450474
ISBN_10:3540450475
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of t...

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

By Tomáš Vojnar, Lijun Zhang
Publisher: Springer, 2019-04-03
Pages: 413
Language: en
ISBN_13:9783030174651
ISBN_10:3030174654
Subject: Computers

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

21st Conference, Bangalore, India, December 13-15, 2001, Pro...

$This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year’s conference attracted 73 submissions from 20 countries. Each s- mission was reviewed by at least three independent referees. In a departure from previous conferences, the ?nal selection of the papers making up the program was done through an electronic discussion spanning two weeks, without a physical meeting of the Program Committee (PC). Since the PC of FSTTCS is distributed across the globe, it is very di?cult to ?x a meeting whose time and venue is convenient for a substantial fraction of the PC. Given this, it was felt that an electronic discussion would enable all members to participate on a more equal footing in the ?nal selection. All reviews, scores, and comments were posted on a secure website, with a mechanism for making updates and automatically sending noti?cations by email to relevant members of the PC. All PC members participated actively in the discussion. The general feedback on the arrangement was very positive, so we hope to continue this in future years. We had ?ve invited speakers this year: Eric Allender, Sanjeev Arora, David Harel, Colin Stirling, and Uri Zwick. We thank them for having readily accepted our invitation to talk at the conference and for providing abstracts (and even full papers) for the proceedings.$

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

By Ramesh Hariharan, Madhavan Mukund, V. Vinay
Publisher: Springer, 2003-06-30
Pages: 359
Language: en
ISBN_13:9783540452942
ISBN_10:354045294X
Subject: Computers

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July...

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

By Tayssir Touili, Byron Cook, Paul Jackson
Publisher: Springer, 2010-07-09
Pages: 691
Language: en
ISBN_13:9783642142956
ISBN_10:3642142958
Subject: Computers

Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20,...

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

By Matthew Dwyer
Publisher: Springer, 2003-06-29
Pages: 322
Language: en
ISBN_13:9783540451396
ISBN_10:3540451390
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

21st International Conference, TACAS 2015, Held as Part of t...

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

By Christel Baier, Cesare Tinelli
Publisher: Springer, 2015-03-30
Pages: 728
Language: en
ISBN_13:9783662466810
ISBN_10:3662466813
Subject: Computers

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, Sept...

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

By Kim Guldstrand Larsen, Igor Potapov, Jiří Srba
Publisher: Springer, 2016-09-12
Pages: 193
Language: en
ISBN_13:9783319459943
ISBN_10:3319459945
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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