Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 20
von 597
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Schlagwort
[info]computer science [cs]
122
[info.info-ni]computer science [cs]/networking and internet architecture [cs.ni]
103
software engineering
67
computer science
66
logics and meanings of programs
59
computer communication networks
58
mehr ...
operating systems
58
programming languages, compilers, interpreters
58
programming techniques
58
[info.info-dl]computer science [cs]/digital libraries [cs.dl]
37
[info.info-pl]computer science [cs]/programming languages [cs.pl]
21
[info.info-se]computer science [cs]/software engineering [cs.se]
19
objektorientierte methode
13
[info.info-dc]computer science [cs]/distributed
12
[scco.comp]cognitive science/computer science
12
and cluster computing [cs.dc]
12
parallel
12
model checking
11
[info.info-ma]computer science [cs]/multiagent systems [cs.ma]
9
[info.info-wb]computer science [cs]/web
9
offenes system
9
compilers (computer programs)
8
computer networks
8
computer programming
8
verteilte datenverarbeitung
8
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
7
electronic data processing -- distributed processing -- congresses.
7
formal methods
7
object-oriented programming (computer science) -- congresses.
7
verteiltes system
7
weniger ...
Veröffentlicht in
formal methods for open object-based distributed systems
20
formal methods for open object-based distributed systems (9783540348931)
19
formal methods for open object-based distributed systems (9783540729198)
19
formal methods for open object-based distributed systems (9783540688624)
17
lecture notes in computer science
6
ieee transactions on software engineering
4
mehr ...
issn: 0010-4620
3
lecture notes in computer science ; 14th international conference on formal methods for open object-based distributed systems (fmoods) / 32nd international conference on formal techniques for networked and distributed systems (forte) ; https://inria.hal.science/hal-00909384 ; 14th international conference on formal methods for open object-based distributed systems (fmoods) / 32nd international conference on formal techniques for networked and distributed systems (forte), jun 2012, stockholm, sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
3
electronic notes in theoretical computer science
2
ieee communications magazine
2
ieice transactions on communications
2
production planning & control
2
science of computer programming
2
scitech book news
2
b'98: recent advances in the development & use of the b method
1
b-98: recent advances in the development & use of the b method
1
computer communications
1
computer languages
1
computer networks
1
computer networks and isdn systems
1
concurrency & computation: practice & experience
1
dtic and ntis
1
entcs: electronic notes in theoretical computer science
1
iee conference publication
1
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng.
1
ieice transactions on information and systems
1
lecture notes in computer science ; 13th conference on formal methods for open object-based distributed systems (fmoods) / 31th international conference on formal techniques for networked and distributed systems (forte) ; https://inria.hal.science/inria-00593505 ; 13th conference on formal methods for open object-based distributed systems (fmoods) / 31th international conference on formal techniques for networked and distributed systems (forte), jun 2011, reykjavik, iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
1
magdeburger schriften zum empirischen software-engineering
1
weniger ...
Verlag
springer
213
ccsd
121
springer us
112
hal ccsd
106
springer berlin heidelberg
99
springer nature
77
mehr ...
springer-verlag
10
ieee
6
elsevier b.v.
5
oxford university press (uk)
3
book news, inc.
2
country:deu
2
ieee computer society press
2
taylor & francis ltd
2
berlin : springer
1
chapman & hall on behalf of the international federation for information processing
1
chapman and hall
1
chapmann & hall
1
ieee computer soc
1
ieee operations center
1
imprint: springer
1
institute of electrical and electronics engineers (ieee)
1
institution of electrical engineers (iee)
1
kluwer
1
kluwer academic publications
1
kluwer academic publishers
1
place:berlin
1
place:heidelberg
1
shaker
1
springer science and business media llc
1
weniger ...
Sprache
Geographie
Datenbank
BASE
456
Supplemental Index
61
Complementary Index
20
eBook Index
16
TEMA
14
Harvard Library Bibliographic Dataset
11
mehr ...
GBV Online Contents
6
Gale Academic OneFile
3
Academic Search Index
2
Business Source Premier
2
HathiTrust
2
ScienceDirect
2
IEEE Xplore Digital Library
1
Science Citation Index Expanded
1
weniger ...
Erscheinungsjahr
Filter