Serie
lecture notes in computer science
(61)programming and software engineering
(29)theoretical computer science and general issues
(27)communications in computer and information science
(6)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
duan, zhenhua
(3)liu, shaoying
(3)nagoya, fumiko
(3)tian, cong
(3)a. ruth tompsett
(2)ahrendt, wolfgang
(2)akira tanaka
(2)antonio vallecillo
(2)austin, todd
(2)beyer, dirk
(2)bombieri, nicola
(2)fujita, masahiro
(2)kuncak, viktor
(2)legay, axel
(2)majumdar, rupak
(2)peter f. linington
(2)pravadelli, graziano
(2)reis, ricardo
(2)romanovsky, alexander
(2)vojnar, tomás
(2)zhang, lijun
(2)zoran milosevic
(2)Ölveczky, peter csaba
(2)a. udaya shankar
(1)abate, alessandro
(1)abdelmalek chelihi
(1)abdelwahed, el hassan
(1)aceto, luca
(1)altmann, jörn
(1)amjad khabaz
(1)andrews, john
(1)andré, Étienne
(1)arbab, farhad
(1)ardagna, claudio agostino
(1)artho, cyrille
(1)aslansefat, koorosh
(1)attiogbé, christian
(1)bacci, giorgio
(1)bacci, giovanni
(1)bae, kyungmin
(1)bañares, josé Ángel
(1)bellatreche, ladjel
(1)benslimane, djamal
(1)biondi, fabrizio
(1)bitsch, friedemann
(1)bonsangue, marcello
(1)boreale, michele
(1)bozzano, marco
(1)butler, michael
(1)calvanese, diego
(1)chen, yu-fang
(1)cheng, chih-hong
(1)christakis, maria
(1)collart-dutilleul, simon
(1)corradini, flavio
(1)cranefield, stephen
(1)damiani, ernesto
(1)de boer, frank
(1)de supinski, bronis r.
(1)de vink, erik
(1)debruyne, christophe
(1)derler, patricia
(1)dillig, isil
(1)dongol, brijesh
(1)duggirala, parasara sridhar
(1)esparza, javier
(1)ferrarotti, flavio
(1)fodor, paul
(1)fonseca i casas, pau
(1)furia, carlo a.
(1)gaaloul, walid
(1)gallardo, maría del mar
(1)gashi, ilir
(1)geeraerts, gilles
(1)giorgini, paolo
(1)given-wilson, thomas
(1)golfarelli, matteo
(1)graf, susanne
(1)gruner, stefan
(1)guizzardi, giancarlo
(1)havelund, klaus
(1)hierons, robert
(1)hoang, thai son
(1)hojjat, hossein
(1)huisman, marieke
(1)ingólfsdóttir, anna
(1)jansen, david n.
(1)jean, stéphane
(1)john hatzopoulos
(1)johnsen, einar broch
(1)jongmans, sung-shik
(1)katsaros, panagiotis
(1)keller, chantal
(1)kroeze, jan
(1)labarta, jesus
(1)lahiri, shuvendu k.
(1)lambers, leen
(1)larsen, kim g.
(1)larsen, kim guldstrand
(1)lecomte, thierry
(1)Verlag / Hersteller
crc press
(4)our knowledge publishing
(2)scholars' press
(2)springer international publishing
(67)taylor & francis
(2)Verlag
crc press
(4)our knowledge publishing
(2)scholars' press
(2)springer international publishing
(67)taylor & francis
(2)Schlagwort
specifications
(81)informatik
(69)edv
(68)software engineering
(68)semantics
(51)artificial intelligence
(46)softwareengineering
(39)formal logic
(37)artificialintelligence
(34)model checking
(34)theorie
(32)programming languages
(31)formal methods
(28)formallogic
(26)software-entw.
(26)verification
(26)software evaluation
(25)modelchecking
(23)softwareevaluation
(21)formalmethods
(19)programminglanguages
(19)compiler
(18)Übersetzer (edv)
(18)mathematik
(17)informatik, computer
(16)allgemeines
(14)programmiersprachen
(13)programming languages, compilers, interpreters
(13)computer architecture
(12)data security
(12)intelligenz
(12)problem solving
(12)programmieren
(12)informationstechnologie
(11)it
(11)künstliche intelligenz
(11)technologie
(11)theorem proving
(11)theoremproving
(11)datasecurity
(10)ki
(10)program compilers
(10)computer software selection and evaluation
(9)computerprogrammierung und softwareentwicklung
(9)künstliche intelligenz - ai
(9)logics and meanings of programs
(8)problemsolving
(8)temporal logic
(8)algorithmanalysisandproblemcomplexity
(7)algorithmus
(7)betriebssystem (edv)
(7)computerarchitecture
(7)operating system
(7)roboter - robotik - industrieroboter
(7)computer
(5)embedded systems
(5)formal specification
(5)mathematical logic and formal languages
(5)robots
(5)temporallogic
(5)world wide web
(5)algorithm analysis and problem complexity
(4)cloud computing
(4)computer programming
(4)computersoftwareselectionandevaluation
(4)data mining
(4)distributed computer systems
(4)distributedcomputersystems
(4)graph theory
(4)graphtheory
(4)hardware
(4)internet
(4)pc-hardware
(4)programcompilers
(4)s
(4)timed automata
(4)worldwideweb
(4)3d-druck
(3)algorithmen und datenstrukturen
(3)authentication
(3)business process
(3)computerprogramming
(3)control
(3)cryptography
(3)cyber physical systems (cpss)
(3)education
(3)embeddedsystems
(3)event-b
(3)field programmable gate array (fpga)
(3)formal verifications
(3)functional programming
(3)learning algorithms
(3)logic gates
(3)logic programming
(3)logicprogramming
(3)model
(3)model checker
(3)probability
(3)processors
(3)programming language
(3)Erscheinungsjahr
1998
(1)2005
(1)2011
(1)2014
(2)2016
(1)2017
(13)2018
(24)2019
(30)2020
(5)2021
(1)2023
(2)Ergebnis: 81 Artikel
Schlagwort: specifications
