Cover Image

Formal framework for proof generating optimizers

Author: Gawkowski, Marek Jerzy
Media Type: Doctoral Thesis
Thesis
Printed Book
Language: English
Published: 2009
University Thesis: Kaiserslautern, Techn. Univ., Diss., 2009
Subjects:

Internet

Fulltext

Central Library (Building 32)

Status Item Information Call Number Barcode Note Functions
available 4 weeks lendable (MAG) U 132341 109720373 Not freely available, please contact the library staff
 Order item
available 4 weeks lendable (MAG) U 132341 109720386 Not freely available, please contact the library staff
2.EX
 Order item

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
available 2 weeks lendable INF 454/075 109720399