magistrsko delo
Marko Koležnik (Author), Andrej Bauer (Mentor)

Abstract

Grafični uporabniški vmesnik za Agdo

Keywords

Agda;grafični uporabniški vmesnik;ogrodje Cocoa;medprocesna komunikacija;

Data

Language: Slovenian
Year of publishing:
Typology: 2.09 - Master's Thesis
Organization: UL FMF - Faculty of Mathematics and Physics
Publisher: [M. Koležnik]
UDC: 510.6
COBISS: 17550937 Link will open in a new window
Views: 1183
Downloads: 312
Average score: 0 (0 votes)
Metadata: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Other data

Secondary language: English
Secondary keywords: Agda;graphical user interface;Cocoa framework;interprocess communication;
Type (COBISS): Master's thesis/paper
Thesis comment: Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Pedagoška matematika
Pages: IX, 55 str.
ID: 10910608
Recommended works:
, magistrsko delo
, diplomsko delo
, diplomsko delo visokošolskega študijskega programa
, diplomska naloga visokošolskega strokovnega študijskega programa
, diplomsko delo visokošolskega strokovnega študijskega programa