Search

You searched for: Auteur Hromkovič, J. Remove constraint Auteur: Hromkovič, J.
1 entry found
Number of results to display per page

Search Results

1. Decision Procedures
thumbnail
Full text!
Author:
Kroening, Daniel; Brauer, W.; Hromkovič, J.; Strichman, Ofer; Bryant, R. E.; Rozenberg, G.
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book