Katalog PMF SMK
Katalog
Upute
Početna stranica
Prijava
Kontakt
katalog
autor
naslov
predmetna odrednica
klasifikacijska oznaka | sadržaj
Pregledni zapisi
Tražili ste
autor:
Vuković, Mladen
Suzili ste
lokacija:
ZG-PMF - Središnja matematička knjižnica
Odabrani zapisi
(
0
)
Odaberi sve
Isprazni sve
Suzi rezultate pretraživanja.
Suzi rezultate pretraživanja
Mentor
Vuković, Mladen
(80)
Kirin, Vladimir G.
(2)
Šnajder, Jan
(2)
Perkov, Tin
(1)
Rosenzweig, Dean
(1)
više...
Status
online
(16)
za posudbu
(5)
Autor
Vuković, Mladen
(104)
Perkov, Tin
(6)
Čačić, Vedran
(4)
Doko, Marko
(2)
Kirin, Vladimir G.
(2)
više...
Građa
diplomski rad
(90)
udžbenici-fakultet
(7)
disertacija
(3)
magistarski rad
(3)
knjiga
(1)
Godina
2019
(1)
2018
(7)
2017
(3)
2016
(3)
2015
(2)
više...
Zbirka
Magistarski radovi
(3)
Jezik
hrvatski
(7)
Nakladnik
PMF-Matematički odjel, Sveučilište u Zagrebu
(38)
PMF
(28)
PMF-Matematički odsjek, Sveučilište u Zagrebu
(25)
PMF-Matematički odjel
(10)
Element
(1)
Mjesto izdavanja
Zagreb
(104)
Lokacija
ZG-PMF - Središnja matematička knjižnica
(104)
104 rezultata
<
1
2
3
4
5
6
>
izlistaj prema
nizu
autoru (od A do Ž)
naslovu (od A do Ž)
godini (od novije)
posudbi (posljednjih 30 dana)
prinovi
41
Lindstroemov drugi teorem : diplomski rad
/ Kristina Miletić
Miletić, Kristina
Zagreb :
PMF-Matematički odjel, Sveučilište u Zagrebu
, 2010
Diplomski rad
Za rad u knjižnici
42
Lindstroemov prvi teorem : diplomski rad
/ Dubravko Ferberuš
Ferberuš, Dubravko
Zagreb :
PMF
, 1999
Diplomski rad
Za rad u knjižnici
43
Linearna temporalna logika : diplomski rad
/ Krešimir Burić
Burić, Krešimir
Zagreb :
PMF-Matematički odsjek, Sveučilište u Zagrebu
, 2014
Diplomski rad
Cjelovit sadržaj online
Za rad u knjižnici
44
Logička analiza hibridnih sustava : diplomski rad
/ Ivan Gavran
Gavran, Ivan
Zagreb :
PMF-Matematički odsjek, Sveučilište u Zagrebu
, 2013
Diplomski rad
Za rad u knjižnici
e izvori
45
Logičko programiranje : diplomski rad
/ Petar Paradžik
Paradžik, Petar
Zagreb :
PMF-Matematički odsjek, Sveučilište u Zagrebu
, 2014
Diplomski rad
Za rad u knjižnici
46
Metoda logičkih jednadžbi za automatizirano nalaženje teorema : diplomski rad
/ Kazimir Majorinc
[
Metoda logičkih jednadžbi za automatizirano nalaženje (teorema : diplomski rad)
]
Majorinc, Kazimir
Zagreb, 1994
Diplomski rad
Za rad u knjižnici
47
Metoda Tableauxa : diplomski rad
/ Petra Kostanjevac
Kostanjevac, Petra
Zagreb :
PMF
, 2004
Diplomski rad
Za rad u knjižnici
48
Minimizacija formula logike sudova : diplomski rad
/ Ana Kovačević
Kovačević, Ana
Zagreb :
PMF-Matematički odjel, Sveučilište u Zagrebu
, 2004
Diplomski rad
Za rad u knjižnici
49
Modalna definabilnost i teoremi očuvanja u modalnoj logici = Modal definability and preservation theorems in modal logic : doktorski rad
/ Tin Perkov
[
Modalna definabilnost i teoremi očuvanja u modalnoj logici (: doktorski rad)
]
Perkov, Tin
Zagreb :
PMF-Matematički odsjek, Sveučilište u Zagrebu
, 2012
Disertacija
Za rad u knjižnici
50
Modalna logika : diplomski rad
/ Daria Kiraly
Kiraly, Daria
Zagreb :
PMF
, 2004
Diplomski rad
Za rad u knjižnici
51
Modalna logika : sistem S5 : diplomski rad
/ Mirko Talajić
Talajić, Mirko
Zagreb :
PMF
, 1998
Diplomski rad
Za rad u knjižnici
52
Morleyev teorem : diplomski rad
/ Domagoj Vrgoč
Vrgoč, Domagoj
Zagreb :
PMF-Matematički odjel, Sveučilište u Zagrebu
, 2007
Diplomski rad
Za rad u knjižnici
53
Nedokazive formule u Peanovoj aritmetici : diplomski rad
/ Jelena Kovačić
Kovačić, Jelena, 6. mj. 1987 -
Zagreb :
PMF-Matematički odjel, Sveučilište u Zagrebu
, 2010
Diplomski rad
Za rad u knjižnici
54
Nedokazivost Paris-Harringtonovog principa u Peanovoj aritmetici : diplomski rad
/ Ana Tomić
Tomić, Ana
Zagreb :
PMF-Matematički odsjek, Sveučilište u Zagrebu
, 2017
Diplomski rad
Za rad u knjižnici
55
Nepotpunost aritmetike : diplomski rad
/ Dora Predrijevac
Predrijevac, Dora
Zagreb :
PMF
, 2000
Diplomski rad
Za rad u knjižnici
56
Nepotpunost i neodlučivost aritmetike : diplomski rad
/ Daniel Jelušić
Jelušić, Daniel
Zagreb :
PMF-Matematički odsjek, Sveučilište u Zagrebu
, 2015
Diplomski rad
Cjelovit sadržaj online
Za rad u knjižnici
57
Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma : magistarski rad
/ Vedran Čačić
[
Nezavisnost i relativna konzistentnost aksioma izbora i (hipoteze kontinuuma)
]
Čačić, Vedran
Zagreb :
PMF-Matematički odjel
, 2007
Magistarski rad
Za rad u knjižnici
58
Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti : doktorska disertacija
/ Vedran Čačić
[
Normalne forme i svojstvo konačnih modela za logiku (interpretabilnosti)
]
Čačić, Vedran
Zagreb :
PMF-Matematički odjel
, 2011
Disertacija
Za rad u knjižnici
59
Normalne forme u modalnoj logici : diplomski rad
/ Tin Levanat
Levanat, Tin
Zagreb :
PMF-Matematički odjel, Sveučilište u Zagrebu
, 2010
Diplomski rad
Za rad u knjižnici
60
O Hilbertovom desetom problemu : diplomski rad
/ Boris Golub
Golub, Boris
Zagreb :
PMF
, 2003
Diplomski rad
Za rad u knjižnici
<
1
2
3
4
5
6
>
©1999.-2019.
Knjižnice grada Zagreba
VIVaInfo d.o.o.
.
|
Politika privatnosti
PIN
:
:
:
:
:
Posudba
Posuđene e-knjige možete čitati pomoću aplikacije ZaKi Book