Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer 161 - 180 von 86.955

161

Formal Methods
Platzer, Andre ; Rozier, Kristin Yvonne ; Pradella, Matteo ; et al.

architecture verificatio... artificial intelligence design and analysis of a... computational complexity... embedded systems model checking
E-Book
Zu den Favoriten
164

Dieses Ergebnis kann Gästen nicht angezeigt werden.

166

Algoritmos de inteligência artificial para deteção de quedas em dispositivos
Bessa, Pedro Maria de Oliveira Martins dos Santos

COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE EMBEDDED SYSTEMS COMPUTER PROGRAMMING FALLS ELDERLY
Zu den Favoriten
167

Dieses Ergebnis kann Gästen nicht angezeigt werden.

168

A trustworthy framework for resource-aware embedded programming
Barwell, Adam D. ; Brown, Christopher ; Horizon 2020 ; et al.
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages ; page 1-12

Konferenz
Zu den Favoriten
170

Dieses Ergebnis kann Gästen nicht angezeigt werden.

171

Session details: Operating systems & embedded programming
Mordechai Ben-Ari
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education.

Fachzeitschrift
Zu den Favoriten
172

Dieses Ergebnis kann Gästen nicht angezeigt werden.

174

Elevate embedded real-time programming with a synchronous language
Franz-Josef Grosch
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. :156-156

Fachzeitschrift
Zu den Favoriten
179

Modeling, Control and Diagnosis of Electrical Machines and Devices
Boukhnifer, Moussa ; Djilali, Larbi

electric vehicles regenerative braking inverse optimal control buck–boost converter neural identifier combined modes ensemble...
E-Book
Zu den Favoriten
180

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter