Aarhus Universitets logo
English
Tilbage til søgning
Begræns yderligere ved at vælge et eller flere af følgende emneord...
Algoritmer for hierarkisk hukommelse, Algoritmik, Geometriske algoritmer og datastrukturer
Algoritmer for store datamængder (Data Analytics, Data management, Data mining, Data-Intensive Systems, Machine learning, Parallel algorithms, Query processing, Search, Text mining)
Funktionel programmering, Programanalyse og -transformationer, Programmeringssprog og formelle modeller
Algoritmik
Algoritmer for store datamængder, Design og analyse af algoritmer og datastrukturer, Grafalgoritmer
Algoritmik, Datasikkerhed, Kryptografiske protokoller, Kryptologi, Kvantecomputing, Public-key-kryptering
Domain-specifikke sprog, Funktionel programmering, Global computing, Kompilere og fortolkere, Modeller og logik for interaktive systemer, Moderne logik, Objekt-orienterede programmeringssprog, Objekt-orienteret programmering, Partial-evaluering og normalisering, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Semantik af programmeringssprog, Softwareudviklingsværktøjer, Teknologi med læringspotentiale, Type-systemer, Undervisning i programmering og softwareudvikling, Videnskabsteori, Virtuelle/abstrakte maskiner, Værktøjer baseret på partiel evaluering
Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller
Algebraiske og talteoretiske algoritmer, Design og analyse af algoritmer og datastrukturer, Kompleksitetsteori
Algoritmer for hierarkisk hukommelse, Algoritmer for store datamængder, Algoritmik, Design og analyse af algoritmer og datastrukturer, Effektiv algoritmeimplementering, I/O-effektive algoritmer, Optimeringsalgoritmer, Tekstalgoritmer og datastrukturer
Algoritmik, Kompleksitetsteori, Optimeringsalgoritmer, Spilteori
Bevægelsesbaseret interaktion, Fysisk design, Grafalgoritmer, Håndgribelig interaktion, Interaktionsdesign, Lokationsbaserede og kontekstsensitive systemer, Mobile systemer og grænseflader, Sensornetværk, Statistik
Eksperimentel systemudvikling, Kapacitetsplanlægning, Modeldrevet systemudvikling, Modellering og validering af distribuerede systemer (Farvede Petri Net), Programmeringssprog og formelle modeller, Simulations- og analyseværktøjer, Softwarespecifikation og -verifikation
Funktionel programmering, Semantik af programmeringssprog
Algoritmer for hierarkisk hukommelse, Algoritmer for store datamængder, Algoritmik, Design og analyse af algoritmer og datastrukturer, Geometriske algoritmer og datastrukturer, Grafalgoritmer, I/O-effektive algoritmer, Kombinatorik, Kompleksitetsteori, Tekstalgoritmer og datastrukturer
Teoretisk datalogi, Algoritmik, Kompleksitetsteori, Optimeringsalgoritmer, Spilteori
Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Softwarespecifikation og -verifikation, Webteknologi
Digital kunst, netkunst, softwarekunst, Distribuerede softwaresystemer (Parallelprogrammering), Videnskabelige beregninger (Parallelprogrammering)
Algebraiske og talteoretiske algoritmer, Datasikkerhed, Distribuerede softwaresystemer, Kryptografiske protokoller, Kryptologi, Public-key-kryptering, Spilteori
Datasikkerhed, Distribuerede softwaresystemer, Kommunikationsprotokoller og netværk, Kryptografiske protokoller, Kryptologi, Kryptologi, Public-key-kryptering
Algoritmer for store datamængder
Algoritmer for store datamængder, Algoritmik, Design og analyse af algoritmer og datastrukturer
Funktionel programmering, Kryptologi, Programmeringssprog og formelle modeller, Semantik af programmeringssprog
Geometriske algoritmer og datastrukturer
Design og analyse af algoritmer og datastrukturer, Formal methods , Formal verification , Softwarespecifikation og -verifikation
