Digitalna knjižnica Slovenije
Narodna in univerzitetna knjižnica
Splošne knjižnice
Celjsko območje
Vse knjižnice območja
Osrednja knjižnica Celje
Knjižnica Laško
Osrednja knjižnica Mozirje
Knjižnica Šentjur
Knjižnica Šmarje
Knjižnica Velenje
Medobčinska splošna knjižnica Žalec
Dolenjsko območje
Knjižnica Mirana Jarca Novo mesto
Knjižnica Brežice
Knjižnica Kočevje
Valvasorjeva knjižnica Krško
Knjižnica Miklova hiša, Ribnica
Gorenjsko območje
Mestna knjižnica Kranj
Občinska knjižnica Jesenice
Knjižnica A. T. Linharta, Radovljica
Knjižnica Ivana Tavčarja, Škofja Loka
Knjižnica dr. Toneta Pretnarja, Tržič
Goriško območje
Vse knjižnice območja
Goriška knjižnica Franceta Bevka Nova Gorica
Lavričeva knjižnica, Ajdovščina
Mestna knjižnica in čitalnica Idrija
Knjižnica Cirila Kosmača Tolmin
Koroško območje
Koroška osrednja knjižnica dr. Franca Sušnika Ravne na Koroškem
Knjižnica Radlje ob Dravi
Knjižnica Ksaverja Meška, Slovenj Gradec
Obalno-kraško območje
Osrednja knjižnica Srečka Vilharja Koper
Knjižnica Makse Samsa, Ilirska Bistrica
Mestna knjižnica Izola - Biblioteca civica di Isola->Matična knjižnica Izola
Mestna knjižnica Piran
Kosovelova knjižnica Sežana
Osrednjeslovensko območje
Mestna knjižnica Ljubljana
Knjižnica Jožeta Udoviča, Cerknica
Knjižnica Domžale
Knjižnica Grosuplje
Knjižnica Franceta Balantiča Kamnik
Knjižnica Litija
Knjižnica Logatec
Knjižnica Medvode
Cankarjeva knjižnica Vrhnika
Pomursko območje
Pokrajinska in študijska knjižnica Murska Sobota
Javni zavod Knjižnica Gornja Radgona
Splošna knjižnica Ljutomer
Spodnjedravsko območje
Knjižnica Ivana Potrča Ptuj
Knjižnica Franca Ksavra Meška Ormož
Štajersko območje
Mariborska knjižnica
Knjižnica Lenart
Knjižnica Josipa Vošnjaka Slovenska Bistrica
Druge knjižnice
Bayerische StaatsBibliotek
Centralna pravosodna knjižnica
Centralna tehniška knjižnica Univerze v Ljubljani
Knjižnica Dušana Černeta Trst
Kraljeva knjižnica, Danska nacionalna knjižnica in univerzitetna knjižnica v Kopenhagnu
Narodna in študijska knjižnica
Österreichische Nationalbibliothek
Semeniška knjižnica
Slovenska študijska knjižnica Celovec
Škrabčeva knjižnica
Univerzitetna knjižnica Maribor
Arhivi in muzeji
Arhiv Republike Slovenije
Goriški muzej
Loški muzej Škofja Loka
Muzej in galerije mesta Ljubljana
Muzej Miklova hiša
Muzej novejše zgodovine Celje
Narodni muzej Slovenije
Pokrajinski arhiv Maribor
Pokrajinski muzej Kočevje
Prirodoslovni muzej Slovenije
Slovenian Museum and Archives - Slovenski muzej in arhiv
Slovenski etnografski muzej
Slovenski šolski muzej
Škofijski arhiv Koper
Meni
SLO
|
ENG
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
NAPREDNO ISKANJE
O nas
Sodelovanje
Pogoji uporabe
dLib statistike
Seznam partnerjev
Novice
Virtualne razstave
Pišite nam
Moj dLib.si
Epošta
:
Geslo:
Prijava
Registriraj se!
Pozabljeno geslo
Število rezultatov iskanja: 15
Tip gradiva
knjige (4)
visokošolska dela (1)
znanstveno časopisje in članki (10)
Časopisje in članki - naslov
Elektrotehniški vestnik (1)
Informacije MIDEM (2)
Informatica (Ljubljana) (5)
Uporabna informatika (Ljubljana) (2)
Časopisje in članki - oblika
članki (10)
Jezik
angleški (8)
slovenski (7)
Leto izida
2002 (1)
2006 (1)
2008 (1)
2011 (1)
2013 (2)
2018 (3)
2020 (3)
2021 (1)
2022 (1)
2023 (1)
Izvor
Elektrotehniška zveza Slovenije (1)
Narodna in univerzitetna knjižnica (4)
Slovensko društvo Informatika (7)
Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale (2)
Univerza v Mariboru, Fakulteta za elektrotehniko računalništvo in informatiko (1)
Vsebina
Računalništvo (15)
Inženirstvo, tehnologija (1)
Vzgoja, izobraževanje (4)
Založnik
D. Novak (1)
Državni izpitni center (4)
Elektrotehniška zveza Slovenije (1)
Slovene Society Informatika (1)
Slovensko društvo Informatika (6)
Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale (2)
Pravice
CC BY - priznanje avtorstva (3)
pravice pridržane (12)
Dostop
Omejen (namenski terminali v prostorih NUK) (3)
Prost (12)
Išči med rezultati (
15
)
Razvrsti po:
ustreznosti
ustreznosti
datumu naraščajoče
datumu padajoče
datumu objave naraščajoče
datumu objave padajoče
naslovu A-Z
naslovu Z-A
SCTP association between multi-homed endpoints over NAT using NSLP
Avtorji:
Stegel, Tine (avtor)
/
Sterle, Janez (avtor)
/
Bešter, Janez (avtor)
/
Kos, Andrej (avtor)
Vir:
Elektrotehniški vestnik
Številčenje: 2008, letnik 75,
številka 5
Izvor: Elektrotehniška zveza Slovenije
(Obvezni izvod spletne publikacije)
1. PDF datoteka (564 kB)
1. TXT datoteka (35 kB)
Priročnik za uporabo orodja za ugotavljanje kakovosti izkazanega znanja (OrKa Ric) - nacionalno p...
Avtorji:
Cankar, Gašper (avtor)
/
Semen, Erika (avtor)
/
Knežević, Marina (avtor)
/
Urank, Matjaž (avtor)
/
Verbič Šalamon, Tomaž (ilustrator)
Vir:
knjige
Izvor: Narodna in univerzitetna knjižnica
(Obvezni izvod spletne publikacije)
1. PDF datoteka (6316 kB)
1. TXT datoteka (107 kB)
JPEG datoteka (154 kB)
Model checking using Spin and SpinRCP
Avtorji:
Brezočnik, Zmago (avtor)
/
Vlaovič, Boštjan (avtor)
/
Vreže, Aleksander (avtor)
Vir:
Informacije MIDEM
Številčenje: 2013, letnik 43,
številka 4
Izvor: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale
(Obvezni izvod spletne publikacije)
1. PDF datoteka (2027 kB)
1. TXT datoteka (59 kB)
Decision-making in determining the level of knowledge of students in the learning process under u...
Avtorji:
Shahbazova, Shahnaz N. (avtor)
Vir:
Informatica (Ljubljana)
Številčenje: 2013, letnik 37,
številka 3
Izvor: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF datoteka (268 kB)
1. TXT datoteka (16 kB)
Grammar checking with dependency parsing
Avtorji:
Mozgovoy, Maxim (avtor)
Vir:
Informatica (Ljubljana)
Številčenje: 2011, letnik 35,
številka 4
Izvor: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF datoteka (132 kB)
1. TXT datoteka (21 kB)
Samodejno preverjanje pravilnosti študentskih nalog iz programiranja
Avtorji:
Čep, Aleš (avtor)
/
Novak, Damijan (avtor)
/
Dugonik, Jani (avtor)
Vir:
Uporabna informatika (Ljubljana)
Številčenje: 2020, letnik 28,
številka 1
Izvor: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF datoteka (1027 kB)
1. TXT datoteka (39 kB)
Priročnik za uporabo orodja za ugotavljanje kakovosti izkazanega znanja (OrKa Ric) - nacionalno p...
Avtorji:
Cankar, Gašper (avtor)
/
Semen, Erika (avtor)
/
Knežević, Marina (avtor)
/
Urank, Matjaž (avtor)
/
Verbič Šalamon, Tomaž (ilustrator)
Vir:
knjige
Izvor: Narodna in univerzitetna knjižnica
(Obvezni izvod spletne publikacije)
1. PDF datoteka (4479 kB)
1. TXT datoteka (113 kB)
JPEG datoteka (150 kB)
Formal verification issues for component-based development
Avtorji:
Hariati, Mehdi (avtor)
Vir:
Informatica (Ljubljana)
Številčenje: 2020, letnik 44,
številka 4
Izvor: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF datoteka (226 kB)
1. TXT datoteka (33 kB)
Counterexamples in model checking - a survey
Avtorji:
Debbi, Hichem (avtor)
Vir:
Informatica (Ljubljana)
Številčenje: 2018, letnik 42,
številka 2
Izvor: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF datoteka (658 kB)
1. TXT datoteka (104 kB)
Preverjanje vhodnih podatkov v spletnih rešitvah s Perl in PHP
Avtorji:
Verdonik, Ivan (avtor)
Vir:
Uporabna informatika (Ljubljana)
Številčenje: 2006, letnik 14,
številka 1
Izvor: Slovensko društvo Informatika
1. PDF datoteka (2151 kB)
1. TXT datoteka (36 kB)
Exploiting symbolic model checking for sensing stuck-at faults in digital circuits
Avtorji:
Časar, Aleš (avtor)
/
Brezočnik, Zmago (avtor)
/
Kapus, Tatjana (avtor)
Vir:
Informacije MIDEM
Številčenje: 2002, letnik 32,
številka 3
Izvor: Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale
1. PDF datoteka (938 kB)
1. TXT datoteka (45 kB)
On integrating multiple restriction domains to automatically generate test cases of model transfo...
Avtorji:
Nguyen, Hanh Thi Hai (avtor)
/
Dang, Duc-Hanh (avtor)
Vir:
Informatica (Ljubljana)
Številčenje: 2023, letnik 47,
številka 1
Izvor: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF datoteka (3008 kB)
1. TXT datoteka (76 kB)
Priročnik za uporabo orodja za ugotavljanje kakovosti izkazanega znanja (OrKa RIC)
Avtorji:
Cankar, Gašper (avtor)
/
Semen, Erika (avtor)
/
Knežević, Marina (avtor)
/
Urank, Matjaž (avtor)
/
Verbič Šalamon, Tomaž (ilustrator)
Vir:
knjige
Izvor: Narodna in univerzitetna knjižnica
(Obvezni izvod spletne publikacije)
Gradivo je dostopno v prostorih NUK na namenskih računalnikih
Priročnik za uporabo orodja za ugotavljanje kakovosti izkazanega znanja (OrKa RIC)
Avtorji:
Cankar, Gašper (avtor)
/
Semen, Erika (avtor)
/
Knežević, Marina (avtor)
/
Urank, Matjaž (avtor)
Vir:
knjige
Izvor: Narodna in univerzitetna knjižnica
(Obvezni izvod spletne publikacije)
Gradivo je dostopno v prostorih NUK na namenskih računalnikih
Preverjanje veljavnosti realno-časovnega igralnega prostora z algoritmom razširjenega sistema na osnovi klasifikatorjev
Avtorji:
Novak, Damijan (avtor)
/
Fister, Iztok (mentor)
Izvor: Univerza v Mariboru, Fakulteta za elektrotehniko računalništvo in informatiko
Gradivo je dostopno v prostorih NUK na namenskih računalnikih
stran
od 1
zadetkov na stran:
5
10
25
50
100