Tražili ste klasifikacijska oznaka: 03D15
17 rezultata
2
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak. 4th printing
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak. 4th printing.
Arora, Sanjeev  
Cambridge : Cambridge University Press, 2016
Knjiga Knjiga
3
Introduction to the theory of computation / Michael Sipser. 3rd ed.
Introduction to the theory of computation / Michael Sipser. 3rd ed.
Sipser, Michael  
London [etc.] : Cengage Learning, 2013
Udžbenici-fakultet xxii, 458 str.
4
Computability of Julia sets / Mark Braverman, Michael Yampolsky
Computability of Julia sets / Mark Braverman, Michael Yampolsky
Braverman, Mark  
Berlin [etc.] : Springer-Verlag, 2009
Knjiga Knjiga
e izvori
5
Introduction to the theory of computation / Michael Sipser. 2nd ed
Introduction to the theory of computation / Michael Sipser. 2nd ed.
Sipser, Michael  
Boston, Mass. : Thomson, 2006
Udžbenici-fakultet xvii, 437 str.
6
Computational complexity / Christos H. Papadimitriou. reprint with corrections
Computational complexity / Christos H. Papadimitriou. reprint with corrections.
Papademetriou, Christos Ch.  
Reading, MA [etc.] : Addison Wesley Longman, Inc., 1995
Knjiga Knjiga
7
Složnost' vyčislenij i algoritmov : sbornik perevodov ; pod redakciej V. A. Kozmidiadi, A. N. Maslova, N. V. Petri
Moskva : Mir, 1974
8
Finite model theory / Heinz-Dieter Ebbinghaus ; Joerg Flum. 2nd revised and enlarged ed. 1999
Finite model theory / Heinz-Dieter Ebbinghaus ; Joerg Flum. 2nd revised and enlarged ed. 1999.
Ebbinghaus, Heinz-Dieter  
Berlin [etc.] : Springer Science + Business Media, 2006
Knjiga Knjiga
10
Bounded queries in recursion theory / William I. Gasarch, Georgia A. Martin
Bounded queries in recursion theory / William I. Gasarch, Georgia A. Martin
Gasarch, William I.  
Boston ; Basel ; Berlin : Birkhaeuser, 1999
11
Metamathematics of first-order arithmetic / Petr Hajek ; Pavel Pudlak. 2nd printing
Metamathematics of first-order arithmetic / Petr Hajek ; Pavel Pudlak. 2nd printing.
Hajek, Petr  
Berlin; Heidelberg : Springer-Verlag, 1998
Knjiga Knjiga
13
Logic and complexity / Richard Lassaigne ; and Michel de Rougemont
Logic and complexity / Richard Lassaigne ; and Michel de Rougemont
Lassaigne, Richard  
London : Springer Science + Business Media, 2004
Knjiga Knjiga
14
Computable analysis : an introduction / Klaus Weihrauch
Computable analysis : an introduction / Klaus Weihrauch
Weihrauch, Klaus  
Berlin [etc.] : Springer, 2000
Knjiga Knjiga
15
The classical decision problem / Egon Boerger ; Erich Graedel; Yuri Gurevich. 2nd printing
The classical decision problem / Egon Boerger ; Erich Graedel; Yuri Gurevich. 2nd printing.
[classical decision problem. The]
Boerger, Egon, matematičar  
Berlin [etc.] : Springer-Verlag, cop.1997
Knjiga Knjiga
16
Complexity theory retrospective II / editors Lane A. Hemaspaandra, Alan L. Selman
Complexity theory retrospective II / editors Lane A. Hemaspaandra, Alan L. Selman
New York [etc.] : Springer, 1997
17
Boolean functions and computation models / Peter Clote, Evangelos Kranakis
Boolean functions and computation models / Peter Clote, Evangelos Kranakis
Clote, Peter  
Berlin; Heidelberg : Springer-Verlag, 2002
Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.