Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150393 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Lectures on Proof Verification and Approximation Algorithms (Lecture Notes in Computer Science)
Rok: 1998
ISBN: 9783540642015
OKCZID: 110056498
Citace (dle ČSN ISO 690):
MAYR, Ernst W., ed., PRÖMEL, Hans Jürgen, ed. a STEGER, Angelika, ed. Lectures on proof verification and approximation algorithms. Berlin: Springer, c1998. xii, 344 s. Lecture notes in computer science, 1367.
Anotace
During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability. This textbook-like tutorial is a coherent and essentially self-contained presentation of the enormous recent progress facilitated by the interplay between the theory of probabilistically checkable proofs and aproximation algorithms. The basic concepts, methods, and results are presented in a unified way to provide a smooth introduction for newcomers. These lectures are particularly useful for advanced courses or reading groups on the topic.