Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
danvy, olivier
(2)henglein, fritz
(2)mairson, harry
(2)pettorossi, alberto
(2)eui-young chung
(1)hatcliff, john
(1)mesnard, fred
(1)mogensen, torben
(1)stuckey, peter j.
(1)thiemann, peter
(1)Schlagwort
edv
(5)informatik
(5)
program specialization
(5)software engineering
(4)logic
(3)program transformation
(3)programspecialization
(3)algorithm
(2)algorithm construction
(2)algorithmconstruction
(2)algorithms
(2)automata
(2)automatic program derivation
(2)automaticprogramderivation
(2)c programming language
(2)cprogramminglanguage
(2)development
(2)formal specification
(2)formalspecification
(2)object oriented design
(2)objectorienteddesign
(2)program derivation systems
(2)programderivationsystems
(2)programmiersprachen
(2)programming
(2)software-entw.
(2)theorie
(2)algorithmus
(1)allgemeines
(1)compiler
(1)complexity
(1)dynamic power management
(1)embedded systems
(1)energy
(1)formal methods
(1)formalmethods
(1)functional programming
(1)functionalprogramming
(1)informatik, computer
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logic programming
(1)logic-based program development
(1)logicprogramming
(1)low power
(1)mathematik
(1)partial evaluation
(1)partialevaluation
(1)prog
(1)program an
(1)program analysis
(1)program analysis and verification
(1)program composition
(1)program inversion
(1)program optimization
(1)program semantic
(1)program specification
(1)program synthesis
(1)program testing and certification
(1)programanalysis
(1)programmieren
(1)programmieren (edv)
(1)programmierung
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)programsemantic
(1)programtransformation
(1)software engineerin
(1)software engineering/programmi
(1)software engineering/programming and operating systems
(1)software testing
(1)softwaretesting
(1)übersetzer (edv)
(1)Ergebnis: 5 Artikel
Schlagwort: program specialization
