Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 330
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 software -- verification
183
computer software -- testing
48
aspect-oriented programming
43
formal methods (computer science)
28
autonomous distributed systems
27
computer software -- development
25
mehr ...
software engineering
24
computer network architectures
23
02 engineering and technology
22
0202 electrical engineering, electronic engineering, information engineering
21
computer software verification
18
real-time data processing
15
01 natural sciences
14
computer software--verification
14
computer logic
13
human-computer interaction
13
0102 computer and information sciences
12
algorithms
12
computer science
11
computer software
10
programming languages (electronic computers)
10
information and computing sciences not elsewhere classified
9
other information and computing sciences not elsewhere classified
9
programari -- verificacio
9
computer software development
8
arees tematiques de la upc::informatica::enginyeria del software
7
arees tematiques de la upc::informatica::programacio
7
computer algorithms
7
desenvolupament de programari
7
machine learning
7
weniger ...
Veröffentlicht in
treballs finals de grau (tfg) - enginyeria informatica
3
electric power systems research
2
electronic proceedings in theoretical computer science
2
formal methods in system design
2
retrospective theses and dissertations
2
articles publicats en revistes (odontoestomatologia
1
mehr ...
computer science faculty publications
1
computer science faculty publications and presentations
1
computer science theses & dissertations
1
dissertations and theses
1
electrical and computer engineering faculty publications and presentations
1
engineering standards for forensic application
1
etd archive
1
fifth international conference on application of concurrency to system design (acsd'05)
1
graduate theses and dissertations
1
ieee transactions on software engineering
1
international journal on software tools for technology transfer
1
master oficial - pure and applied logic / logica pura i aplicada
1
mathematical problems in engineering
1
proceedings 1998 international conference on application of concurrency to system design
1
proceedings of the 28th asia and south pacific design automation conference
1
proceedings of the acm on programming languages
1
software testing, verification and reliability
1
tdx (tesis doctorals en xarxa
1
tesis doctorals - escola universitaria d'infermeria
1
the south african journal of industrial engineering
1
theses
1
theses.fr
1
weniger ...
Verlag
university of malta
31
faculty of information and communication technology. department of computer science
22
universitat politecnica de catalunya
21
springer
14
springer international publishing
14
faculty of information and communication technology
8
mehr ...
north dakota state university
7
crc press ; taylor & francis
6
springer, cham
6
institute of electrical and electronics engineers (ieee)
5
university of malta. faculty of information and communication technology
5
virginia tech
5
crc press/taylor & francis
4
iet
4
stellenbosch : stellenbosch university
4
university of st andrews
4
acm
3
association for computing machinery
3
ccsd
3
open publishing association
3
pdxscholar
3
springer nature switzerland ag
3
springer, berlin, heidelberg
3
universitat de barcelona
3
university of oxford
3
[available through the national technical information service]
2
ceur workshop proceedings
2
ieee
2
malta chamber of scientists
2
medicina oral sl
2
weniger ...
AuthorUniversity
Datenbank
Erscheinungsjahr
Filter