fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Verification by error modeling

Verification by error modeling

by Katarzyna Radecka

Computer-aided designError analysis (Mathematics)Integrated circuitsVerificationVery large scale integration
0.0
Open Library
Open Library

Themes & subjects

Computer-aided designError analysis (Mathematics)Integrated circuitsVerificationVery large scale integrationTECHNOLOGY & ENGINEERING

Author

Katarzyna Radecka

Pages

236

Read time

≈ 6h

Editions

3

Language

English

Publisher

Springer London, Limited

ISBN

9780306487392

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Control and Dynamic Systems

Control · Control theory

Control and Dynamic Systems

Cornelius T. Leondes

1985

Representing landscapes

Landscape architectural drawing · Visual communication in art

Representing landscapes

Nadia Amoroso

2012

Cooperative Design, Visualization, and Engineering

Pattern perception · Computers and Society

Cooperative Design, Visualization, and Engineering

Yuhua Luo

2004

Vectorworks for Entertainment Design

Engineering design · Stage lighting

Vectorworks for Entertainment Design

Kevin Lee Allen

2014

Applying AutoCAD

AutoCAD · Computer graphics

Applying AutoCAD

Terry T. Wohlers

1986

Eurotech direct '91

CAD/CAM systems · Computer integrated manufacturing systems

Eurotech direct '91

European Engineering Research and Technology Transfer Congress (1991 Birmingham, England)

1991

Implant Restorations

Dentistry · Dentures

Implant Restorations

Carl Drago

2008

Virtual Reality and the Built Environment

City planning · Architectural design

Virtual Reality and the Built Environment

Jennifer Whyte

2002

RF/microwave circuit design for wireless applications

Radio frequency integrated circuits · TECHNOLOGY & ENGINEERING / Telecommunications

RF/microwave circuit design for wireless applications

Ulrich L. Rohde

2000

Intelligent Buildings

Buildings · Intelligent buildings

Intelligent Buildings

Derek Clements-Croome

2004

User Design

Instructional systems · Design

User Design

Alison A. Carr-Chellman

2006

Emilio Ambasz

Buildings, structures · Sustainable architecture

Emilio Ambasz

Emilio Ambasz

1984

AutoCAD Platform Customization

Autocad (computer program) · Computer-aided design

AutoCAD Platform Customization

Lee Ambrosius

2014

Investigating Human Error

Accident investigation · Aircraft accidents

Investigating Human Error

Barry Strauch

2002

Measurement Error and Misclassification in Statistics and Epidemiology

Bayesian statistical decision theory · Error analysis (Mathematics)

Measurement Error and Misclassification in Statistics and Epidemiology

Paul Gustafson

2003

Wahrscheinlichkeitsrechnung und ihre Anwendung auf Fehlerausgleichung, Statistik und Lebensversicherung

Error analysis (Mathematics) · Errors, Theory, of

Wahrscheinlichkeitsrechnung und ihre Anwendung auf Fehlerausgleichung, Statistik und Lebensversicherung

Emanuel Czuber

1903

Errors of observation and their treatment

Error analysis (Mathematics) · Observation (educational method)

Errors of observation and their treatment

J. Topping

1955

Measurement uncertainties in science and technology

Error analysis (Mathematics) · Instrumental variables (Statistics)

Measurement uncertainties in science and technology

Michael Grabe

2004