Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
harel, david
(6)
broy, manfred
(2)condon, anne
(2)gruenbauer, johannes
(2)kok, joost n.
(2)nierstrasz, oscar
(1)salomaa, arto
(1)whittle, jon
(1)winfree, erik
(1)Schlagwort
edv
(5)informatik
(5)theory of computation
(4)programming techniques
(3)algorithm
(2)algorithmic bioprocesses
(2)algorithmic botany
(2)algorithmic self-assembly
(2)algorithmicbioprocesses
(2)algorithmicbotany
(2)algorithmicself-assembly
(2)algorithms
(2)biochemical reactions
(2)biochemicalreactions
(2)bioinformatics
(2)cell biology
(2)cellbiology
(2)design
(2)developmental processes
(2)developmentalprocesses
(2)formal method
(2)formal verification
(2)grammatical models
(2)grammaticalmodels
(2)information processing
(2)informationprocessing
(2)live sequence charts
(2)livesequencecharts
(2)model checking
(2)models and principles
(2)molecular computing
(2)nanoscience
(2)natu
(2)programming languages, compilers, interpreters
(2)semantics
(2)software architecture
(2)software engineering
(2)system development
(2)theorie
(2)verification
(2)algorithmen
(1)algorithmus
(1)allgemeines
(1)architecture
(1)cell
(1)computat
(1)computer science
(1)computerprogrammierung und softwareentwicklung
(1)computers
(1)computers - languages
(1)database management
(1)database management system
(1)eclipse
(1)eclipse modeling framework
(1)eclipsemodelingframework
(1)formal semantics
(1)formalmethod
(1)formalsemantics
(1)formalverification
(1)general
(1)generic programming
(1)genericprogramming
(1)java
(1)model transformation
(1)modelchecking
(1)modeltransformation
(1)molecularcomputing
(1)object technology
(1)objectte
(1)objektorientiert (edv)
(1)ocl
(1)programmiersprachen
(1)programming
(1)programming languages
(1)smalltalk
(1)so
(1)software development & engineering
(1)software-entw.
(1)softwarearchitecture
(1)softwareengineering
(1)syste
(1)systemdevelopment
(1)uml (edv)
(1)uml statecharts
(1)umlstatecharts
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)visualization
(1)xml
(1)xml - extensible markup language
(1)Ergebnis: 6 Artikel
Autor: harel, david
