Varasemad otsingud
Kustutan otsingud
Täpsusta otsingut

Kõrgema Kunstikooli Pallas ja Tartu Kunstikooli raamatukogu

Tallinna Tervishoiu Kõrgkooli raamatukogu

TELLI DIGIKOOPIA

Sellest väljaandest saad tasulise teenusena tellida digikoopia.
Teenuse tingimused ja maksumus on raamatukogudes erinevad.

Leiti ...

Järjesta

TÄIELIK KATALOOG

Kontakt

Esilehele Telli Salvesta kirjed kausta Vali kirje MARC kuva Uus otsing

Tagasi otsingutulemusse

Autor	Saabas, Ando, 1979-
Pealkiri	Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused / Ando Saabas
Ilmunud	Tallinn : Tallinn University of Technology Press, 2008 ([Tallinn : Infotrükk])
Ilmumiskoht	Harjumaa
Kirjeldus	172 lk. : ill. ; 25 cm

Püsilink

https://www.ester.ee/record=b2431341~S1*est

Raamat

ASUKOHT	KOHAVIIT	STAATUS	MÄRKUSED
KMAR võõrkeelne raamat	II 31.100 43 [2008]	KOHAL	KOHALKASUTUS
KMAR võõrkeelne raamat	II 31.100 43 [2008]	KOHAL	KOHALKASUTUS
RR 3.k arhiivkogu	AR J-35 C43 [2008]	EI LAENUTATA
RR 4.k hoidla (K)	PE A/1537; C43 [1] C43 [2008]	KOHALKASUTUS
TLÜAR hoidla (koju)	Ep.6.270/43 C43 [2008]	KOHAL
TLÜAR hoidla (kohalkasutus)	Ep.6.270/43 C43 [2008]	KOHALKASUTUS
TalTech 4. k tehnikateadused	004.4/S-01 C43 [2008]	KOHAL
TalTech 4. k tehnikateadused	004.4/S-01 C43 [2008]	KOHAL
TalTech 4. k tehnikateadused	004.4/S-01 C43 [2008]	KOHAL
TalTech 4. k tehnikateadused	004.4/S-01 C43 [2008]	KOHAL