Number of hits: 34
Source type
journals (33)
theses and dissertations (1)
Journals - titles
Acta geotechnica Slovenica (1)
Acta hydrotechnica (1)
Book of abstracts (1)
Informacije MIDEM (6)
Informatica (Ljubljana) (4)
JET on-line (1)
Journal of energy technology (2)
Linguistica (Ljubljana) (2)
Materiali in tehnologije (4)
Radiology and oncology (Ljubljana) (4)
Revija za kriminalistiko in kriminologijo (1)
Strojniški vestnik (6)
Uprava (Ljubljana) (1)
Journals - form
articles (33)
Language
english (34)odstrani
slovenian (2)
Date
1989 (1)
1999 (1)
2000 (2)
2003 (2)
2007 (1)
2008 (1)
2009 (2)
2011 (5)
2014 (3)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (2)
2020 (2)
2021 (4)
2023 (2)
2024 (2)
Location
Društvo radiologije in onkologije (3)
Inštitut za kovinske materiale in tehnologije (4)
Narodna in univerzitetna knjižnica (1)
Onkološki inštitut Ljubljana (2)
Slovensko društvo Informatika (4)
Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale (6)
Univerza v Ljubljani, Fakulteta za gradbeništvo in geodezijo (1)
Univerza v Ljubljani, Fakulteta za matematiko in fiziko (1)
Univerza v Ljubljani, Fakulteta za strojništvo (6)
Univerza v Ljubljani, Fakulteta za upravo (1)
Univerza v Ljubljani, Filozofska fakulteta (2)
Univerza v Mariboru, Fakulteta za energetiko (2)
Univerza v Mariboru, Fakulteta za gradbeništvo (1)
Content
Chemistry (1)
Computer Science (4)
Engineering and Technology (13)
Geology (2)
Industry, Craft, Handicraft (2)
Law (1)
Linguistics and Languages (2)
Medicine (5)
Physics (3)
Public Administration (1)
Script, Books (1)
Standardization (1)
Publisher
Association of Mechanical Engineers and Technicians of Slovenia et al. (1)
Association of Radiology and Oncology (2)
Croatian Medical Association - Croatian Society of Radiology (2)
Fakulteta za energetiko (2)
Fakulteta za gradbeništvo in geodezijo (1)
Fakulteta za gradbeništvo, prometno inženirstvo in arhitekturo (1)
Fakulteta za upravo (1)
G. Skok (1)
Institute of Oncology (1)
Inštitut za kovinske materiale in tehnologije (4)
Ministrstvo za notranje zadeve Republike Slovenije, Policija (1)
Slovenian Medical Society - Section of Radiology (2)
Slovensko društvo Informatika (4)
Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale (6)
Znanstvena založba Filozofske fakultete (2)
Zveza strojnih inženirjev in tehnikov Slovenije et al. (1)
Zveza strojnih inženirjev in tehnikov Slovenije etc. (5)
Rights
CC BY – Attribution (6)
CC BY-NC-SA - Attribution, Non-Commercial, ShareAlike (1)
CC BY-SA - Attribution, ShareAlike (2)
In Copyright (25)
Access
Public (33)
Restricted (designated terminals) (1)
Search in (34)
Sort by:
Implementation and verification of a geosynthetic-soil interface constitutive model in the Geogri...
Contibutors: Haimin, Wu (author) / Yiming, Shu (author) / Linjun, Dai (author) / Zhaoming, Teng (author)
Source: Acta geotechnica Slovenica
Numbering: 2015, volume 12, issue 1
Provider: Univerza v Mariboru, Fakulteta za gradbeništvo
(Obvezni izvod spletne publikacije)
1. PDF document (270 kB)
1. TXT document (34 kB)
Experimental verifications and numerical thermal simulations of automobile lamps
Contibutors: Guzej, Michal (author) / Horský, Jaroslav (author)
Source: Materiali in tehnologije
Numbering: 2016, volume 50, issue 3
Provider: Inštitut za kovinske materiale in tehnologije
(Obvezni izvod spletne publikacije)
1. PDF document (1220 kB)
1. TXT document (17 kB)
Mathematical modeling and experimental verification of operating parameters of vane pump with dou...
Contibutors: Petrović, Radovan S. (author)
Source: Strojniški vestnik
Numbering: 2009, volume 55, issue 1
Provider: Univerza v Ljubljani, Fakulteta za strojništvo
1. PDF document (1853 kB)
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)
Source: Materiali in tehnologije
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)
Formal verification of distributed systems
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)
Source: Materiali in tehnologije
Numbering: 2019, volume 53, issue 4
Provider: Inštitut za kovinske materiale in tehnologije
(Obvezni izvod spletne publikacije)
1. PDF document (1748 kB)
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)
Source: Materiali in tehnologije
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)
Object-based analysis and verification of precipitation over low- and mid-latitudes
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)
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)
1. TXT document (33 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)
1. TXT document (33 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)
1. TXT document (33 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)
Source: Strojniški vestnik
Numbering: 2021, volume 67, issue 1/2
Provider: Univerza v Ljubljani, Fakulteta za strojništvo
(Obvezni izvod spletne publikacije)
1. PDF document (5078 kB)
1. TXT document (33 kB)
Control-oriented modelling with experimental verification and design of the appropriate gains of ...
Contibutors: Yildiz, Ahmet (author) / Kopmaz, Osman (author)
Source: Strojniški vestnik
Numbering: 2017, volume 63, issue 6
Provider: Univerza v Ljubljani, Fakulteta za strojništvo
(Obvezni izvod spletne publikacije)
1. PDF document (1348 kB)
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)
Source: Strojniški vestnik
Numbering: 2019, volume 65, issue 6
Provider: Univerza v Ljubljani, Fakulteta za strojništvo
(Obvezni izvod spletne publikacije)
1. PDF document (790 kB)
1. TXT document (35 kB)
Formal verification issues for component-based development
Contibutors: Hariati, Mehdi (author)
Source: Informatica (Ljubljana)
Numbering: 2020, volume 44, issue 4
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (226 kB)
1. TXT document (33 kB)
Verification of quality parameters for portal images in radiotherapy
Contibutors: Pesznyák, Csilla (author) / Polgár, István (author) / Weisz, Csaba (author) / Király, Réka (author) / Zaránd, Pál (author)
Source: Radiology and oncology (Ljubljana)
Numbering: 2011, volume 45, issue 1
Provider: Društvo radiologije in onkologije
(Obvezni izvod spletne publikacije)
1. PDF document (797 kB)
1. TXT document (19 kB)
Dosimetric verification of compensated beams using radiographic film
Contibutors: Jurković, Slaven (author) / Zauhar, Gordana (author) / Faj, Dario (author) / Smilović Radojčić, Deni (author) / Švabić, Manda (author) / Kasabašić, Mladen (author) / Diklić, Ana (author)
Source: Radiology and oncology (Ljubljana)
Numbering: 2011, volume 45, issue 4
Provider: Društvo radiologije in onkologije
(Obvezni izvod spletne publikacije)
1. PDF document (606 kB)
1. TXT document (18 kB)
Formal verification of emergent properties
Contibutors: Boumaza, Kamal (author) / Tolba, Cherif (author) / Ober, Iulian (author)
Source: Informatica (Ljubljana)
Numbering: 2021, volume 45, issue 3
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (466 kB)
1. TXT document (52 kB)
Formal verification of pipelined cryptographic circuits
Contibutors: Bitat, Abir (author) / Merniz, Salah (author)
Source: Informatica (Ljubljana)
Numbering: 2021, volume 45, issue 4
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (562 kB)
1. TXT document (35 kB)
The spine and carina as a surrogate for target registration in cone-beam CT imaging verification ...
Contibutors: But-Hadžić, Jasna (author) / Štrljič, Karmen (author) / Žager Marciuš, Valerija (author)
Source: Radiology and oncology (Ljubljana)
Numbering: 2023, volume 57, issue 1
Provider: Društvo radiologije in onkologije
(Obvezni izvod spletne publikacije)
1. PDF document (695 kB)
1. TXT document (32 kB)
Epithermal neutron beam for BNCT at the JSI TRIGA reactor - modelling and experimental verification
Contibutors: Maučec, Marko (author) / Glumac, Bogdan (author) / Rant, Jože (author) / Krištof, Edvard (author)
Source: Radiology and oncology (Ljubljana)
Numbering: 1999, volume 33, issue 1
Provider: Onkološki inštitut Ljubljana
1. PDF document (550 kB)
1. TXT document (20 kB)
Formal verification of distributed mutual-exclusion circuits
Contibutors: Meolic, Robert (author) / Kapus, Tatjana (author) / Dugonik, Bogdan (author) / Brezočnik, Zmago (author)
Source: Informacije MIDEM
Numbering: 2003, volume 33, issue 3
Provider: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale
1. PDF document (1290 kB)
1. TXT document (47 kB)
Experimental verification of the numerically determined parameters for the non-linear two-axis mo...
Contibutors: Hederić, Željko (author) / Ćorluka, Venco (author) / Varga, Toni (author)
Source: JET on-line
Journal of energy technology
Numbering: 2021, volume 14, iss. 4
Provider: Univerza v Mariboru, Fakulteta za energetiko
(Obvezni izvod spletne publikacije)
1. PDF document (1274 kB)
1. TXT document (23 kB)
Flexible low cost ASIC design verification tool with guidelines for generation of STDF for multi ...
Contibutors: Trontelj, Janez (author)
Source: Informacije MIDEM
Numbering: 2011, volume 41, issue 1
Provider: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale
1. PDF document (595 kB)
1. TXT document (19 kB)
A case study of a methodological approach to the verification of UAV propeller performance
Contibutors: Vorotović, Goran (author) / Burazer, Jela (author) / Bengin, Aleksandar (author) / Mitrović, Časlav (author) / Januzović, Miloš (author) / Petrović, Nebojša (author) / Novković, Đorđe (author)
Source: Strojniški vestnik
Numbering: 2023, volume 69, issue 5/6
Provider: Univerza v Ljubljani, Fakulteta za strojništvo
(Obvezni izvod spletne publikacije)
1. PDF document (2940 kB)
1. TXT document (29 kB)
Overview of principles and rules of geometrical product specifications according to the current I...
Contibutors: Zupan, Samo (author) / Kunc, Robert (author)
Source: Strojniški vestnik
Numbering: 2024, volume 70, issue 1/2
Provider: Univerza v Ljubljani, Fakulteta za strojništvo
(Obvezni izvod spletne publikacije)
1. PDF document (2055 kB)
1. TXT document (403 kB)
Verification and validation of student’s CFD tool on the venturi flow case
Contibutors: Mihalić, Tihomir (author) / Zaninović, Ante (author) / Medić, Srđan (author) / Krsnik, Filip (author)
Source: Journal of energy technology
Numbering: 2024, volume 17, iss. 3
Provider: Univerza v Mariboru, Fakulteta za energetiko
(Obvezni izvod spletne publikacije)
1. PDF document (1324 kB)
1. TXT document (12 kB)
Relating the Slovenian secondary school English language national examinations to the CEFR
Contibutors: Ilc, Gašper (author) / Rot Gabrovec, Veronika (author) / Stopar, Andrej (author)
Source: Linguistica (Ljubljana)
Numbering: 2014, letn. 54
Provider: Univerza v Ljubljani, Filozofska fakulteta
(Obvezni izvod spletne publikacije)
1. PDF document (876 kB)
1. TXT document (45 kB)
The development of a CEFR-based scale for assessing young foreign language learners' writing skills
Contibutors: Pižorn, Karmen (author)
Source: Linguistica (Ljubljana)
Numbering: 2014, letn. 54
Provider: Univerza v Ljubljani, Filozofska fakulteta
(Obvezni izvod spletne publikacije)
1. PDF document (1053 kB)
1. TXT document (52 kB)
Preventing false criminal confessions in Poland and Russia
Contibutors: Solodov, Denis (author) / Solodov, Ilia (author)
Source: Revija za kriminalistiko in kriminologijo
Numbering: 2020, volume 71, issue 4
Provider: Narodna in univerzitetna knjižnica
(Obvezni izvod spletne publikacije)
Publication is available at terminals on the library premises
Realization, property and rights 2026 Narodna in univerzitetna knjižnica, Turjaška 1, 1000 Ljubljana