- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540642015
3540642013
- Maße
-
24 cm
- Umfang
-
XII, 344 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 325 - 334
- Erschienen in
-
Lecture notes in computer science ; 1367
- Schlagwort
-
Optimierungsproblem
Approximationsalgorithmus
Komplexitätsklasse NP
Probabilistisch verifizierbarer Beweis
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
1998
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:37 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Mayr, Ernst W.
- Springer
Entstanden
- 1998
Ähnliche Objekte (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