Detailwarengruppe
informatik
(814)programmiersprachen
(77)internet/datenkommunikation/netzwerke
(48)anwendungs-software
(38)betriebssysteme/benutzeroberflächen
(19)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
romanovsky, alexander
(16)bernardo, marco
(13)bitsch, friedemann
(11)nambiar, raghunath
(11)poess, meikel
(11)liu, zhiming
(10)meyer, bertrand
(10)bonsangue, marcello m.
(9)roman, dumitru
(9)zhang, liang-jie
(9)dongarra, jack
(8)müller, matthias s.
(8)sirjani, marjan
(8)bellatreche, ladjel
(7)crnkovic, ivica
(7)palanque, philippe
(7)paschke, adrian
(7)schoitsch, erwin
(7)abrahamsson, pekka
(6)arbab, farhad
(6)ardagna, claudio agostino
(6)beckert, bernhard
(6)de supinski, bronis r.
(6)debruyne, christophe
(6)holzinger, andreas
(6)jedlitschka, andreas
(6)johnsen, einar broch
(6)kordon, fabrice
(6)lämmel, ralf
(6)meersman, robert
(6)ortmeier, frank
(6)panetto, hervé
(6)pfahl, dietmar
(6)troubitsyna, elena
(6)zavattaro, gianluigi
(6)benatallah, boualem
(5)bernhaupt, regina
(5)bowen, jonathan p.
(5)butler, michael
(5)calinescu, radu
(5)chapman, barbara m.
(5)de lemos, rogério
(5)fiems, dieter
(5)finkbeiner, bernd
(5)gacek, cristina
(5)giese, holger
(5)graf, susanne
(5)hähnle, reiner
(5)lemos, rogério de
(5)rensink, arend
(5)reussner, ralf
(5)saraiva, joão
(5)sokolsky, oleg
(5)ter beek, maurice h.
(5)vallecillo, antonio
(5)vardanega, tullio
(5)winckler, marco
(5)yu, qi
(5)zhang, zili
(5)ahrendt, wolfgang
(4)aßmann, uwe
(4)boer, frank s. de
(4)bruel, jean-michel
(4)cerone, antonio
(4)forbrig, peter
(4)franch, xavier
(4)gaaloul, walid
(4)giannakopoulou, dimitra
(4)gnesi, stefania
(4)gorentla venkata, manjunath
(4)gorton, ian
(4)governatori, guido
(4)guelfi, nicolas
(4)havelund, klaus
(4)imam, neena
(4)jacko, julie a.
(4)lanese, ivan
(4)lecomte, thierry
(4)mazzara, manuel
(4)münch, jürgen
(4)oivo, markku
(4)plasil, frantisek
(4)salaün, gwen
(4)schürr, andy
(4)sekerinski, emil
(4)skavhaug, amund
(4)stafford, judith a.
(4)supinski, bronis r. de
(4)visser, joost
(4)wang, qing
(4)wolff, burkhart
(4)woodcock, jim
(4)yang, laurence t.
(4)abran, alain
(3)agha, gul
(3)barbosa, luis soares
(3)bassiliades, nick
(3)begain, khalid al-
(3)bhiri, sami
(3)blass, andreas
(3)Verlag / Hersteller
springer berlin heidelberg
(588)springer international publishing
(393)springer, berlin springer international publishing springer
(36)Verlag
springer
(36)springer berlin heidelberg
(588)springer international publishing
(429)springer, berlin
(36)Genre
mathematik
(1.012)medizin
(1.012)naturwissenschaften
(1.012)technik
(1.012)recht
(2)sozialwissenschaften
(2)wirtschaft
(2)Schlagwort
edv
(1.015)informatik
(1.015)software engineering
(709)theorie
(539)software-entw.
(500)programmiersprachen
(254)model checking
(227)formal methods
(217)logics and meanings of programs
(199)programming languages, compilers, interpreters
(191)artificial intelligence
(184)theory of computation
(164)compiler
(159)modelchecking
(157)formalmethods
(153)übersetzer (edv)
(152)programming techniques
(151)modeling
(150)embedded systems
(146)verification
(137)computer communication networks
(132)distributed systems
(127)netzwerk (elektronisch)
(124)softwareengineering
(124)internet
(123)mathematik
(123)artificialintelligence
(115)semantics
(110)allgemeines
(106)operating system
(105)software engineering/programming and operating systems
(105)embeddedsystems
(104)betriebssystem (edv)
(103)distributedsystems
(92)informationssystem
(91)programming
(90)informatik, computer
(86)mathematical logic and formal languages
(85)datenverarbeitung
(82)intelligenz
(81)künstliche intelligenz
(79)cloud computing
(76)ki
(76)computer science
(75)programming languages
(75)design
(74)künstliche intelligenz - ai
(74)computer
(72)algorithms
(69)algorithmus
(66)computer programming
(66)computer systems
(66)formal verification
(66)computersystems
(63)logic
(63)computerprogramming
(62)computer networks
(61)formal logic
(58)formallogic
(58)management of computing and information systems
(58)pc-hardware
(58)information systems applications (incl. internet)
(55)java
(54)programmieren (edv)
(54)cloudcomputing
(53)software architecture
(53)computernetworks
(50)programminglanguages
(50)security
(50)suchmethoden, spezielle anwender
(50)roboter - robotik - industrieroboter
(49)simulation
(48)maschine
(47)aufrüsten, reparieren, selbstbau
(45)suchmaschine
(45)web services
(45)anwendungen
(44)middleware
(44)programmieren
(44)databases
(43)datenkommunikation
(43)netzwerke
(43)algorithm analysis and problem complexity
(42)formalverification
(42)mathematical logic and foundations
(42)data security
(41)requirements engineering
(41)computer hardware
(40)optimization
(40)programmier- und skriptsprachen, allgemein
(40)programming language
(40)unified modeling language (uml)
(40)formal specification
(39)formal method
(38)softwarearchitecture
(38)computerprogrammierung und softwareentwicklung
(37)informationstechnologie
(37)it
(37)computerhardware
(36)computerscience
(36)Erscheinungsjahr
2005
(57)2006
(52)2007
(65)2008
(74)2009
(59)2010
(60)2011
(66)2012
(68)2013
(76)2014
(60)2015
(52)2016
(65)2017
(57)2018
(62)2019
(48)2020
(51)2021
(32)2022
(13)Ergebnis: 1.017 Artikel
Serie: programming and software engineering
