Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
albers, susanne
(1)alt, helmut
(1)bartocci, ezio
(1)cleaveland, rance
(1)creignou, nadia
(1)d'souza, deepak
(1)grosu, radu
(1)hierons, robert mark
(1)iida, shusaku
(1)kolaitis, phokion g.
(1)lal, akash
(1)larsen, kim gulstrand
(1)meseguer, josé
(1)mosbah, mohamed
(1)näher, stefan
(1)ogata, kazuhiro
(1)sokolsky, oleg
(1)vollmer, heribert
(1)Verlag / Hersteller
springer berlin heidelberg
(4)springer international publishing
(2)Schlagwort
computerprogrammierung und softwareentwickl
(6)edv
(6)informatik
(6)model checking
(4)modelchecking
(4)complexity
(3)semantics
(3)software engineering
(3)algorithms
(2)algorithmus
(2)artificial intelligence
(2)computational biology
(2)concurrency
(2)formal verification
(2)formalverification
(2)image processing
(2)imageprocessing
(2)logic
(2)softwareengineering
(2)theorie
(2)algebraic specifications
(1)algebraicspecifications
(1)algorithmics
(1)approximation
(1)artificialintelli
(1)artificialintelligence
(1)bisimulations
(1)boolean networks
(1)booleannetworks
(1)cafeobj
(1)classification
(1)combinatorial complexity theory
(1)combinatorial optimization
(1)combinatorialoptimization
(1)computational complexity
(1)computational geometry
(1)computational graph theory
(1)computational linguistics
(1)computationalbiology
(1)computationalgeometry
(1)computer architecture
(1)computerarchitecture
(1)concurrent systems
(1)concurrentsystems
(1)constraint processing
(1)constraint satisfactio
(1)datenverarbeitung
(1)datenverschlüsselung, kryptografie
(1)embedded software
(1)embeddedsoftware
(1)energy saving
(1)energysaving
(1)equational logic
(1)equationallogic
(1)estimation
(1)formal logic
(1)formal methods
(1)formallogic
(1)formalmethods
(1)geometric algorithms
(1)geometricalgorithms
(1)golomb rulers
(1)golombrulers
(1)grafik (edv)
(1)graph transformation
(1)graphtransformation
(1)hardware
(1)hybrid systems
(1)hybridsystems
(1)image reconstruction
(1)image segmentation
(1)imagereconstruction
(1)imagesegmentation
(1)intelligenz
(1)ki
(1)knowledge discovery
(1)knowledgediscovery
(1)kolmogorov-complexity
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logic and verification
(1)logicandverification
(1)mathematik
(1)maude
(1)netzwerk (elektronisch)
(1)neural networks
(1)neuralnetworks
(1)ob
(1)obj
(1)objec
(1)optimization
(1)ots
(1)parallelism
(1)privacy
(1)processors
(1)programmiersprachen
(1)real-time systems
(1)real-timesystems
(1)rewriting
(1)ringe
(1)Ergebnis: 6 Artikel
Schlagwort: computerprogrammierung und softwareentwickl
