Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
golfarelli, matteo
(2)abdelwahed, el hassan
(1)bellatreche, ladjel
(1)benslimane, djamal
(1)jean, stéphane
(1)mery, dominique
(1)nakamatsu, kazumi
(1)ordonez, carlos
(1)rizzi, stefano
(1)Schlagwort
artificial intelligence
(1)artificialintelligence
(1)betriebssystem (edv)
(1)communication channels (information theory)
(1)communicationchannels(informationtheory)
(1)computers
(1)computers - data base management
(1)data warehouse
(1)data warehousing
(1)databases
(1)distributed computer systems
(1)distributedcomputersystems
(1)edv
(1)event-b
(1)formal logic
(1)formal methods
(1)formal verifications
(1)formallogic
(1)formalmethods
(1)formalverifications
(1)informatik
(1)model
(1)model checking
(1)operating system
(1)quality of service (qos)
(1)semantics
(1)software engine
(1)software engineering
(1)software-entw.
(1)specifications
(1)storage & retrieval
(1)system administration
(1)theorie
(1)Ergebnis: 2 Artikel
Autor: Golfarelli, Matteo
