- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540642015
3540642013
- Dimensions
-
24 cm
- Extent
-
XII, 344 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 325 - 334
- Bibliographic citation
-
Lecture notes in computer science ; 1367
- Keyword
-
Optimierungsproblem
Approximationsalgorithmus
Komplexitätsklasse NP
Probabilistisch verifizierbarer Beweis
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1998
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:37 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Mayr, Ernst W.
- Springer
Time of origin
- 1998
Other Objects (12)
Computer verification of algorithms using a formal proof system
Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables
Approximation algorithms
Approximation Algorithms
Lectures on complex approximation
On Derandomized Approximation Algorithms
Renegotiation proof mechanism design with imperfect type verification
Approximation algorithms for layout problems
Parameterized approximation algorithms for orienteering
Approximation Algorithms via Matrix Covers
Approximation algorithms and semidefinite programming
Stochastic approximation algorithms and applications
Computer verification of algorithms using a formal proof system
Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables
Approximation algorithms
Approximation Algorithms
Lectures on complex approximation
On Derandomized Approximation Algorithms
Renegotiation proof mechanism design with imperfect type verification
Approximation algorithms for layout problems
Parameterized approximation algorithms for orienteering
Approximation Algorithms via Matrix Covers
Approximation algorithms and semidefinite programming
Stochastic approximation algorithms and applications
Computer verification of algorithms using a formal proof system
Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables
Approximation algorithms
Approximation Algorithms
Lectures on complex approximation
On Derandomized Approximation Algorithms
Renegotiation proof mechanism design with imperfect type verification
Approximation algorithms for layout problems
Parameterized approximation algorithms for orienteering
Approximation Algorithms via Matrix Covers
Approximation algorithms and semidefinite programming