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

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

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETA...

By Dragan Bošnački, Anton Wijs
Publisher: Springer, 2016-04-07
Pages: 245
Language: en
ISBN_13:9783319325828
ISBN_10:3319325825
Subject: Computers

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-1...

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

By Dragan Bosnacki, Stefan Leue
Publisher: Springer, 2003-08-01
Pages: 268
Language: en
ISBN_13:9783540460176
ISBN_10:3540460179
Subject: Computers

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, US...

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

By Doron A. Peled, Moshe Y. Vardi
Publisher: Springer, 2003-06-30
Pages: 382
Language: en
ISBN_13:9783540361350
ISBN_10:3540361359
Subject: Computers

Model Checking Software

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

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

By Corina S. Pasareanu
Publisher: Springer Science & Business Media, 2009-06-19
Pages: 305
Language: en
ISBN_13:9783642026515
ISBN_10:3642026516
Subject: Computers

Computational Methods in Systems Biology

International Conference CMSB 2004, Paris, France, May 26-28...

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

By Vincent Danos, Vincent Schachter
Publisher: Springer Science & Business Media, 2005-03-24
Pages: 288
Language: en
ISBN_13:9783540253754
ISBN_10:3540253750
Subject: Computers

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, Ap...

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

By Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Publisher: Springer, 2015-04-07
Pages: 466
Language: en
ISBN_13:9783319175249
ISBN_10:3319175246
Subject: Computers

FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe, Berlin, Ge...

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

By Jose N. Oliveira, Pamela Zave
Publisher: Springer, 2003-06-29
Pages: 641
Language: en
ISBN_13:9783540452515
ISBN_10:3540452516
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

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, Jul...

$Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.$

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

By Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Publisher: Springer, 2003-05-21
Pages: 287
Language: en
ISBN_13:9783540482345
ISBN_10:3540482342
Subject: Computers

CONCUR 2000 - Concurrency Theory

11th International Conference, University Park, PA, USA, Aug...

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

By Catuscia Palamidessi
Publisher: Springer, 2003-06-26
Pages: 631
Language: en
ISBN_13:9783540446187
ISBN_10:3540446184
Subject: Computers

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-1...

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

By John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
Publisher: Springer, 2016-11-06
Pages: 789
Language: en
ISBN_13:9783319489896
ISBN_10:3319489895
Subject: Computers

Automated Technology for Verification and Analysis

9th International Symposium, ATVA 2011, Taipei, Taiwan, Octo...

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

By Tevfik Bultan, Pao-Ann Hsiung
Publisher: Springer, 2011-10-01
Pages: 545
Language: en
ISBN_13:9783642243721
ISBN_10:364224372X
Subject: Computers

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Co...

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

By Stan Budkowski, Ana Cavalli, Elie Najm
Publisher: Springer, 2013-04-17
Pages: 472
Language: en
ISBN_13:9780387353944
ISBN_10:0387353941
Subject: Technology & Engineering

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, Ju...

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

By Doron A. Peled, Michael Wooldridge
Publisher: Springer, 2009-02-25
Pages: 196
Language: en
ISBN_13:9783642004315
ISBN_10:3642004318
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

Embedded Software Development

The Open-Source Approach

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

By Ivan Cibrario Bertolotti, Tingting Hu
Publisher: CRC Press, 2017-12-19
Pages: 798
Language: en
ISBN_13:9781351831499
ISBN_10:1351831496
Subject: Computers

Model-Driven Engineering and Software Development

4th International Conference, MODELSWARD 2016, Rome, Italy, ...

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

By Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray
Publisher: Springer, 2017-09-08
Pages: 355
Language: en
ISBN_13:9783319663029
ISBN_10:331966302X
Subject: Computers

Artificial Intelligence Technologies for Computational Biology

$This text emphasizes the importance of artificial intelligence techniques in the field of biological computation. It also discusses fundamental principles that can be applied beyond bio-inspired computing. It comprehensively covers important topics including data integration, data mining, machine learning, genetic algorithms, evolutionary computation, evolved neural networks, nature-inspired algorithms, and protein structure alignment. The text covers the application of evolutionary computations for fractal visualization of sequence data, artificial intelligence, and automatic image interpretation in modern biological systems. The text is primarily written for graduate students and academic researchers in areas of electrical engineering, electronics engineering, computer engineering, and computational biology. This book: • Covers algorithms in the fields of artificial intelligence, and machine learning useful in biological data analysis. • Discusses comprehensively artificial intelligence and automatic image interpretation in modern biological systems. • Presents the application of evolutionary computations for fractal visualization of sequence data. • Explores the use of genetic algorithms for pair-wise and multiple sequence alignments. • Examines the roles of efficient computational techniques in biology.$

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

By Ranjeet Kumar Rout, Saiyed Umer, Sabha Sheikh, Amrit Lal Sangal
Publisher: CRC Press, 2022-11-10
Pages: 339
Language: en
ISBN_13:9781000778694
ISBN_10:100077869X
Subject: Technology & Engineering

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, Octob...

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

By Cyrille Artho, Axel Legay, Doron Peled
Publisher: Springer, 2016-10-07
Pages: 530
Language: en
ISBN_13:9783319465203
ISBN_10:3319465201
Subject: Computers

Algorithms in Computational Molecular Biology

Techniques, Approaches and Applications

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

By Mourad Elloumi, Albert Y. Zomaya
Publisher: John Wiley & Sons, 2011-04-04
Pages: 1027
Language: en
ISBN_13:9781118101988
ISBN_10:1118101987
Subject: Science

«1 2 3 4 »

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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