Search Result

Save to File Save as CSV

Your search for 37936 returns 279 document(s)

Approximation schemes for PSPACE-complete problems for succinct specifications,Hal 468-477

Author: M.V.Marathe; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem

Simulating quadratic dynamical systems is PSPACE-complete(preliminary version),Hal 459-467

Author: Sanjeev Arora; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem

Approximation and Streaming Algorithms for Histogram Construction Problems, page 396-438

Author: S. Guha, [et all] | Type: Indeks Artikel Jurnal

Approximation algorithms for NP-hard problems/ edited by Dorit Hochbaum ed.

Call Number: 511.42 App | Type: Buku

Complexity and approximation: Combinatorial Optimization problems and their approximability/ Ausiello P. Crecenzi ...

Author: Ausiello, G.; | Call Number: 519.3 Com | Type: Buku

Programming from specifications

Author: Morgan, Carroll; | Call Number: 005.1 Mor p | Type: Buku

Succinct Determinisation of Caunting Automata via Sphere Construction (468-489)

Author: Lukas Holik Ondrej Lengal Olli Saarikivi Lenka Turonova Margus Veanes Tomas Vojnar; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem

Recursion Schemes in Coq (202-221)

Author: Kosuke Murata Kento Emoto; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem

Programming from specifications 2nd ed.

Author: Morgan, Carroll; | Call Number: 005.1 Mor p | Type: Buku

Approximation theory and methods

Author: Powell, M.J.D; | Call Number: 511.4 Pow a | Type: Buku

Prev 1 2 3 4 5 6 7 8 9 10 Next