Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 96
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Veröffentlicht in
sigplan not. (usa)
6
sigplan notices
6
proc. acm program. lang. (usa)
4
proceedings of the acm on programming languages
4
arxiv
3
arxiv (usa)
3
mehr ...
international journal on software tools for technology transfer
2
logical methods in computer science (lmcs)
2
acm trans. softw. eng. methodol. (usa)
1
acm transactions on programming languages & systems
1
acm transactions on software engineering and methodology
1
autom. softw. eng. (germany)
1
automated software engineering
1
electronic notes in theoretical computer science
1
entcs: electronic notes in theoretical computer science
1
form. methods syst. des. (netherlands)
1
formal methods in system design
1
ieee trans. softw. eng. (usa)
1
ieee transactions on software engineering
1
inf. process. lett. (netherlands)
1
information processing letters
1
int. j. softw. tools technol. transf. (germany)
1
j. autom. reason. (germany)
1
journal of automated reasoning
1
logical methods in computer science
1
real-time syst. (netherlands)
1
real-time systems
1
sci. comput. program. (netherlands)
1
science of computer programming
1
softw. - pract. exp. (uk)
1
weniger ...
Schlagwort
java
78
formal specification
30
object-oriented programming
27
program diagnostics
27
formal verification
18
program compilers
16
mehr ...
specification languages
10
multi-threading
8
security of data
8
theorem proving
8
object-oriented languages
7
02 engineering and technology
6
0202 electrical engineering, electronic engineering, information engineering
6
contracts
6
data structures
6
formal logic
6
software architecture
6
computer science
5
program debugging
5
programming language semantics
5
separation logic
5
application program interfaces
4
authorisation
4
c language
4
c++ language
4
science & technology
4
technology
4
unified modeling language
4
01 natural sciences
3
0102 computer and information sciences
3
weniger ...
Verlag
springer-verlag
23
acm
18
springer international publishing
16
ieee
8
springer
4
arxiv
3
mehr ...
ieee computer society
3
elsevier b.v.
2
ieee comput. soc.
2
kluwer academic publishers
2
springer verlag
2
centre pour la communication scientifique directe (ccsd)
1
elsevier
1
elsevier bv
1
isca
1
logical methods in computer science
1
springer berlin heidelberg
1
springer nature
1
springer science and business media llc
1
technical university of braunschweig
1
wiley
1
weniger ...
Sprache
Treffer aus
Erscheinungsjahr
Filter