Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
baier, christel
(6)
caires, luís
(1)dal lago, ugo
(1)eder, johann
(1)haverkort, boudewijn r.
(1)hermanns, holger
(1)hinchey, mike
(1)katoen, joost-pieter
(1)margaria, tiziana
(1)steffen, bernhard
(1)tinelli, cesare
(1)van den brand, mark
(1)Verlag / Hersteller
springer berlin heidelberg
(3)springer international publishing
(3)Schlagwort
edv
(5)informatik
(5)mathematik
(4)theorie
(4)software engineering
(3)software-entw.
(3)algorithms
(2)algorithmus
(2)allgemeines
(2)automata
(2)betriebssystem (edv)
(2)compiler
(2)computation tree logic
(2)concurrency
(2)logic
(2)modeling
(2)netzwerk (elektronisch)
(2)operating system
(2)probabilistic automata
(2)probabilisticautomata
(2)programmiersprachen
(2)semantics
(2)verification
(2)übersetzer (edv)
(2)adaptive distributed systems
(1)algorithm
(1)algorithm anal
(1)algorithmen und datenstrukturen
(1)approximation
(1)artificial intelligence
(1)berufe
(1)bisimilarity
(1)bisimulation
(1)c
(1)cloud migration
(1)cloudmigration
(1)combinatorial problems
(1)combinatorialproblems
(1)compu
(1)computational complexity
(1)computationalcomplexity
(1)computationtreelogic
(1)computer software selection and evaluation
(1)computerprogrammierung und softwar
(1)concurrent processing
(1)concurrent rewriting
(1)concurrent systems
(1)data similarity
(1)datasimilarity
(1)datensicherheit
(1)datensicherung
(1)datenverarbeitung
(1)decidability
(1)diskret (mathematisch)
(1)distributed computer systems
(1)distributed computing
(1)distributed programming
(1)distributedprogramming
(1)dynamic programming
(1)dynamicprogramming
(1)formal language
(1)formal logic
(1)formal methods
(1)formal verification
(1)formalmethods
(1)general graphs
(1)generalgraphs
(1)graph theory
(1)information retrieval
(1)informationretrieval
(1)informations
(1)informationstec
(1)informationstechnologie
(1)it
(1)learning and abduction
(1)learningandabduction
(1)ltl
(1)machine learning
(1)machinelearning
(1)malware analysis
(1)markov chains
(1)markov models
(1)markovchains
(1)markovmodels
(1)mathematische statistik
(1)minimization
(1)mobile ag
(1)modal logic
(1)model checking
(1)model-based design
(1)modelchecking
(1)models of computation
(1)modelsofcomputation
(1)modularity
(1)networking (edv)
(1)netz
(1)netz (edv)
(1)object technology
(1)operating systems
(1)parallel
(1)Ergebnis: 6 Artikel
Autor: baier, christel
