Serie
lecture notes in computer science
(701)theoretical computer science and general issues
(157)programming and software engineering
(137)lecture notes in artificial intelligence
(70)the springer international series in engineering and computer science
(52)ifip advances in information and communication technology
(41)information systems and applications, incl. internet/web, and hci
(19)security and cryptology
(17)studies in computational intelligence
(16)monographs in computer science
(14)nato asi subseries f:
(14)ifip advances in information a
(10)monographs in theoretical computer science. an eatcs series
(10)communications in computer and information science
(9)texts in computer science
(9)texts in theoretical computer science. an eatcs series
(9)lecture notes in electrical engineering
(8)the springer international eng
(8)lecture notes in control and information sciences
(7)studies in cognitive systems
(7)workshops in computing
(7)applied logic series
(6)applied optimization
(6)omn.univ.europ.
(6)progress in theoretical computer science
(6)solid mechanics and its applications
(6)studies in fuzziness and soft computing
(6)informatik-fachberichte
(5)texts in computational science and engineering
(5)advances in information security
(4)advances in intelligent and soft computing
(4)cism international centre for mechanical sciences
(4)foundations of engineering mechanics
(4)frontiers in electronic testing
(4)handbook of defeasible reasoning and uncertainty management systems
(4)information security and cryptography
(4)lecture notes in bioinformatics
(4)lecture notes in electrical en
(4)nato science series ii mathematics, physics and chemistry
(4)nato science series ii: mathematics, physics and chemistry
(4)operations research/computer science interfaces series
(4)springer proceedings in physics
(4)springer professional computing
(4)springer tracts in advanced robotics
(4)formal approaches to computing and information technology (facit)
(3)image processing, computer vision, pattern recognition, and graphics
(3)integrated circuits and systems
(3)omn.pres.franc.
(3)research reports esprit
(3)simulation foundations, methods and applications
(3)systems & control: foundations & applications
(3)Sprache
englisch
(1.415)französisch
(16)deutsch
(5)russisch
(2)italienisch
(1)portugiesisch
(1)spanisch
(1)Warengruppe
informatik/edv
(1.072)technik
(214)mathematik
(69)medienwissenschaften
(10)philosophie
(10)physik/astronomie
(9)biologie
(7)wirtschaft
(7)medizin/pharmazie
(6)erziehung/bildung/unterricht
(5)Detailwarengruppe
informatik
(862)wärmetechnik/energietechnik/kraftwerktechnik
(139)anwendungs-software
(85)programmiersprachen
(60)internet/datenkommunikation/netzwerke
(46)populäre darstellungen
(30)maschinenbau/fertigungstechnik
(26)analysis
(12)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
broy, manfred
(13)rozenberg, grzegorz
(12)rolf drechsler
(10)voronkov, andrei
(9)steffen, bernhard
(8)roever, willem-paul de
(7)graf, susanne
(6)huisman, marieke
(6)margaria, tiziana
(6)potapov, igor
(6)rammig, franz j.
(6)baresi, luciano
(5)barthe, gilles
(5)hans petter langtangen
(5)henzinger, thomas a.
(5)janick bergeron
(5)jones, cliff b.
(5)leeuwen, jan van
(5)liu, shaoying
(5)liu, zhiming
(5)manhal ahmad saleh al-hussein
(5)meyer, john-jules ch.
(5)palamidessi, catuscia
(5)peled, doron a.
(5)raid rafi omar al-nima
(5)rettberg, achim
(5)romanovsky, alexander
(5)svein linge
(5)wai lok woo
(5)a.p.s. selvadurai
(4)adam c. krolnik
(4)andré platzer
(4)araki, keijiro
(4)badica, costin
(4)bakker, jacobus w. de
(4)bernhard freudenthaler
(4)bonsangue, marcello m.
(4)bowen, jonathan p.
(4)butler, michael
(4)börger, egon
(4)christa illibauer
(4)christine natschläger
(4)delgado kloos, carlos
(4)du, ding-zhu
(4)duan, zhenhua
(4)eduard cerny
(4)elishakoff, isaac
(4)felix kossak
(4)harry d. foster
(4)hein haak
(4)jørgen staunstrup
(4)kittler, josef
(4)klaus-dieter schewe
(4)kordon, fabrice
(4)leue, stefan
(4)mike mintz
(4)najm, elie
(4)nerode, anil
(4)ola dahlman
(4)pala, karel
(4)robert ekendahl
(4)roli, fabio
(4)theodorich kopetzky
(4)thomas ziebermayr
(4)treur, jan
(4)verena geist
(4)wan fokkink
(4)woodcock, jim
(4)zohar manna
(4)alur, rajeev
(3)anderson, tom
(3)bernardo, marco
(3)bibel, wolfgang
(3)bouajjani, ahmed
(3)cavalcanti, ana
(3)chamberlain, roger
(3)coppo, mario
(3)degano, pierpaolo
(3)dillig, isil
(3)ehrig, hartmut
(3)esparza, javier
(3)giese, holger
(3)gries, david
(3)guttman, joshua d.
(3)hinchey, michael g.
(3)j.h. fetzer
(3)jain, anil k.
(3)kirchner, claude
(3)kleinjohann, bernd
(3)kleinjohann, lisa
(3)kopecek, ivan
(3)kropf, thomas
(3)kucera, antonin
(3)kurt jensen
(3)larsen, kim g.
(3)legay, axel
(3)leucker, martin
(3)majumdar, rupak
(3)malik, sharad
(3)merz, stephan
(3)Verlag / Hersteller
av akademikerverlag
(3)birkhäuser boston
(12)crc press
(5)elsevier science
(4)lap lambert academic publishing
(25)our knowledge publishing
(3)physica-verlag hd
(4)presses académiques francophones
(4)scholars' press
(3)springer berlin heidelberg
(761)springer international publishing
(110)springer japan
(5)springer london
(59)springer nature switzerland
(3)springer netherlands
(75)springer new york
(51)springer us
(228)springer vienna
(9)springer, berlin springer international publishing springer
(8)springer, berlin springer nature switzerland etaps society springer
(2)springer, berlin springer nature switzerland springer
(5)südwestdeutscher verlag für hochschulschriften
(2)taylor & francis
(16)vdm verlag dr. müller
(13)Éditions universitaires européennes
(9)Verlag
apress
(2)av akademikerverlag
(3)birkhäuser boston
(12)crc press
(5)elsevier science
(4)etaps society
(2)lap lambert academic publishing
(25)our knowledge publishing
(3)physica-verlag hd
(4)presses académiques francophones
(4)scholars' press
(3)springer
(16)springer berlin heidelberg
(761)springer international publishing
(118)springer japan
(5)springer london
(59)springer nature switzerland
(10)springer netherlands
(75)springer new york
(51)springer us
(228)springer vienna
(9)springer, berlin
(17)südwestdeutscher verlag für hochschulschriften
(2)taylor & francis
(16)vdm verlag dr. müller
(13)Éditions universitaires européennes
(9)Genre
mathematik
(936)medizin
(936)naturwissenschaften
(936)technik
(936)importe
(8)geisteswissenschaften
(7)kunst
(7)musik
(7)recht
(6)sozialwissenschaften
(6)wirtschaft
(6)Schlagwort
verification
(1.436)informatik
(1.049)edv
(1.033)software engineering
(552)algorithms
(380)theorie
(369)modeling
(359)programming
(349)theory of computation
(347)artificial intelligence
(318)logic
(306)software-entw.
(274)logics and meanings of programs
(252)software engineering/programming and operating systems
(250)model checking
(242)semantics
(225)formal methods
(217)mathematik
(209)technik
(203)design
(196)complexity
(195)simulation
(193)künstliche intelligenz
(185)modelchecking
(173)automata
(167)computer
(163)programming languages, compilers, interpreters
(162)allgemeines
(160)mathematical logic and formal languages
(160)formalmethods
(159)optimization
(153)formal verification
(150)programmiersprachen
(148)programming techniques
(147)intelligenz
(139)computer science
(138)elektrotechnik
(137)elektronik
(134)ki
(133)programming language
(133)algorithm
(131)künstliche intelligenz - ai
(131)nachrichtentechnik
(130)distributed systems
(125)formal method
(121)mathematical logic and foundations
(117)circuits and systems
(110)hardware
(108)computer communication networks
(107)software
(101)calculus
(100)compiler
(100)programminglanguage
(99)softwareengineering
(99)computers
(98)distributedsystems
(97)automat
(96)schaltkreise und komponenten (bauteile)
(96)formalmethod
(95)informatik, computer
(94)validation
(94)formalverification
(93)electrical engineering
(92)model
(92)theorem proving
(92)development
(88)security
(87)algorithmus
(85)computer-aided engineering (cad, cae) and design
(83)formal specification
(81)operating system
(81)anwendungs-software
(78)testing
(78)general
(73)proving
(73)übersetzer (edv)
(73)artificialintelligence
(71)datenverarbeitung
(71)embedded systems
(71)betriebssystem (edv)
(69)communication
(69)computerprogrammierung und softwareentwicklung
(69)analysis
(68)computerscience
(67)real-time
(67)theoretische informatik
(65)electronic circuits and systems
(62)learning
(62)computation by abstract devices
(61)electrical and electronic engineering
(61)computer hardware
(60)formalspecification
(60)informationssystem
(60)theoremproving
(60)robot
(58)internet
(57)logik
(57)concurrency
(56)system
(56)classification
(55)Erscheinungsjahr
1971
(1)1974
(1)1975
(1)1976
(2)1977
(3)1979
(3)1980
(2)1981
(3)1982
(2)1983
(3)1984
(4)1985
(6)1986
(6)1987
(7)1988
(9)1989
(10)1990
(12)1991
(27)1992
(17)1993
(22)1994
(16)1995
(22)1996
(30)1997
(36)1998
(33)1999
(36)2000
(40)2001
(41)2002
(43)2003
(43)2004
(44)2005
(48)2006
(47)2007
(70)2008
(68)2009
(76)2010
(164)2011
(61)2012
(93)2013
(52)2014
(40)2015
(17)2016
(29)2017
(29)2018
(29)2019
(33)2020
(10)2021
(7)2022
(13)2023
(18)2024
(7)Ergebnis: 1.436 Artikel
Schlagwort: verification
