Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hanus, michael
(1)müller, matthias s.
(1)nagel, wolfgang e.
(1)resch, michael m.
(1)rodriguez-artalejo, mario
(1)schulz, alexander
(1)Schlagwort
computer system imp
(2)edv
(2)informatik
(2)programming
(2)software engineering/programming and operating systems
(2)theory of computation
(2)abstract interpretation
(1)abstractinterpretation
(1)abstrakte interpretation
(1)abstrakteinterpretation
(1)algebra
(1)algebraic programming
(1)algebraiclogicprogramming
(1)algebraisches programmieren
(1)algebraischesprogrammieren
(1)allgemeines
(1)calculus
(1)complexity
(1)computer
(1)development tools for high performance computing
(1)developmenttoolsforhighperformancecomputing
(1)hardware
(1)logic
(1)logic programming
(1)logik
(1)openmp
(1)parallel debugging
(1)parallel performance analysis
(1)paralleldebugging
(1)parallelperformanceanalysis
(1)philosophie
(1)programmieren
(1)software engineering
(1)support infrastructure for parallel and high performance com
(1)supportinfrastructureforparallelandhighperformancecom
(1)term rewriting
(1)termrewriting
(1)theorie
(1)type systems
(1)typensysteme
(1)typesystems
(1)verification
(1)Ergebnis: 2 Artikel
Schlagwort: computer system imp
