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 344
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
java
46
ddc:004
24
data processing & computer science
23
info:eu-repo/classification/ddc/004
23
memory model
19
concurrency
18
mehr ...
sequential consistency
17
computer science
14
java programming language
14
compiler
13
dsm
13
memory models
13
multithreading
13
computing and processing
11
dsm-pm2
11
formal semantics
10
consistency
9
operational semantics
9
type safety
9
[info.info-dc]computer science [cs]/distributed
8
[info.info-oh]computer science [cs]/other [cs.oh]
8
and cluster computing [cs.dc]
8
gewahrleistung
8
parallel
8
synchronization
8
computer programming
7
computer storage devices
7
jvm
7
languages
7
semantics
7
weniger ...
Veröffentlicht in
formal aspects of computing
4
lecture notes in computer science
4
acm sigplan notices
3
acm transactions on programming languages & systems
3
acm transactions on programming languages and systems
3
communications of the acm
3
mehr ...
journal of logic and algebraic programming
3
acm transactions on programming languages and systems (toplas)
2
concurrency & computation: practice & experience
2
issn: 2190-4782
2
it - information technology
2
journal of automated reasoning
2
proceedings of the 15th acm sigplan conference on object-oriented programming, systems, languages, and applications
2
proceedings of the 31st acm sigplan conference on programming language design and implementation
2
proceedings of the 7th international workshop on java technologies for real-time and embedded systems
2
scopus
2
sigplan notices : a monthly publication of the special interest group on programming languages of the association for computing machinery
2
2007 ieee/acs international conference on computer systems and applications, computer systems and applications, 2007. aiccsa '07. ieee/acs international conference on
1
2008 11th ieee international symposium on object and component-oriented real-time distributed computing (isorc), object oriented real-time distributed computing (isorc), 2008 11th ieee international symposium on
1
2009 42nd annual ieee/acm international symposium on microarchitecture (micro), microarchitecture, 2009. micro-42. 42nd annual ieee/acm international symposium on
1
2009 ieee/acm international conference on automated software engineering, automated software engineering, 2009. ase '09. 24th ieee/acm international conference on
1
2011 international conference on parallel architectures and compilation techniques, parallel architectures and compilation techniques (pact), 2011 international conference on
1
2013 international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2013 international symposium on
1
acm / sigplan notices
1
acm international conference proceeding series
1
acm transactions on computer systems
1
acm transactions on computer systems (tocs)
1
automated software engineering
1
computer science logic
1
concurrency, practice & experience
1
weniger ...
Verlag
association for computing machinery
24
association for computing machinery (acm)
15
springer nature
15
acm
14
hal ccsd
14
ieee
14
mehr ...
ccsd
10
springer-verlag
10
springer
9
ieee computer society
6
wti-frankfurt-digital gmbh
6
springer berlin heidelberg
5
acm - association for computing machinery
4
assoc computing machinery
4
acm press
3
institute of electrical and electronics engineers
3
wiley-blackwell
3
de gruyter
2
elsevier b.v.
2
entwickler.press
2
ieee comput. soc
2
karlsruher institut fur technologie
2
kit scientific publishing
2
mcgill university
2
springer nature switzerland
2
springer, heidelberg
2
springer-verlag berlin
2
university of cambridge
2
university of florida
2
university of florida ( [gainesville, fla.] )
2
weniger ...
Geographie
Datenbank
BASE
202
ACM Full-Text Collection
35
Complementary Index
32
IEEE Xplore Digital Library
11
Networked Digital Library of Theses & Dissertations
9
GBV Online Contents
8
mehr ...
TEMA
8
Science Citation Index Expanded
7
wiso
6
MathSciNet via EBSCOhost
5
eBook Index
4
Academic Search Index
4
arXiv
3
Gale Academic OneFile
2
Business Source Premier
2
Supplemental Index
2
Directory of Open Access Journals
1
Directory of Open Access Books
1
Harvard Library Bibliographic Dataset
1
ScienceDirect
1
weniger ...
Erscheinungsjahr
Filter