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 - 18
von 18
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Schlagwort
abstract interpretation
9
java bytecode
5
static analysis
5
constraint-based analysis
4
data-flow analysis
4
java programming language
4
mehr ...
android (operating system)
3
mathematical variables
3
mobile operating systems
3
pointer analysis
3
programming languages
3
reachability analysis
3
term rewriting
3
reachability analysi
2
static analysi
2
54.00
1
ada (programmiersprache)
1
ada (programming language)
1
algol (programmiersprache)
1
algol (programming language)
1
approximation theory
1
atrial-fibrillation
1
basic block
1
cobol (programmiersprache)
1
cobol (programming language)
1
compositional verification
1
computational complexity
1
computer programming
1
computer programming -- congresses.
1
computer science.
1
weniger ...
Veröffentlicht in
Verlag
association for computing machinery
3
springer
3
elsevier b.v.
2
springer berlin heidelberg
2
association for computing machinery (acm)
1
country:deu
1
mehr ...
kth, teoretisk datalogi, tcs
1
niedersachsische staats- und universitatsbibliothek
1
place:berlin
1
publikationsserver der rwth aachen university
1
schloss dagstuhl - leibniz-zentrum fur informatik
1
schloss dagstuhl. leibniz-zent. inform., wadern
1
schloss dagstuhl. leibniz-zentrum fur informatik, wadern
1
springer nature
1
stockholm
1
technische informationsbibliothek u. universitatsbibliothek
1
zenodo
1
weniger ...
Sprache
Datenbank
Erscheinungsjahr
Filter