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
Data refinement

Data refinement

by W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt

1998Computer simulationVerificationData structures (Computer science)Computer programsDatabases & data structures
0.0
Open Library
Open Library

Themes & subjects

Computer simulationVerificationData structures (Computer science)Computer programsDatabases & data structuresMathematical theory of computation
First published 1998

About the author

W.-P. de Roever

1943

Authors

W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt

First published

1998

Pages

435

Read time

≈ 11h

Editions

4

Language

English

Publisher

Cambridge University Press

ISBN

9780511836503

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

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Neural Information Processing

Pattern perception · Image Processing and Computer Vision

Neural Information Processing

Tingwen Huang

2012

Digital Design

Design and construction · Digital electronics

Digital Design

John F. Wakerly

1990

Computer Information Systems and Industrial Management

Manufacturing processes · Production engineering

Computer Information Systems and Industrial Management

Khalid Saeed

2012

Pattern Recognition

Pattern recognition systems · Computer vision

Pattern Recognition

Jesús Ariel Carrasco-Ochoa

2012

Parallel Computing Technologies

Computer simulation · Computer science

Parallel Computing Technologies

Victor Malyshkin

2003

Computational Logistics

Business logistics · Information technology

Computational Logistics

Francesco Corman

2013

Reachability Problems

Computer simulation · Computers

Reachability Problems

Parosh Aziz Abdulla

2010

Simulation and Modeling Methodologies, Technologies and Applications

Computer simulation · Mathematical models

Simulation and Modeling Methodologies, Technologies and Applications

Mohammad S. Obaidat

2013

Computational Biomechanics for Medicine

Appl.Mathematics/Computational Methods of Engineering · Engineering

Computational Biomechanics for Medicine

Adam Wittek

2012

Communication Technologies for Vehicles

Software engineering · Simulation and Modeling

Communication Technologies for Vehicles

Marion Berbineau

2013

Bio-inspired Computing : Theories and Applications

Bionics · Electronic data processing

Bio-inspired Computing : Theories and Applications

Cheng He

2014

Annual reports in computational chemistry

Chemistry · Computer simulation

Annual reports in computational chemistry

David C. Spellmeyer

2005

On-Site Inspection Agency

Nuclear arms control · United States

On-Site Inspection Agency

United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.

1989

On-site inspections under the CFE treaty

Arms control · Disarmament

On-site inspections under the CFE treaty

Joseph P. Harahan

1996

Verification 1995

Arms control · Verification

Verification 1995

J. B. Poole

1995

Verification 1996

Arms control · United nations, armed forces

Verification 1996

J. B. Poole

1996

Reconfigurable system design and verification

Computer systems · Embedded computer systems

Reconfigurable system design and verification

Pao-Ann Hsiung

2009