Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
kevin lano
(2)agnes kaposi
(1)bicarregui, juan c.
(1)bowen, jonathan p.
(1)brian ritchie
(1)cornelis a. middelburg
(1)dang van, hung
(1)derek j. andrews
(1)frappier, marc
(1)george, chris
(1)goldsack, stephen j.
(1)habrias, henri
(1)hans b.m. jonkers
(1)hinchey, michael g.
(1)janowski, tomasz
(1)john fitzgerald
(1)jonathan p. bowen
(1)juan c. bicarregui
(1)kent, stuart j.h.
(1)loe m.g. feijs
(1)margaret myers
(1)michael g. hinchey
(1)moore, richard
(1)morgan, carroll
(1)palanque, philippe
(1)paternò, fabio
(1)peter a. lindsay
(1)richard moore
(1)sekerinski, emil
(1)sere, kaisa
(1)vickers, trevor
(1)Schlagwort
edv
(14)informatik
(14)software engineering
(12)development
(9)formal methods
(9)formal specification
(9)formalspecification
(9)mathematical logic and formal languages
(9)formalmethods
(8)language
(8)mathematical logic and foundations
(8)software
(8)design
(7)theoretische informatik
(6)semantics
(5)softwareengineering
(5)algorithms
(4)data structures
(4)datastructures
(4)logic
(4)programming
(4)software development
(4)softwaredevelopment
(4)concurrency
(3)formal method
(3)formalmethod
(3)modeling
(3)programming languages, compilers, interpreters
(3)software-entw.
(3)softwareentwicklung
(3)theorie
(3)verification
(3)clean
(2)distributed systems
(2)petri net
(2)petrinet
(2)programming language
(2)programming techniques
(2)programminglanguage
(2)simulation
(2)system
(2)system development
(2)systemdevelopment
(2)algorithm
(1)analysis
(1)artificial intelligence
(1)business and management
(1)c programming language
(1)c++ programming language
(1)c++programminglanguage
(1)calculus
(1)code generation
(1)codegeneration
(1)communication
(1)compiler
(1)computer science
(1)computer science logic and foundations of programming
(1)computer science, general
(1)computer-aided design (cad)
(1)computer-aideddesign(cad)
(1)computerprogramm
(1)container
(1)coq
(1)cprogrammingmathematica
(1)data structure
(1)datastructure
(1)distributed formalmethods
(1)distributedsystems
(1)distribution
(1)e-c
(1)eiffel
(1)electrical and electronic engineering
(1)electrical engineering
(1)erfüllbarkeitsproblem der aussagenlogik
(1)erfüllbarkeitsproblemderaussagenlogik
(1)formal lang
(1)formal languages and autom
(1)formal languages and automata theory
(1)formal verification
(1)formale s
(1)formalverification
(1)gineering
(1)human-computer interaction (hci)
(1)human-computerinteraction(hci)
(1)information system
(1)informationsarchitektur
(1)informationsystem
(1)inheritance
(1)innovation/technology management
(1)interactive system
(1)interactivesystem
(1)isabelle
(1)it operations
(1)language of temporal ordering specification
(1)languageoftemporalorderingspecification
(1)load balancing
(1)loadbalancing
(1)logics and meanings of programs
(1)management of computing and information systems
(1)mathemat
(1)Ergebnis: 15 Artikel
Serie: formal approaches to computing and information technology (facit)
