Digitalna knjižnica Slovenije

1. PDF document (1220 kB)

Numbering: 2016, volume 50, issue 3

Provider: Inštitut za kovinske materiale in tehnologije
(Obvezni izvod spletne publikacije)

1. TXT document (17 kB)

Mathematical modeling and experimental verification of operating parameters of vane pump with dou...

Contibutors: Petrović, Radovan S. (author)

1. PDF document (1853 kB)

Numbering: 2009, volume 55, issue 1

Provider: Univerza v Ljubljani, Fakulteta za strojništvo

1. TXT document (19 kB)

Identification and verification of the composite material parameters for the Ladeveze damage model

Contibutors: Kleisner, Václav (author) / Zemčík, Robert (author) / Kroupa, Tomáš (author)

Formal verification of distributed systems

Numbering: 2011, volume 45, issue 6

Provider: Inštitut za kovinske materiale in tehnologije
(Obvezni izvod spletne publikacije)

1. PDF document (457 kB)

1. TXT document (14 kB)

Contibutors: Kapus, Tatjana (author) / Horvat, Bogomir (author)

Source: Informatica (Ljubljana)

Numbering: 1989, volume 13, issue 4

Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)

1. PDF document (356 kB)

1. TXT document (20 kB)

Numerical simulation and experimental verification of the quenching temperature field of grinding...

Contibutors: Song, Mengchao (author) / Pu, Yisong (author) / Liu, Qi (author) / Wang, Ran (author) / Wang, Baoqi (author)

1. PDF document (1748 kB)

Numbering: 2019, volume 53, issue 4

Provider: Inštitut za kovinske materiale in tehnologije
(Obvezni izvod spletne publikacije)

1. TXT document (26 kB)

Fast one-time programming (OTP) and a programming verification solution using zener diodes in a s...

Contibutors: Trontelj, Janez (author)

Source: Informacije MIDEM

Numbering: 2014, volume 44, issue 2

Provider: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale
(Obvezni izvod spletne publikacije)

1. PDF document (1130 kB)

1. TXT document (21 kB)

An experimental verification of numerical models for the fracture and fatigue of welded structures

Contibutors: Sedmak, Stojan (author) / Sedmak, Aleksander (author) / Arsić, Miodrag (author) / Vojvodič-Tuma, Jelena (author)

Object-based analysis and verification of precipitation over low- and mid-latitudes

Numbering: 2007, volume 41, issue 4

Provider: Inštitut za kovinske materiale in tehnologije
(Obvezni izvod spletne publikacije)

1. PDF document (361 kB)

1. TXT document (24 kB)

Contibutors: Skok, Gregor (author) / Rakovec, Jože (mentor) / Tribbia, Joe (comentor)

Provider: Univerza v Ljubljani, Fakulteta za matematiko in fiziko

1. PDF document (64 MB)

1. TXT document (190 kB)

ECT treatment verification

Contibutors: Boc, Nina (author)

Source: Book of abstracts

Numbering: 2018,

Provider: Onkološki inštitut Ljubljana

1. PDF document (64 kB)

1. TXT document (5 kB)

Pravilo 15% - preverjanje teoretičnih izhodišč na fantomu

Contibutors: Breznik, Andrej (author) / Medič, Mojca (author)

Source: Bilten (Zbornica radioloških inženirjev Slovenije)

Numbering: 2010, volume 27, issue 1

Provider: Zbornica radioloških inženirjev Slovenije / Društvo radioloških inženirjev Slovenije

1. PDF document (173 kB)

1. TXT document (24 kB)

Vpeljava in ovrednotenje metode določevanja mineralnega dušika v tleh

Contibutors: Kmecl, Veronika (author) / Zupančič-Kralj, Lucija (author)

Source: Acta agriculturae Slovenica

Numbering: 2005, volume 85, issue 1

Provider: Univerza v Ljubljani, Biotehniška fakulteta
(Obvezni izvod spletne publikacije)

1. PDF document (318 kB)

1. TXT document (18 kB)

Uporaba DNA označevalcev za preverjanje porekla pri ovcah in določanja očetovstva v čredah z več ...

Contibutors: Volčič, Tomaž (author) / Kompan, Drago (author) / Dovč, Peter (author) / Horvat, Simon (author)

Source: Acta agriculturae Slovenica

Numbering: 2009, volume 94, issue 2

Provider: Univerza v Ljubljani, Biotehniška fakulteta
(Obvezni izvod spletne publikacije)

1. PDF document (678 kB)

1. TXT document (40 kB)

Hitro prenatalno določanje številčnosti spolnih kromosomov

Contibutors: Erjavec Škerget, Alenka (author) / Stangler Herodež, Špela (author) / Zagradišnik, Boris (author) / Kokalj-Vokač, Nadja (author)

Source: Anali PAZU

Numbering: 2013, volume 3, issue 2

Provider: Združenje Pomurska akademsko znanstvena unija
(Obvezni izvod spletne publikacije)

1. PDF document (889 kB)

1. TXT document (34 kB)

Empirična preveritev obstoja in delovanja notranjih kontrol pri pripravi konsolidirane premoženjs...

Contibutors: Zafred, Jasna Ida (author)

Source: Uprava (Ljubljana)

Numbering: 2011, volume 9, issue 4

Provider: Univerza v Ljubljani, Fakulteta za upravo
(Obvezni izvod spletne publikacije)

1. PDF document (176 kB)

1. TXT document (49 kB)

Hybrid functional verification of a USB host controller

Contibutors: Puhar, Primož (author) / Žemva, Andrej (author)

Source: Informacije MIDEM

Numbering: 2008, volume 38, issue 2

Provider: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale

1. PDF document (365 kB)

Distributed embedded safety critical real-time systems, design and verification aspects on the ex...

Contibutors: Ley, Manfred (author) / Madritsch, Christian (author)

Source: Informacije MIDEM

Numbering: 2003, volume 33, issue 4

Provider: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale

1. PDF document (1172 kB)

Formal verification of digital circuits using symbolic model checking

Contibutors: Časar, Aleš (author) / Brezočnik, Zmago (author) / Kapus, Tatjana (author)

Source: Informacije MIDEM

Numbering: 2000, volume 30, issue 3

Provider: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale

1. PDF document (696 kB)

Verifikacija vsedržavnega modela transformacije med D48/GK in D96/TM

Contibutors: Berk, Sandi (author) / Fabiani, Niko (author) / Fajdiga, Dominik (author) / Oven, Katja (author) / Komadina, Žarko (author) / Čeh, Marjan (author) / Lisec, Anka (author) / Pavlovčič Prešeren, Polona (author) / Stopar, Bojan (author)

Source: Geodetski vestnik

Numbering: 2015, volume 59, issue 1

Provider: Zveza geodetov Slovenije
(Obvezni izvod spletne publikacije)

1. PDF document (1618 kB)

1. TXT document (23 kB)

Hidravlična ustreznost merilnih mest za merjenje pretokov

Contibutors: Cerar, Uroš (author) / Banovec, Primož (author) / Steinman, Franci (author)

Source: Acta hydrotechnica

Numbering: 2000, volume 18, issue 28

Provider: Univerza v Ljubljani, Fakulteta za gradbeništvo in geodezijo
(Obvezni izvod spletne publikacije)

1. PDF document (433 kB)

1. TXT document (41 kB)

A model for material strengthening under the combined effect of cavitation-bubble collapse and Al...

Contibutors: Liu, Lei (author) / Guo, Huafeng (author) / Yu, Ping (author)

1. PDF document (5078 kB)

Numbering: 2021, volume 67, issue 1/2

Provider: Univerza v Ljubljani, Fakulteta za strojništvo
(Obvezni izvod spletne publikacije)

Control-oriented modelling with experimental verification and design of the appropriate gains of ...

Contibutors: Yildiz, Ahmet (author) / Kopmaz, Osman (author)

1. PDF document (1348 kB)

Numbering: 2017, volume 63, issue 6

Provider: Univerza v Ljubljani, Fakulteta za strojništvo
(Obvezni izvod spletne publikacije)

1. TXT document (30 kB)

Analysis of the influence parameters on the support structure stiffness of large radial-axial bea...

Contibutors: Trifković, Spasoje (author) / Zdravkovic, Nebojsa (author) / Gašić, Milomir M. (author) / Savković, Mile M. (author) / Marković, Goran (author)