Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 30
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
calculus -- computer programs
14
arees tematiques de la upc::enginyeria mecanica
6
computer programs -- verification
4
computer software -- development
4
modality (logic)
4
calcul -- programes d'ordinador
3
mehr ...
computer programs -- correctness
3
enginyeria mecanica [arees tematiques de la upc]
3
logic
3
recursive functions
3
arees tematiques de la upc::energies::energia electrica::automatitzacio i control de l'energia electrica
2
arees tematiques de la upc::energies::termoenergetica::refrigeracio
2
arees tematiques de la upc::enginyeria mecanica::motors
2
arees tematiques de la upc::matematiques i estadistica::analisi numerica::modelitzacio matematica
2
ascensors
2
aspect-oriented programming
2
computer security
2
discrete-time systems
2
electric power transmission
2
formal methods (computer science)
2
portals d'internet
2
programes d'ordinador
2
real-time data processing
2
refrigerants
2
symbolic and mathematical
2
web portals
2
02 engineering and technology
1
0202 electrical engineering, electronic engineering, information engineering
1
2. zero hunger
1
autonomous distributed systems
1
weniger ...
Verlag
universitat politecnica de catalunya
15
episciences
2
university of malta. faculty of ict
2
brasil
1
curitiba
1
elsevier
1
mehr ...
elsevier inc.
1
faculty of information and communication technology. department of computer science
1
programa de pos-graduacao em matematica em rede nacional
1
springer
1
springer international publishing
1
springer nature
1
springer nature switzerland ag
1
springer, cham
1
universidade tecnologica federal do parana
1
university of malta
1
university of oxford
1
utfpr
1
weniger ...
Datenbank
Erscheinungsjahr
Filter