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 127
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
java
25
theorem proving
14
bytecode verification
12
software verification
8
data flow analysis
7
formal semantics
7
mehr ...
compiler
6
computer science
6
java programming language
6
semantique formelle
6
verification
6
intermediate representations
5
java (programmiersprache)
5
jvm
5
virtuelle maschine
5
[info.info-oh]computer science [cs]/other [cs.oh]
4
abstract interpretation
4
fault injection
4
instrumentation
4
java bytecode
4
key words
4
program verification
4
programming languages
4
[info.info-cr]computer science [cs]/cryptography and security [cs.cr]
3
[info.info-es]computer science [cs]/embedded systems
3
[info.info-pl]computer science [cs]/programming languages [cs.pl]
3
algorithms
3
combined attack
3
computer programming
3
computer sciences
3
weniger ...
Veröffentlicht in
electronic notes in theoretical computer science
5
science of computer programming
4
entcs: electronic notes in theoretical computer science
3
journal of automated reasoning
3
concurrency & computation: practice & experience
2
formal methods in system design
2
mehr ...
jisuanji gongcheng
2
journal of logic and algebraic programming
2
theoretical computer science
2
$2
1
acm transactions on programming languages & systems
1
acm transactions on programming languages and systems
1
asicon 2001. 2001 4th international conference on asic proceedings (cat. no.01th8549), asic, 2001. proceedings. 4th international conference on, asicon 2001
1
concurrency and computation-practice & experience
1
iciss, international conference on information systems security, 7
1
ieee international symposium on communications and information technology, 2005. iscit 2005., communications and information technology, 2005. iscit 2005. ieee international symposium on, communications and information technologies
1
informatik aktuell
1
information technology : methods and applications of informatics and information technology
1
integrated formal methods, ifm, international conference on integrated formal methods, 13
1
it + ti - informationstechnik und technische informatik
1
journal of logic & algebraic programming
1
lecture notes in computer science
1
lecture notes in computer science, programming and software engineering
1
mathematical foundations of computer science 1999
1
proceedings of the 2004 acm symposium on applied computing
1
proceedings of the 40th annual acm sigplan-sigact symposium on principles of programming languages
1
proceedings of the first workshop on cryptography and security in computing systems
1
smart card research & advanced application
1
theorem proving in higher order logics (9783540406648)
1
verified software: theories, tools, and experiments, vstte, international conference on verified software: theories, tools, experiments, 10
1
weniger ...
Verlag
elsevier b.v.
13
hal ccsd
8
springer
7
springer nature
5
ccsd
4
wti-frankfurt-digital gmbh
4
mehr ...
escholarship, university of california
3
wiley-blackwell
3
editorial office of computer engineering
2
ieee
2
kth, skolan for datavetenskap och kommunikation (csc)
2
springer-verlag
2
technical university of munich
2
technische universitat munchen
2
vysoke uceni technicke v brne. fakulta informacnich technologii
2
[s.l. : s.n.]
1
association for computing machinery, inc.
1
cornell university
1
country:deu
1
ecole normale superieure de cachan - ens cachan
1
elsevier
1
elsevier inc.
1
elsevier science inc
1
gbi-genios deutsche wirtschaftsdatenbank gmbh
1
gesellschaft fur informatik
1
ieee operations center
1
kth, teoretisk datalogi, tcs
1
place:berlin
1
place:trento
1
springer berlin heidelberg
1
weniger ...
Sprache
Geographie
Datenbank
BASE
70
Networked Digital Library of Theses & Dissertations
10
ScienceDirect
6
TEMA
6
Complementary Index
5
Supplemental Index
5
mehr ...
wiso
5
Gale Academic OneFile
4
Academic Search Index
3
ACM Full-Text Collection
3
Science Citation Index Expanded
3
IEEE Xplore Digital Library
2
MathSciNet via EBSCOhost
2
Directory of Open Access Journals
1
GBV Online Contents
1
Harvard Library Bibliographic Dataset
1
weniger ...
Erscheinungsjahr
Filter