Serie
lecture notes in computer science
(221)theoretical computer science and general issues
(70)programming and software engineering
(33)the springer international series in engineering and computer science
(21)workshops in computing
(15)monographs in theoretical computer science. an eatcs series
(8)advances in database systems
(6)monographs in computer science
(6)texts in computer science
(4)texts in theoretical computer science. an eatcs series
(4)formal approaches to computing and information technology (facit)
(3)information systems and applications, incl. internet/web, and hci
(3)the springer international eng
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
rozenberg, grzegorz
(14)ehrig, hartmut
(6)bestavros, azer
(4)roberto gorrieri
(4)sampaio, augusto
(4)sang hyuk son
(4)smolka, scott a.
(4)yannis manolopoulos
(4)yannis theodoridis
(4)yong wang
(4)cavalcanti, ana
(3)desel, jörg
(3)jones, cliff b.
(3)kobayashi, naoki
(3)martín-vide, carlos
(3)pasareanu, corina s.
(3)reisig, wolfgang
(3)roever, willem-paul de
(3)saake, gunter
(3)schewe, klaus-dieter
(3)swati gupta
(3)thalheim, bernhard
(3)thomas kyte
(3)truthe, bianca
(3)wegner, peter
(3)a.w. roscoe
(2)agha, gul
(2)alexander thomasian
(2)alexandros nanopoulos
(2)amir pnueli
(2)apostolos n. papadopoulos
(2)atkinson, malcolm p.
(2)atluri, vijay
(2)baier, christel
(2)bakker, jacobus w. de
(2)bertino, elisa
(2)best, eike
(2)birtwistle, graham
(2)bogdan aman
(2)bouajjani, ahmed
(2)browne, james c.
(2)buneman, peter
(2)börger, egon
(2)calinescu, radu
(2)chapman, barbara m.
(2)chaudhuri, swarat
(2)chomicki, jan
(2)ciardo, gianfranco
(2)cortadella, jordi
(2)cristian versari
(2)david harel
(2)de nicola, rocco
(2)dediu, adrian-horia
(2)demetrovics, janos
(2)eder, johann
(2)eike best
(2)engels, gregor
(2)eric badouel
(2)eric f. van de velde
(2)ernst-erich doberkat
(2)ezhilchelvan, paul
(2)falaschi, moreno
(2)farzan, azadeh
(2)fay-wolfe, victor
(2)fred b. schneider
(2)gabriel ciobanu
(2)haddad, serge
(2)hammond, kevin
(2)heckel, reiko
(2)ito, takayasu
(2)j. w. dally
(2)jain, ravi
(2)jajodia, sushil
(2)jayadev misra
(2)kerschberg, larry
(2)koob, gary m.
(2)koutny, maciej
(2)kreowski, hans-jörg
(2)kroening, daniel
(2)kunkel, julian m.
(2)kuo, tei-wei
(2)kühn, eva
(2)lam, kam-yiu
(2)larsen, kim g.
(2)levi, giorgio
(2)lin, kwei-jay
(2)liu, guanjun
(2)luca bernardinello
(2)ludwig, thomas
(2)maciej koutny
(2)martin henz
(2)meseguer, josé
(2)michael j. franklin
(2)michel raynal
(2)montanari, ugo
(2)morgan, carroll
(2)morrison, ronald
(2)mosbah, mohamed
(2)müller, matthias s.
(2)peter a. buhr
(2)Verlag / Hersteller
apress
(15)birkhäuser boston
(3)dpunkt.verlag gmbh
(2)elsevier science
(9)lap lambert academic publishing
(12)springer berlin heidelberg
(186)springer international publishing
(59)springer london
(29)springer new york
(13)springer us
(36)springer vienna
(2)springer, berlin apress
(4)springer, berlin springer international publishing springer
(8)springer, berlin springer nature singapore springer
(2)springer, berlin springer nature switzerland etaps society springer
(2)springer, berlin springer nature switzerland springer
(3)vdm verlag dr. müller
(2)Verlag
apress
(19)birkhäuser boston
(3)dpunkt.verlag gmbh
(2)elsevier science
(9)etaps society
(3)lap lambert academic publishing
(12)manning
(3)springer
(16)springer berlin heidelberg
(186)springer international publishing
(68)springer london
(29)springer nature singapore
(2)springer nature switzerland
(6)springer new york
(13)springer us
(36)springer vienna
(2)springer, berlin
(20)vdm verlag dr. müller
(2)Schlagwort
concurrency
(402)informatik
(351)edv
(342)software engineering
(142)theorie
(119)programming
(104)theory of computation
(89)logic
(87)programmiersprachen
(84)software-entw.
(77)algorithms
(76)semantics
(75)database
(71)logics and meanings of programs
(68)formal methods
(60)programming languages, compilers, interpreters
(57)verification
(56)programming techniques
(55)distributed systems
(53)mathematik
(53)data structures and information theory
(49)formalmethods
(48)model checking
(48)programming language
(48)allgemeines
(47)modeling
(43)software engineering/programming and operating systems
(43)computerprogrammierung und softwareentwicklung
(41)algorithmen und datenstrukturen
(38)mathematical logic and formal languages
(38)computation by abstract devices
(37)distributedsystems
(36)complexity
(35)computer science
(35)modelchecking
(35)performance
(35)programminglanguage
(34)algorithmus
(33)mathematical logic and foundations
(32)artificial intelligence
(30)automata
(30)compiler
(30)computers
(30)database management
(29)petri nets
(29)computer
(28)computer communication networks
(28)databases
(28)operating system
(28)design
(27)distributed computing
(27)petri net
(27)algorithm
(26)betriebssystem (edv)
(25)computer system implementation
(25)systemanalyse und -design
(25)datenverarbeitung
(24)informatik, computer
(24)künstliche intelligenz
(24)netzwerk (elektronisch)
(24)development
(23)language
(23)parallelism
(23)theoretische informatik
(23)übersetzer (edv)
(23)optimization
(22)petrinets
(22)scheduling
(22)communication
(21)distributedcomputing
(21)formal verification
(21)processor architectures
(21)programmier- und skriptsprachen, allgemein
(21)softwareengineering
(21)data structures
(20)general
(20)information storage and retrieval
(20)information
(19)intelligenz
(19)ki
(19)künstliche intelligenz - ai
(19)petrinet
(19)process algebra
(19)software
(19)computerscience
(18)functional programming
(18)operating systems
(18)processing
(18)programming languages
(18)formal specification
(17)parallel computing
(17)simulation
(17)bisimulation
(16)programmieren (edv)
(16)architectures
(15)concurrent programming
(15)datastructures
(15)java
(15)automata theory
(14)concurrent systems
(14)Erscheinungsjahr
1900
(1)1977
(1)1979
(1)1980
(1)1981
(1)1982
(3)1983
(1)1984
(1)1985
(2)1986
(1)1987
(4)1988
(4)1989
(6)1990
(5)1991
(16)1992
(9)1993
(14)1994
(13)1995
(11)1996
(11)1997
(10)1998
(9)1999
(6)2000
(6)2001
(6)2002
(6)2003
(4)2004
(9)2005
(5)2006
(5)2007
(4)2008
(10)2009
(9)2010
(22)2011
(20)2012
(25)2013
(4)2014
(19)2015
(30)2016
(16)2017
(10)2018
(9)2019
(13)2020
(4)2021
(4)2022
(6)2023
(11)2024
(11)2025
(1)2027
(1)Ergebnis: 402 Artikel
Schlagwort: concurrency
