Skip to content
Složeno pretraživanje
  • Jezik
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • Hrvatski
Složeno pretraživanje
  • Pretraživanje: "Cambridge tracts in theoretical computer science"
Preporučene teme... za Vaše pretraživanje.
Bisimulacija 1 Dizajn 1 Indukcija (logika) 1
Koindukcija (matematika) 1 Lambda račun 1 Matematika 1
prikaži više ...
Modalna logika 1 Računalna grafika 1 Računalni sustavi 1
Računalstvo 1 prikaži manje ...
Prikazuje se 1 - 6 od 6 za pretraživanje: '"Cambridge tracts in theoretical computer science"', Upit obrađen za: 0.05s
Popis  Grid 
Slika naslovnice
Topology via logic
Autor: Vickers, Steven
Impresum 1990
“...Cambridge tracts in theoretical computer science...”
Izdanje: Reprinted
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Lambda-calculus, combinators, and functional programming
Autor: Revesz, Gyorgy E.
Impresum 1989
“...Cambridge tracts in theoretical computer science...”
Izdanje: Reprinted
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Mathematics for computer graphics
Autor: Hoggar, Stuart G.
Impresum 1992
“...Cambridge tracts in theoretical computer science...”
Izdanje: 1st pub
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Advanced topics in bisimulation and coinduction
Impresum 2012
“...Cambridge tracts in theoretical computer science...”
Izdanje: 1st published
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Design theory and computer science : processes and methodology of computer systems design
Autor: Dasgupta, Subrata, inženjer računarstva
Impresum 1991
“...Cambridge tracts in theoretical computer science...”
Izdanje: 1st publ
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Proofs and types
Autor: Girard, Jean Yves
Impresum 1993
“...Cambridge tracts in theoretical computer science...”
Izdanje: Reprinted, with minor corrections
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Baza
6 Nacionalna i sveučilišna knjižnica u Zagrebu
Vrsta građe
6 Knjiga
Autor
1 Dasgupta, Subrata, inženjer računarstva 1 Girard, Jean Yves 1 Hoggar, Stuart G. 1 Lafont, Yves 1 Revesz, Gyorgy E. 1 Rutten, Johannes Josephus Martinus Matheus prikaži više ... 1 Sangiorgi, Davide 1 Taylor, Paul, politolog 1 Vickers, Steven prikaži manje ...
Jezik
6 engleski
Godina izdanja

Mogućnosti pretraživanja

  • Povijest pretraživanja
  • Složeno pretraživanje

Dodatne mogućnosti pretraživanja

  • Pregledavanje kataloga
  • Pregledavanje po abecedi
  • Nastavni materijali
  • Novi primjerci

Trebate li pomoć?

  • Pomoć za pretraživanje
  • Pitajte knjižničara
  • Prijedlozi i komentari
Hrvatski nacionalni skupni katalog razvijaju Nacionalna i sveučilišna knjižnica u Zagrebu, Sveučilište u Zagrebu, Hrvatsko katoličko sveučilište, Filozofski fakultet Sveučilišta u Zagrebu, Medicinski fakultet Sveučilišta u Zagrebu, Fakultet strojarstva i brodogradnje Sveučilišta u Zagrebu te Sveučilište u Zagrebu Fakultet elektrotehnike i računarstva.
Učitavam...