Serie
lecture notes in computer science
(44)theoretical computer science and general issues
(20)programming and software engineering
(12)lecture notes in artificial intelligence
(9)logic in asia: studia logica library
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
legay, axel
(3)annabelle mciver
(2)arstila, valtteri
(2)charles carroll morgan
(2)clarke, edmund m.
(2)dan c. marinescu
(2)governatori, guido
(2)henzinger, thomas a.
(2)kroening, daniel
(2)laszlo ury
(2)margaria, tiziana
(2)mölder, bruno
(2)pasareanu, corina s.
(2)santoianni, flavia
(2)tamas gergely
(2)veith, helmut
(2)Øhrstrøm, peter
(2)abdulla, parosh aziz
(1)aceto, luca
(1)agotnes, thomas
(1)albers, susanne
(1)andré, Étienne
(1)aoki, toshiaki
(1)bacci, giorgio
(1)bacci, giovanni
(1)barceló, pablo
(1)bartocci, ezio
(1)birkedal, lars
(1)bloem, roderick
(1)boella, guido
(1)bravetti, mario
(1)butterfield, andrew
(1)carl mooney
(1)cavalcanti, ana
(1)chatterjee, krishnendu
(1)chen, yu-fang
(1)cheng, chih-hong
(1)cleaveland, rance
(1)de moura, leonardo
(1)de vink, erik
(1)demri, stéphane
(1)dillig, isil
(1)dix, jürgen
(1)dr. nadeem mahmood
(1)dr. s. m. aqil burney
(1)dvorák, zdenek
(1)esparza, javier
(1)fisher, michael
(1)francois siewe
(1)gabbay, dov m.
(1)gao, yuan
(1)gent, ian p.
(1)gheyi, rohit
(1)giesl, jürgen
(1)grosu, radu
(1)hans juergen gamauf
(1)havelund, klaus
(1)he, xiangdong
(1)hierons, robert
(1)hillel wayne
(1)hlinený, petr
(1)hofman, piotrek
(1)horty, john
(1)hähnle, reiner
(1)ingólfsdóttir, anna
(1)iyoda, juliano
(1)jameleddine hassine
(1)jamroga, wojtek
(1)jansen, david n.
(1)jarmuzek, tomasz
(1)jaros, jirí
(1)jose aguilar
(1)kapur, deepak
(1)kofron, jan
(1)korenek, jan
(1)kuncak, viktor
(1)lahiri, shuvendu
(1)lahiri, shuvendu k.
(1)leino, k.rustan m.
(1)leite, joao
(1)leite, joão
(1)liao, beishui
(1)liu, fenrong
(1)lodaya, kamal
(1)lu, hanlin
(1)lucanu, dorel
(1)majumdar, rupak
(1)marchetti-spaccamela, alberto
(1)mardare, radu
(1)matias, yossi
(1)matula, petr
(1)merayo, mercedes g.
(1)mordechai ben-ari
(1)naumann, david
(1)nikoletseas, sotiris
(1)ohlbach, hans j.
(1)ono, hiroakira
(1)pacuit, eric
(1)pala, karel
(1)peleska, jan
(1)Verlag / Hersteller
crc press
(3)lap lambert academic publishing
(4)springer berlin heidelberg
(28)springer international publishing
(23)springer new york
(2)springer singapore
(3)vdm verlag dr. müller
(2)Verlag
crc press
(3)lap lambert academic publishing
(4)springer berlin heidelberg
(28)springer international publishing
(23)springer new york
(2)springer singapore
(3)vdm verlag dr. müller
(2)Genre
mathematik
(51)medizin
(51)naturwissenschaften
(51)technik
(51)geisteswissenschaften
(5)kunst
(5)musik
(5)Schlagwort
temporal logic
(72)informatik
(56)edv
(55)software engineering
(38)temporallogic
(35)model checking
(26)artificial intelligence
(24)theorie
(24)logic
(20)mathematik
(20)software-entw.
(19)informatik, computer
(17)mathematical logic and formal languages
(16)programmiersprachen
(15)modelchecking
(14)semantics
(14)verification
(14)artificialintelligence
(13)intelligenz
(13)ki
(13)künstliche intelligenz
(13)compiler
(12)künstliche intelligenz - ai
(12)logics and meanings of programs
(12)übersetzer (edv)
(12)formal methods
(11)philosophie
(11)programming
(11)programming techniques
(11)softwareengineering
(11)formal logic
(10)logik
(10)programming languages, compilers, interpreters
(10)roboter - robotik - industrieroboter
(9)allgemeines
(8)automata theory
(8)mathematical logic and foundations
(8)specifications
(8)theory of computation
(8)modal logic
(7)modallogic
(7)satisfiability
(7)software engineering/programming and operating systems
(7)algorithm analysis and problem complexity
(6)betriebssystem (edv)
(6)computer
(6)computer communication networks
(6)distributed systems
(6)operating system
(6)theoretische informatik
(6)algorithms
(5)complexity
(5)computer software selection and evaluation
(5)formallogic
(5)formalmethods
(5)programming languages
(5)software evaluation
(5)sonstiges
(5)algorithmanalysisandproblemcomplexity
(4)algorithmus
(4)automata
(4)computerprogrammierung und softwareentwicklung
(4)computers
(4)computersoftwareselectionandevaluation
(4)concurrency
(4)epistemic logic
(4)formal specification
(4)formal verification
(4)lexika
(4)program analysis
(4)program verification
(4)schnittstelle (edv)
(4)timed automata
(4)algorithmen und datenstrukturen
(3)automatatheory
(3)computational complexity
(3)computer science
(3)distributedsystems
(3)first-order logic
(3)formal languages
(3)formal method
(3)general
(3)logic programming
(3)mathematical logic
(3)neural networks
(3)probability
(3)programanalysis
(3)programmieren (edv)
(3)programming language
(3)programminglanguage
(3)programminglanguages
(3)robots
(3)sat solving
(3)software testing
(3)softwareevaluation
(3)softwaretesting
(3)synthesis
(3)temporale logik
(3)verteilte systeme
(3)ab
(2)Erscheinungsjahr
1991
(1)1992
(1)1994
(1)1999
(1)2002
(1)2004
(1)2006
(1)2009
(5)2010
(7)2011
(5)2012
(6)2013
(5)2014
(2)2015
(5)2016
(2)2017
(8)2018
(6)2019
(8)2020
(4)2021
(1)2023
(1)Ergebnis: 72 Artikel
Schlagwort: temporal logic
