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 167
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
bytecode verification
20
abstract interpretation
18
java
16
verification
12
algorithms
9
java card
9
mehr ...
static analysis
9
computer science
8
dataflow analysis
8
java programming language
8
languages
7
information flow
6
security
6
[info.info-pl]computer science [cs]/programming languages [cs.pl]
5
bytecode
5
computer software
5
data protection
5
design
5
experimentation
5
performance
5
algorithm
4
java virtual machine
4
key words
4
programming languages
4
semantics
4
software verification
4
specification
4
subroutines
4
system
4
abstract algebra
3
weniger ...
Veröffentlicht in
acm transactions on programming languages & systems
9
electronic notes in theoretical computer science
6
journal of automated reasoning
6
international journal of information security
5
theoretical computer science
4
acm transactions on programming languages and systems
3
mehr ...
entcs: electronic notes in theoretical computer science
3
lecture notes in computer science
3
$2
2
acm sigplan notices
2
acm transactions on programming languages and systems (toplas)
2
acm transactions on programming languages and systems : acm toplas
2
acm / sigplan notices
1
acm transactions on software engineering and methodology (tosem)
1
compiler construction: 17th international conference, cc 2008, held as part of the joint european conferences on theory & practice of software, etaps 2008, budapest, hungary, march 29 - april 6, 2008. proceedings
1
concurrency & computation: practice & experience
1
concurrency and computation : practice & experience
1
concurrency and computation-practice & experience
1
ecommons : open scholarship at cornell
1
formal aspects in security & trust (9783540326281)
1
information and computation
1
information technology : methods and applications of informatics and information technology
1
issn: 0168-7433
1
it + ti - informationstechnik und technische informatik
1
journal of computer languages
1
mathematical foundations of computer science 1999
1
proceedings of the 2004 acm symposium on applied computing
1
proceedings of the 2004 acm symposium: applied computing
1
proceedings of the 2005 workshop on new security paradigms
1
proceedings of the 2006 conference of the center for advanced studies: collaborative research
1
weniger ...
Verlag
elsevier b.v.
11
association for computing machinery
9
springer nature
7
springer
6
springer-verlag
6
acm
5
mehr ...
association for computing machinery (acm)
5
hal ccsd
4
assoc computing machinery
3
association for computing machinery, inc.
3
cornell university
3
elsevier bv
3
springer berlin heidelberg
3
acm press
2
escholarship, university of california
2
kluwer academic publ
2
springer science and business media llc
2
wiley-blackwell
2
[s.l. : s.n.]
1
academic press inc elsevier science
1
acta press
1
ccsd
1
elsevier sci ltd
1
elsevier science bv
1
gbi-genios deutsche wirtschaftsdatenbank gmbh
1
gesellschaft fur informatik
1
springer verlag
1
springer, dordrecht
1
springer-verlag, berlin
1
technical university of munich
1
weniger ...
Sprache
Geographie
Datenbank
BASE
97
GBV Online Contents
11
Science Citation Index Expanded
11
Complementary Index
8
ACM Full-Text Collection
7
Gale Academic OneFile
7
mehr ...
Supplemental Index
6
Academic Search Index
4
MathSciNet via EBSCOhost
4
ScienceDirect
4
Business Source Premier
3
Harvard Library Bibliographic Dataset
2
Networked Digital Library of Theses & Dissertations
1
TEMA
1
wiso
1
weniger ...
Erscheinungsjahr
Filter