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

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

Formal Methods for Trustworthy Computer Systems (FM89)

Report from FM89: A Workshop on the Assessment of Formal Met...

By Dan Craigen, Karen Summerskill
Publisher: Springer Science & Business Media, 2013-11-11
Pages: 246
Language: en
ISBN_13:9781447135326
ISBN_10:1447135326
Subject: Computers

Women into Computing

Selected Papers 1988–1990

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

By Gillian Lovegrove, Barbara Segal
Publisher: Springer Science & Business Media, 2013-06-29
Pages: 440
Language: en
ISBN_13:9781447138754
ISBN_10:1447138759
Subject: Computers

Security and Persistence

Proceedings of the International Workshop on Computer Archit...

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

By John Rosenberg, J.Leslie Keedy
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 402
Language: en
ISBN_13:9781447131786
ISBN_10:1447131789
Subject: Computers

Designing Correct Circuits

Workshop jointly organised by the Universities of Oxford and...

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

By Geraint Jones, Mary Sheeran
Publisher: Springer Science & Business Media, 2013-12-14
Pages: 364
Language: en
ISBN_13:9781447135449
ISBN_10:144713544X
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

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS...

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

By Cliff B. Jones, Roger C. Shaw, Tim Denvir
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 389
Language: en
ISBN_13:9781447135500
ISBN_10:1447135504
Subject: Mathematics

Neural Computation and Psychology

Proceedings of the 3rd Neural Computation and Psychology Wor...

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

By Leslie S. Smith, Peter J.B. Hancock
Publisher: Springer Science & Business Media, 2013-06-29
Pages: 232
Language: en
ISBN_13:9781447135791
ISBN_10:1447135792
Subject: Computers

First International Workshop on Larch

Proceedings of the First International Workshop on Larch, De...

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

By Ursula Martin, Jeannette M. Wing
Publisher: Springer Science & Business Media, 2013-11-11
Pages: 323
Language: en
ISBN_13:9781447135586
ISBN_10:144713558X
Subject: Computers

Asynchronous Digital Circuit Design

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

By Graham Birtwistle, Alan Davis
Publisher: Springer Science & Business Media, 2013-04-17
Pages: 272
Language: en
ISBN_13:9781447135753
ISBN_10:144713575X
Subject: Mathematics

6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS...

$The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.$

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

By David Till
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 315
Language: en
ISBN_13:9781447132400
ISBN_10:1447132408
Subject: Mathematics

Rules in Database Systems

Proceedings of the 1st International Workshop on Rules in Da...

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

By Norman W. Paton, M.Howard Williams
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 419
Language: en
ISBN_13:9781447132257
ISBN_10:1447132254
Subject: Computers

Persistent Object Systems

Proceedings of the Fifth International Workshop on Persisten...

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

By Antonio Albano, Ron Morrison
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 456
Language: en
ISBN_13:9781447132097
ISBN_10:1447132092
Subject: Computers

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 92, International Workshop on Logic Pr...

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

By Kung-Kiu Lau, Timothy P. Clement
Publisher: Springer Science & Business Media, 2013-03-09
Pages: 282
Language: en
ISBN_13:9781447135609
ISBN_10:1447135601
Subject: Computers

Object Orientation in Z

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

By Susan Stepney, Rosalind Barden, David Cooper
Publisher: Springer Science & Business Media, 2013-06-29
Pages: 147
Language: en
ISBN_13:9781447135524
ISBN_10:1447135520
Subject: Computers

Functional Programming, Glasgow 1990

Proceedings of the 1990 Glasgow Workshop on Functional Progr...

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

By Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 295
Language: en
ISBN_13:9781447138105
ISBN_10:1447138104
Subject: Computers

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

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

By Dan Craigen, Susan Gerhart
Publisher: William Andrew, 2012-12-02
Pages: 319
Language: en
ISBN_13:9781437728170
ISBN_10:1437728170
Subject: Computers

ALPUK91

Proceedings of the 3rd UK Annual Conference on Logic Program...

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

By Geraint A. Wiggins, Chris Mellish, Tim Duncan
Publisher: Springer Science & Business Media, 2013-06-29
Pages: 226
Language: en
ISBN_13:9781447135463
ISBN_10:1447135466
Subject: Computers

NAPAW 92

Proceedings of the First North American Process Algebra Work...

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

By S. Purushothaman, Amy Zwarico
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 245
Language: en
ISBN_13:9781447132172
ISBN_10:1447132173
Subject: Computers

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 93, International Workshop on Logic Pr...

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

By Yves Deville
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 258
Language: en
ISBN_13:9781447132349
ISBN_10:1447132343
Subject: Computers

Communicating Process Architectures 2004

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

By Ian East, J. Martin, P.H. Welch
Publisher: IOS Press, 2004
Pages: 432
Language: en
ISBN_10:1586034588
ISBN_13:9781586034580
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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