Related Books

Model-Based Testing of Reactive Systems
Language: en
Pages: 646
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2005-06-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent ye
Graph Decompositions
Language: en
Pages: 258
Authors: Reinhard Diestel
Categories: Language Arts & Disciplines
Type: BOOK - Published: 1990 - Publisher: Oxford Science Publications

DOWNLOAD EBOOK

Graph Decompositions is the first book on a topic that belongs mainly to infinite graph theory. It offers a complete account of the theory of simplicial decompo
Advances in Biolinguistics
Language: en
Pages: 323
Authors: Koji Fujita
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2016-02-12 - Publisher: Routledge

DOWNLOAD EBOOK

Biolinguistics is a highly interdisciplinary field that seeks the rapprochement between linguistics and biology. Linking theoretical linguistics, theoretical bi
Extended Abstracts EuroComb 2021
Language: en
Pages: 858
Authors: Jaroslav Nešetřil
Categories: Mathematics
Type: BOOK - Published: 2021-08-24 - Publisher: Birkhäuser

DOWNLOAD EBOOK

This book collects the extended abstracts of the accepted contributions to EuroComb21. A similar book is published at every edition of EuroComb (every two years
Wild Harvest
Language: en
Pages: 319
Authors: Karen Hardy
Categories: Social Science
Type: BOOK - Published: 2016-04-20 - Publisher: Oxbow Books

DOWNLOAD EBOOK

Plants are fundamental to life; they are used by all human groups and most animals. They provide raw materials, vitamins and essential nutrients and we could no