Napredno

 
  Išči
    Enostavno iskanje


Rezultati

1145 rezultatov
1 - 10 / 1145
Na začetekNa prejšnjo stran12345678910Na naslednjo stranNa konec
1. Prerokova neenakost
Tin Markon, 2025, diplomsko delo

Ključne besede: prerokova neenakost, optimalni časi ustavljanja, slučajni proces
Celotno besedilo (datoteka, 507,52 KB) Gradivo ima več datotek! Več...

5. Posplošene diskriminante
Aljaž Kump, 2024, diplomsko delo

Ključne besede: polinom, rezultanta, diskriminanta, kompleksne ničle
Celotno besedilo (datoteka, 140,29 KB)

8. Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean
Gregor Kikelj, 2024, diplomsko delo

Ključne besede: Lean, Lean 4, graf, kromatično število
Celotno besedilo (datoteka, 825,73 KB) Gradivo ima več datotek! Več...

Iskanje izvedeno v 0.11 sek.
Na vrh