Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 226
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
computer programs -- verification
106
02 engineering and technology
24
0202 electrical engineering, electronic engineering, information engineering
22
computer programs--verification
19
real-time data processing
19
computational complexity
14
mehr ...
computer software -- development
14
programming languages (electronic computers)
13
verification
12
01 natural sciences
11
0102 computer and information sciences
10
aspect-oriented programming
10
computer programs verification
10
analyse statique
9
machine theory
9
computer algorithms
8
computer programming
8
computer programs -- testing
8
java (computer program language)
8
software engineering
8
computer hardware description languages
7
computer programs -- correctness
7
information and computing sciences not elsewhere classified
7
logique temporelle
7
other information and computing sciences not elsewhere classified
7
systems engineering
7
temps reel
7
analyse
6
automate
6
completion
6
weniger ...
Veröffentlicht in
theses.fr
2
2009 seventh ieee international conference on software engineering and formal methods
1
2017 ieee international conference on software quality, reliability and security (qrs)
1
bachelor's theses
1
dissertations and theses
1
electronic proceedings in theoretical computer science
1
mehr ...
etd archive
1
international journal on software tools for technology transfer
1
the journal of object technology
1
weniger ...
Verlag
university of malta. faculty of ict
35
hal ccsd
9
springer berlin heidelberg
9
university of malta
6
air force institute of technology
5
universitat ulm
5
mehr ...
springer, cham
4
university of oslo. department of informatics
4
ccsd
3
massachusetts institute of technology
3
monterey, california. naval postgraduate school
3
stellenbosch : stellenbosch university
3
universite libre de bruxelles
3
universite libre de bruxelles, faculte des sciences - informatique, bruxelles
3
virginia polytechnic institute and state university
3
bilkent university
2
faculty of information and communication technology. department of computer science
2
georgia institute of technology
2
ieee
2
institute of electrical and electronics engineers inc.
2
karlsruhe institute of technology
2
muhendislik ve fen bilimleri enstitusu
2
open publishing association
2
reykjavik university
2
springer international publishing
2
springer nature switzerland ag
2
springer, berlin, heidelberg
2
springer-verlag berlin heidelberg
2
springer-verlag berlin, heidelberg
2
university of oxford
2
weniger ...
AuthorUniversity
Erscheinungsjahr
Filter