David Dedič

1. BERŠNJAK, Boštjan, DOMADENIK, Robi, STOJANOVIĆ, Ljubiša, DOLINAR, Mitja, NOVAK, Tadej, DEDIČ, David, ROTOVNIK, Tomaž. Regulacija temperature in vlage v sodobni hiši in rastlinjaku : raziskovalna naloga. Velenje: Srednja elektrotehniška in računalniška šola, 1995. 50 f., 25 f. pril., ilustr., tabele. [COBISS.SI-ID 512827669]

2. DEDIČ, David. Elektronsko poslovanje in dražbe v svetovnem spletu. V: ZAJC, Baldomir (ur.). Zbornik dvanajste mednarodne Elektrotehniške in računalniške konference ERK 2003, 25. - 26. september 2003, Ljubljana, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 2003. Str. 373-376. Zbornik ... Elektrotehniške in računalniške konference ERK ..., 1581-4572. [COBISS.SI-ID 8230166]

3. DEDIČ, David, MEOLIC, Robert. Verification of Bakery algorithm variants for two processes. V: ZAJC, Baldomir (ur.), TKALČIČ, Marko (ur.). The IEEE Region 8 EUROCON 2003 : computer as a tool : 22-24. September 2003, Faculty of Electrical Engineering, University of Ljubljana, Ljubljana, Slovenia : proceedings. Piscataway: IEEE, cop. 2003. Vol. b, str. 35-39. ISBN 0-7803-7763-X. [COBISS.SI-ID 8241686]

4. DEDIČ, David. Spletno okolje za formalno verifikacijo z uporabo storitveno usmerjene arhitekture : magistrsko delo. [Maribor: D. Dedič, 2016]. XX, 141 str., ilustr. Digitalna knjižnica Univerze v Mariboru – DKUM. [COBISS.SI-ID 19862806]

5. DEDIČ, David, MEOLIC, Robert. WebEST - spletno okolje za formalno verifikacijo. Maribor: UM FERI, 2016. http://lms.uni-mb.si/webest/. [COBISS.SI-ID 19761686]