Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen

Metadata Label Value
Author(s): Biere, Armin
Publisher: Institut für Computersysteme, ETH Zürich
Citation:

Biere, Armin. Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen. effektives Testen mit mathematischer Genauigkeit Armin Biere. Institut für Computersysteme, ETH Zürich (2001). http://dx.doi.org/10.3929/ethz-a-004258281

Document Type: Educational Material  
Documents: Text (126.76KB)

Detailed Information

Metadata Description
Title Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen
Subtitle effektives Testen mit mathematischer Genauigkeit Armin Biere
Author(s) Biere, Armin
Corporate Author Eidgenössische Technische Hochschule (Zürich)
Institut für Computersysteme
Publication Place Zürich
Publisher Institut für Computersysteme, ETH Zürich
Publication Date 2001
Language German
DOI http://dx.doi.org/10.3929/ethz-a-004258281
Subject(s) Computer Systems
Keyword(s) SYSTEMS ANALYSIS
SYSTEMS DEVELOPMENT
SYSTEMS DESIGN
COMPUTER SYSTEMS
Organisational Unit Computer Systems Institute
Online Publication Date 2001
Description File Name MIME Type Size
Text   eth-24450-01.pdf application/pdf 126.76KB
Abstract Views and Downloads
Views 111  abstracts
Downloads 117  downloads

Abstract Views and Downloads by Country
Germany Views 45  abstracts
Downloads 66  downloads
Switzerland Views 24  abstracts
Downloads 15  downloads
Views 15  abstracts
Downloads 13  downloads
Austria Views abstracts
Downloads 12  downloads
Sweden Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Europe Views abstracts
Downloads downloads
Morocco Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads


E-Collection record created: Fri, 18 Apr 2008, 23:10:48 CET