Napredno

 
  Išči
    Enostavno iskanje


Rezultati

19 rezultatov
11 - 19 / 19
Na začetekNa prejšnjo stran12Na naslednjo stranNa konec
11. Uporaba tipov za zagotavljanje pravilnosti programov
Filip Koprivec, 2017, diplomsko delo

Ključne besede: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
Celotno besedilo (datoteka, 293,61 KB)

12. Odpornost populacij koloradskega hrošča (Leptinotarsa decemlineata [Say], Coleoptera, Chrysomelidae) v Sloveniji na izbrane insekticide
Meta Urbančič Zemljič, 2014, magistrsko delo

Ključne besede: koloradski hrošč, Leptinotarsa decemlineata, zatiranje škodljivcev, insekticidi, odpornost na insekticide, klorpirifos, lambda-cihalotrin, imidakloprid, krompir
Celotno besedilo (datoteka, 1,57 MB)

13. Analiza uporabe funkcijskega programiranja v Javi
ALEKSANDAR HRISTOV, 2020, diplomsko delo

Ključne besede: java, funkcijski slog, metode, vmesniki, lambda
Celotno besedilo (datoteka, 407,16 KB)

14. Pridobivanje lizogenih bakteriofagov
Jure Bohinc, 2020, diplomsko delo

Ključne besede: lizogeni bakteriofagi, pridobivanje bakteriofagov, indukcija bakteriofagov, lambda fag
Celotno besedilo (datoteka, 525,01 KB)

15. Urejanje terk glede na medsebojno oddaljenost
ANŽE TANKO, 2020, diplomsko delo

Ključne besede: Terka, razdalja, urejanje, permutacija, zaporedje, optimizacijski problem, NP-težkost
Celotno besedilo (datoteka, 287,04 KB)

16. Curry-Howardova korespondenca
Neža Korenjak, 2022, diplomsko delo/naloga

Ključne besede: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca
Celotno besedilo (datoteka, 468,96 KB)

17. Multi-objective optimization of the chebyshev lambda mechanism
Daniel Miler, Dominik Birt, Matija Hoić, 2022, izvirni znanstveni članek

Ključne besede: chebyshev lambda mechanism, optimization, synthesis, walking mechanism
Celotno besedilo (datoteka, 940,74 KB) Gradivo ima več datotek! Več...

18. Preseki polinomskih grafov
Ana Luetić, 2023, diplomsko delo/naloga

Ključne besede: polinom, permutacija, izmenjava, obrezano drevo
Celotno besedilo (datoteka, 10,17 MB)

19. Operacijska semantika za jezik s časovno omejenimi viri
Gašper Žajdela, 2023, magistrsko delo/naloga

Ključne besede: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija
Celotno besedilo (datoteka, 521,90 KB) Gradivo ima več datotek! Več...
Iskanje izvedeno v 0.03 sek.
Na vrh