Related Books

Verification of Sequential and Concurrent Programs
Language: en
Pages: 512
Authors: Krzysztof Apt
Categories: Computers
Type: BOOK - Published: 2010-10-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is
Foundations of Software Science and Computation Structures
Language: en
Pages: 449
Authors: Mogens Nielsen
Categories: Computers
Type: BOOK - Published: 2003-08-01 - Publisher: Springer

DOWNLOAD EBOOK

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establish
Darwin and Facial Expression
Language: en
Pages: 290
Authors: Paul Ekman
Categories: Biography & Autobiography
Type: BOOK - Published: 2006 - Publisher: ISHK

DOWNLOAD EBOOK

In Darwin and Facial Expression, Paul Ekman and a cast of other notable scholars and scientists reconsider the central concepts and key sources of information i
Expressions of Radicalization
Language: en
Pages: 376
Authors: Kristian Steiner
Categories: Political Science
Type: BOOK - Published: 2017-12-15 - Publisher: Springer

DOWNLOAD EBOOK

This edited collection considers whether it is possible to discern how the level of ideology is affected by radicalization. In other words: what happens in the
Parallel Database Systems
Language: en
Pages: 452
Authors: Pierre America
Categories: Computers
Type: BOOK - Published: 1991-06-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The in