Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 143
Sie haben nicht gefunden, wonach Sie gesucht haben? Wenden Sie sich an Kontakt such_da.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
bytecode verification
99
java
42
abstract interpretation
25
virtual machine
22
theorem proving
21
02 engineering and technology
20
mehr ...
0202 electrical engineering, electronic engineering, information engineering
20
java card
20
dataflow analysis
17
java virtual machine
15
01 natural sciences
14
0102 computer and information sciences
14
data flow analysis
13
security
11
static analysis
11
theory of programming languages
11
languages
10
computer science
9
subroutines
9
applied sciences
8
computer science; control theory; systems
8
exact sciences and technology
8
informatique
8
informatique; automatique theorique; systemes
8
sciences appliquees
8
sciences exactes et technologie
8
software
8
system
8
theoretical computer science
8
type safety
8
weniger ...
Veröffentlicht in
journal of automated reasoning
21
theoretical computer science
11
electronic notes in theoretical computer science
8
acm transactions on programming languages and systems
6
science of computer programming
6
acm transactions on programming languages and systems (toplas)
4
mehr ...
concurrency and computation-practice & experience
3
acm sigplan notices
2
formal methods in system design
2
issn: 0304-3975
2
journal of logic and algebraic programming
2
lecture notes in computer science
2
2014 9th international conference on computer engineering & systems (icces), computer engineering & systems (icces), 2014 9th international conference on
1
amast 2002 : algebraic methodology and software technology (saint gilles les bains, 9-13 september 2002)
1
cav 2001 : computer aided verification (paris, 18-22 july 2001)
1
computer journal
1
concurrency and computation: practice and experience
1
concurrency theory (concur 2004)
1
encyclopedia of cryptography and security
1
encyclopedia of cryptography, security and privacy
1
formal methods in system design: an international journal
1
foundations of software science and computation structures
1
higher-order and symbolic computation
1
ieee transactions on dependable and secure computing
1
information and computation
1
international journal of information security
1
issn: 0038-0644 ; eissn: 1097-024x
1
journal of computer languages
1
journal of systems and software
1
proceedings of the 19th annual acm sigplan conference on object-oriented programming, systems, languages, and applications
1
weniger ...
Verlag
elsevier b.v.
10
springer
9
elsevier bv
8
elsevier
7
hal ccsd
7
kluwer academic publishers
7
mehr ...
springer science and business media llc
7
acm
5
assoc computing machinery
5
ccsd
4
technical university of munich
4
wiley
4
elsevier science bv
3
kluwer academic publ
3
springer berlin heidelberg
3
springer us
3
technische universitat munchen
3
acta press
2
association for computing machinery
2
elsevier science inc
2
wiley-blackwell
2
academic press inc elsevier science
1
ceur-ws
1
elsevier inc.
1
elsevier sci ltd
1
ieee
1
ieee computer soc
1
john wiley & sons ltd
1
oxford univ press
1
oxford university press (oup)
1
weniger ...
Sprache
Datenbank
Erscheinungsjahr
Filter