Tražili ste Najposuđivanije u posljednjih 7 dana.
33 rezultata
1
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Joerg Rothe. 2nd ed
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Joerg Rothe. 2nd ed.
Hromkovič, Juraj  
Berlin [etc.] : Springer Science + Business Media, 2004
Knjiga knjiga
Za posudbuZa posudbu 1  Broj posudbi 1
2
Approximation algorithms / Vijay V.Vazirani. Corrected 2nd printing
Approximation algorithms / Vijay V.Vazirani. Corrected 2nd printing.
Vazirani, Vijay V.  
Berlin [etc.] : Springer-Verlag, 2003
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
3
Automata and languages / Alexander Meduna
Automata and languages / Alexander Meduna
Meduna, Alexander  
London : Springer, 2000
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici  Broj posudbi 1
4
Automated theorem proving : theory and practice / Monty Newborn
Automated theorem proving : theory and practice / Monty Newborn
Newborn, Monty  
New York; Berlin; Heidelberg : Springer-Verlag, 2001
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici  Broj posudbi 1
e izvori
5
The axiom of choice / Thomas J. Jech
JECH, Thomas J.  
Mineola, New York : Dover Publications, 1973
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
6
Compactness and contradiction / Terence Tao
Compactness and contradiction / Terence Tao
Tao, Terence  
Providence, R.I. : American Mathematical Society, 2013
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
7
Complexity and cryptography : an introduction / John Talbot ; and Dominic Welsh
Complexity and cryptography : an introduction / John Talbot ; and Dominic Welsh
Talbot, John  
Cambridge : Cambridge University Press, 2006
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
8
Complexity theory and cryptology : an introduction to cryptocomplexity / Joerg Rothe
Complexity theory and cryptology : an introduction to cryptocomplexity / Joerg Rothe
Rothe, Joerg  
Berlin [etc.] : Springer, 2005
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici  Broj posudbi 1
9
Complexity theory : exploring the limits of efficient algorithms / Ingo Wegener ; translated from the German by Randall Pruim
Complexity theory : exploring the limits of efficient algorithms / Ingo Wegener ; translated from the German by Randall Pruim
Wegener, Ingo  
Berlin, Heidelberg : Springer, 2005
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici  Broj posudbi 1
10
Computability and complexity theory / Steven Homer, Alan L. Selman
Computability and complexity theory / Steven Homer, Alan L. Selman
Homer, Steven  
New York [etc.] : Springer Science+Business Media, 2001
Knjiga knjiga
Za posudbuZa posudbu 1  Broj posudbi 1
11
Computability and complexity theory / Steven Homer ; Alan L. Selman
Computability and complexity theory / Steven Homer ; Alan L. Selman
Homer, Steven  
New York [etc.] : Springer-Verlag, cop.2001
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
12
Design and analysis of randomized algorithms : introduction to design paradigms / J. Hromkovič
Design and analysis of randomized algorithms : introduction to design paradigms / J. Hromkovič
Hromkovič, Juraj  
Berlin ; Heidelberg ; New York : Springer, 2005
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
13
Discovering Modern Set Theory.II : Set-Theoretic Tools for Every Mathematician / Winfried Just ; Martin Weese
Discovering Modern Set Theory.II : Set-Theoretic Tools for Every Mathematician / Winfried Just ; Martin Weese
[Dicsovering Modern Set Theory.II: Set-Theoretic Tools for (Every Mathematician). eng]
Just, Winfried  
Providence : American Mathematical Society, cop.1997
Knjiga knjiga
Za posudbuZa posudbu 1  Broj posudbi 1
14
Discovering Modern Set Theory.I. : The Basics / Winfried Just ; Martin Weese
Discovering Modern Set Theory.I. : The Basics / Winfried Just ; Martin Weese
[Discovering Modern Set Theory.I: The Basics. eng]
Just, Winfried  
Providence, Rhode Island : American Mathematical Society, cop.1996
Knjiga knjiga
Za posudbuZa posudbu 1  Broj posudbi 1
15
The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted, Yunshan Zhu. 2nd ed.
The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted, Yunshan Zhu. 2nd ed.
Plaisted, David A.  
Braunschweig : Vieweg, 1999
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
16
Interpolation and definability : modal and intuitionistic logic / D.M.Gabbay ; L.Maksimova
Interpolation and definability : modal and intuitionistic logic / D.M.Gabbay ; L.Maksimova
Gabbay, Dov M.  
Oxford : Clarendon Press, 2005
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
17
An introduction to Goedel's theorems / Peter Smith. reprinted with corrections
An introduction to Goedel's theorems / Peter Smith. reprinted with corrections.
Smith, Peter, matematičar, filozof  
Cambridge : Cambridge University Press, 2008
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
18
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.
Za posudbuZa posudbu 1  Broj posudbi 1
19
Kurt Goedel and the foundations of mathematics : horizons of truth ; edited by Matthias Baaz...[et al.]
Kurt Goedel and the foundations of mathematics : horizons of truth ; edited by Matthias Baaz...[et al.]
New York : Cambridge University Press, 2011
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
20
Lectures in model theory / Franziska Jahnke, Daniel Palacin, Katrin Tent, editors
Zuerich : European mathematical society, 2018
Knjiga knjiga
PosuđenoPosuđeno  Broj posudbi 1
Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2020. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.