Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bartenstein, oskar
(1)bernhard scholz
(1)bert, didier
(1)beyer, dirk
(1)cap, clemens h.
(1)chechik, marsha
(1)choppy, christine
(1)clarke, e.
(1)cook, byron
(1)duncan reed
(1)dwyer, matthew
(1)gehrke, wilhelm
(1)geske, ulrich
(1)gnesi, stefania
(1)havelund, klaus
(1)ito, takayasu
(1)jackson, paul
(1)jayaraman, bharat
(1)jon westfall
(1)keller, chantal
(1)knapp, alexander
(1)kozen, d.
(1)leroy, xavier
(1)marius iulian mihailescu
(1)meyer, albert r.
(1)mosses, peter
(1)ohori, atsushi
(1)penix, john
(1)peter thomas
(1)seipel, dietmar
(1)stefania loredana nita
(1)takata, osamu
(1)ter beek, maurice h.
(1)thomas fahringer
(1)thomas mailund
(1)touili, tayssir
(1)umeda, masanobu
(1)visser, willem
(1)wirsing, martin
(1)wolf, armin
(1)yi, kwangkeun
(1)Verlag / Hersteller
apress
(3)springer berlin heidelberg
(13)springer international publishing
(2)springer london
(2)Verlag
apress
(3)springer berlin heidelberg
(13)springer international publishing
(2)springer london
(2)Schlagwort
edv
(20)informatik
(20)programming languages, compilers, interpreters
(9)software engineering
(9)theorie
(8)programmiersprachen
(7)software-entw.
(7)formal methods
(6)programming
(6)software engineering/programming and operating systems
(6)formalmethods
(5)logic
(5)programming language
(5)algorithms
(4)compiler
(4)java
(4)model checking
(4)programming techniques
(4)semantics
(4)theory of computation
(4)code
(3)logics and meanings of programs
(3)modelchecking
(3)program analysis
(3)programanalysis
(3)programming languages
(3)programminglanguage
(3)software
(3)source
(3)verification
(3)übersetzer (edv)
(3)allgemeines
(2)angewandte informatik
(2)computerprogrammierung und softwareentwicklung
(2)concurrent systems
(2)concurrentsystems
(2)cryptology
(2)data science
(2)distributed systems
(2)distributedsystems
(2)finite state systems
(2)finitestatesystems
(2)formal specification
(2)formal verification
(2)formalspecification
(2)fortran
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)logic programming
(2)ml
(2)operating systems
(2)patterns
(2)professional computing
(2)programmier- und skriptsprachen, allgemein
(2)programmieren
(2)programminglanguages
(2)security
(2)software verification
(2)softwareengineering
(2)testing
(2)typentheorie
(2)abstract data types
(1)abstract interpretation
(1)abstractdatatypes
(1)abstractinterpretation
(1)achtundneunzig ninety-eight
(1)ai logics
(1)ailogics
(1)algebraic program development
(1)algebraic systems specification
(1)algebraicprogramdevelopment
(1)algebraicsystemsspecification
(1)algol
(1)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)algorithmen
(1)algorithmus
(1)analysis
(1)application
(1)applications
(1)applied
(1)applied crytography
(1)appliedcrytography
(1)artificial intelligence
(1)artificial neural network
(1)artificialintelligence
(1)assembler
(1)assembly language
(1)assemblylanguage
(1)attribut
(1)audio
(1)automata
(1)automata theory
(1)automatatheory
(1)automated reasoning
(1)automatentheorie
(1)betriebssystem (edv)
(1)big data security
(1)Erscheinungsjahr
1984
(1)1991
(1)1995
(1)1997
(1)1998
(2)2000
(2)2001
(1)2003
(1)2004
(1)2005
(1)2006
(1)2009
(1)2010
(1)2016
(1)2019
(1)2020
(2)2021
(1)Ergebnis: 20 Artikel
Thema: programming langua
