Advanced

 
  Search
    Simple search


Results

19 results
11 - 19 / 19
First pagePrevious page12Next pageLast page
11. Uporaba tipov za zagotavljanje pravilnosti programov
Filip Koprivec, 2017, undergraduate thesis

Keywords: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
Full text (file, 293,61 KB)

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

Keywords: koloradski hrošč, Leptinotarsa decemlineata, zatiranje škodljivcev, insekticidi, odpornost na insekticide, klorpirifos, lambda-cihalotrin, imidakloprid, krompir
Full text (file, 1,57 MB)

13. Analiza uporabe funkcijskega programiranja v Javi
ALEKSANDAR HRISTOV, 2020, undergraduate thesis

Keywords: java, funkcijski slog, metode, vmesniki, lambda
Full text (file, 407,16 KB)

14. Pridobivanje lizogenih bakteriofagov
Jure Bohinc, 2020, undergraduate thesis

Keywords: lizogeni bakteriofagi, pridobivanje bakteriofagov, indukcija bakteriofagov, lambda fag
Full text (file, 525,01 KB)

15. Urejanje terk glede na medsebojno oddaljenost
ANŽE TANKO, 2020, undergraduate thesis

Keywords: Terka, razdalja, urejanje, permutacija, zaporedje, optimizacijski problem, NP-težkost
Full text (file, 287,04 KB)

16. Curry-Howardova korespondenca
Neža Korenjak, 2022, bachelor thesis/paper

Keywords: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca
Full text (file, 468,96 KB)

17. Multi-objective optimization of the chebyshev lambda mechanism
Daniel Miler, Dominik Birt, Matija Hoić, 2022, original scientific article

Keywords: chebyshev lambda mechanism, optimization, synthesis, walking mechanism
Full text (file, 940,74 KB) This document has more files! More...

18. Preseki polinomskih grafov
Ana Luetić, 2023, bachelor thesis/paper

Keywords: polinom, permutacija, izmenjava, obrezano drevo
Full text (file, 10,17 MB)

19. Operacijska semantika za jezik s časovno omejenimi viri
Gašper Žajdela, 2023, master's thesis/paper

Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija
Full text (file, 521,90 KB) This document has more files! More...
Search done in 0.07 sec.
Back to top