Serie
lecture notes in computer science
(507)programming and software engineering
(153)theoretical computer science and general issues
(124)communications in computer and information science
(25)lecture notes in artificial intelligence
(25)security and cryptology
(23)workshops in computing
(16)information systems and applications, incl. internet/web, and hci
(13)the springer international series in engineering and computer science
(9)formal approaches to computing and information technology (facit)
(8)lecture notes in bioinformatics
(6)monographs in theoretical computer science. an eatcs series
(6)transactions on petri nets and other models of concurrency
(5)information security and cryptography
(4)texts in computer science
(4)ifip advances in information and communication technology
(3)lecture notes in networks and systems
(3)studies in computational intelligence
(3)texts in theoretical computer science. an eatcs series
(3)undergraduate topics in computer science
(3)Detailwarengruppe
informatik
(589)wärmetechnik/energietechnik/kraftwerktechnik
(31)anwendungs-software
(26)programmiersprachen
(21)internet/datenkommunikation/netzwerke
(13)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bowen, jonathan p.
(12)ölveczky, peter csaba
(9)graf, susanne
(7)liu, zhiming
(7)bernardo, marco
(6)steffen, bernhard
(6)artho, cyrille
(5)katoen, joost-pieter
(5)koutny, maciej
(5)romanovsky, alexander
(5)ter beek, maurice h.
(5)amine, abdelmalek
(4)beckert, bernhard
(4)bellatreche, ladjel
(4)hinchey, michael g.
(4)hähnle, reiner
(4)john derrick
(4)jones, cliff b.
(4)lanese, ivan
(4)legay, axel
(4)margaria, tiziana
(4)mayr, heinrich c.
(4)möller, bernhard
(4)nikitchenko, mykola
(4)rozenberg, grzegorz
(4)spivakovsky, aleksander
(4)strohmeier, alfred
(4)vardanega, tullio
(4)wirsing, martin
(4)zhang, zili
(4)zholtkevych, grygoriy
(4)ahrendt, wolfgang
(3)anderson, tom
(3)baldoni, matteo
(3)bert, didier
(3)bonsangue, marcello m.
(3)bosnacki, dragan
(3)bouchon-meunier, bernadette
(3)cassez, franck
(3)cavalcanti, ana
(3)cerone, antonio
(3)damiani, ferruccio
(3)denvir, tim
(3)dershowitz, nachum
(3)desel, jörg
(3)dines bjørner
(3)dongol, brijesh
(3)ermolayev, vadim
(3)gerard o'regan
(3)gorrieri, roberto
(3)hasan, osman
(3)havelund, klaus
(3)hermanns, holger
(3)huisman, marieke
(3)johnsen, einar broch
(3)katz, jonathan
(3)kleijn, jetty
(3)kordon, fabrice
(3)kroening, daniel
(3)larsen, kim g.
(3)laurent, anne
(3)lecomte, thierry
(3)liu, shaoying
(3)maciaszek, leszek a.
(3)müller-olm, markus
(3)nicholls, j. e.
(3)nielsen, mogens
(3)nissam, ephraim
(3)nivat, maurice
(3)palanque, philippe
(3)redmill, felix
(3)robshaw, matthew
(3)rolf drechsler
(3)ryan, mark
(3)schewe, klaus-dieter
(3)strauss, olivier
(3)woodcock, james c. p.
(3)yager, ronald r.
(3)yakovlev, alex
(3)aagaard, mark d.
(2)aceto, luca
(2)ait ameur, yamine
(2)alagar, v. s.
(2)alberto l. sangiovanni-vincentelli
(2)aldini, alessandro
(2)andré platzer
(2)askoxylakis, ioannis
(2)backhouse, roland
(2)bartocci, ezio
(2)benedikt bollig
(2)bernecky, robert
(2)bernhard freudenthaler
(2)beyer, dirk
(2)bhattacharya, sourav
(2)bjørner, dines
(2)boer, frank s. de
(2)boyan yordanov
(2)braga, christiano
(2)brinksma, ed
(2)bruce w. watson
(2)Verlag / Hersteller
springer berlin heidelberg
(338)springer international publishing
(258)springer london
(41)springer netherlands
(5)springer new york
(7)springer us
(26)springer, berlin springer international publishing cav inc. springer
(2)springer, berlin springer international publishing springer
(28)Verlag
cav inc.
(2)springer
(31)springer berlin heidelberg
(338)springer international publishing
(289)springer london
(41)springer netherlands
(5)springer new york
(7)springer us
(26)springer, berlin
(31)Schlagwort
formalmethods
(710)formal methods
(698)edv
(661)informatik
(659)software engineering
(367)theorie
(228)model checking
(206)modelchecking
(189)software-entw.
(187)verification
(159)modeling
(143)logic
(127)softwareengineering
(125)artificial intelligence
(124)theory of computation
(115)formal verification
(114)logics and meanings of programs
(106)semantics
(97)embedded systems
(94)embeddedsystems
(94)formalverification
(94)formal method
(93)artificialintelligence
(87)formal specification
(85)algorithms
(84)formalmethod
(83)formalspecification
(82)programming
(82)software engineering/programming and operating systems
(79)design
(77)mathematical logic and formal languages
(77)allgemeines
(70)formallogic
(70)distributedsystems
(68)distributed systems
(66)software
(66)automata
(61)formal logic
(61)programmiersprachen
(60)programming languages, compilers, interpreters
(57)program analysis
(56)programming techniques
(51)concurrency
(48)künstliche intelligenz
(47)simulation
(47)mathematical logic and foundations
(45)technik
(45)unified modeling language (uml)
(45)development
(43)programanalysis
(43)complexity
(42)theoretische informatik
(42)computer science
(40)programming languages
(40)computerprogramming
(38)java
(38)programminglanguages
(38)computer programming
(37)elektronik
(37)formallanguages
(37)mathematik
(37)unifiedmodelinglanguage(uml)
(37)intelligenz
(36)ki
(36)künstliche intelligenz - ai
(36)software development
(36)theorem proving
(36)petri nets
(34)automata theory
(33)formal languages
(33)real-time systems
(33)security
(33)automatatheory
(32)elektrotechnik
(32)nachrichtentechnik
(32)uml
(32)datenverarbeitung
(31)language
(31)petrinets
(31)real-time
(31)computer
(30)program semantics
(30)theoremproving
(29)calculus
(28)computerprogrammierung und softwareentwicklung
(28)programming language
(28)softwaredevelopment
(28)testing
(27)validation
(27)anwendungs-software
(26)optimization
(26)petri net
(26)software architecture
(26)software verification
(26)architecture verification and validation
(25)circuits and systems
(25)computation by abstract devices
(25)hardware
(25)programsemantics
(25)softwarearchitecture
(25)Erscheinungsjahr
1990
(3)1991
(8)1992
(6)1993
(12)1994
(4)1995
(10)1996
(8)1997
(6)1998
(7)1999
(15)2000
(22)2001
(18)2002
(33)2003
(22)2004
(31)2005
(25)2006
(19)2007
(18)2008
(20)2009
(12)2010
(22)2011
(7)2012
(30)2013
(18)2014
(73)2015
(45)2016
(59)2017
(31)2018
(23)2019
(27)2020
(26)2021
(27)2022
(19)2023
(4)Ergebnis: 710 Artikel
Schlagwort: formalmethods
