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 21 - 40
von 84
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
java programming language
7
[info.info-pl]computer science [cs]/programming languages [cs.pl]
5
alloy
5
[info.info-cr]computer science [cs]/cryptography and security [cs.cr]
4
lock
4
virtual machine systems
4
mehr ...
abstract interpretation
3
information storage & retrieval systems
3
type system
3
verification
3
compiler-programm
2
computer science
2
computer software
2
computer storage devices
2
computer systems
2
data flow computing
2
documentation
2
java (programmiersprache)
2
java bytecode
2
programming languages
2
programmverifikation
2
qa75 electronic computers. computer science
2
safety
2
software verification
2
system
2
virtuelle maschine
2
abstrakte auswertung
1
article
1
categories and subject descriptors
1
composability
1
weniger ...
Veröffentlicht in
issn: 0960-1295
4
new generation computing
4
science of computer programming
4
computer journal
3
computer journal, london
2
lecture notes in computer science
2
mehr ...
mathematical structures in computer science
2
the computer journal
2
theoretical computer science
2
dtic and ntis
1
electronic theses and dissertations
1
journal of automated reasoning
1
mathematical structures in computer science : mscs : a journal in the applications of categorical, algebraic and geometric methods in computer science
1
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science
1
network security
1
proceedings ieee 9th international workshops on enabling technologies: infrastructure for collaborative enterprises (wet ice 2000), enabling technologies: infrastructure for collaborative enterprises, 2000. (wet ice 2000). proeedings. ieee 9th international workshops on, enabling technologies: infrastructure for collaborative enterprise
1
proceedings of the 12th acm sigplan conference on object-oriented programming, systems, languages, and applications
1
proceedings of the 14th international conference on software engineering and knowledge engineering
1
proceedings of the 14th international conference on software engineering and knowledge engineering - seke '02
1
proceedings of the 14th international conference: software engineering & knowledge engineering
1
programming languages & systems (9783540713142)
1
weniger ...
Verlag
cambridge university press (cup)
5
elsevier b.v.
5
hal ccsd
5
ccsd
4
springer
4
springer nature
4
mehr ...
springer berlin heidelberg
3
acm
2
oxford university press
2
oxford university press / usa
2
place:new york
2
acm / association for computing machinery:1515 broadway, 17th floor:new york, ny 10036:(212)869-7440, email: acmhelp@hq.acm.org, internet: http://www.acm.org, fax: (212)944-1318
1
acm press
1
association for computing machinery
1
association for computing machinery (acm)
1
boston university computer science department
1
cambridge univ press
1
cambridge university press
1
country:usa
1
elsevier bv
1
elsevier science bv
1
escholarship, university of california
1
ieee
1
national library of canada = bibliotheque nationale du canada
1
oxford univ press
1
oxford university press (oup)
1
springer-verlag
1
university of glasgow
1
university of windsor
1
wti-frankfurt-digital gmbh
1
weniger ...
Sprache
Datenbank
BASE
51
Complementary Index
6
GBV Online Contents
6
Academic Search Index
4
Science Citation Index Expanded
4
ScienceDirect
3
mehr ...
ACM Full-Text Collection
2
Networked Digital Library of Theses & Dissertations
2
IEEE Xplore Digital Library
1
Gale Academic OneFile
1
Harvard Library Bibliographic Dataset
1
MathSciNet via EBSCOhost
1
TEMA
1
wiso
1
weniger ...
Erscheinungsjahr
Filter