Herausgegeben von Anshul Verma, Herausgegeben von Pradeepika Verma, Herausgegeben von Kiran Kumar Pattanaik, Herausgegeben von Rajkumar Buyya, Herausgegeben von Dipankar Dasgupta
Titel
Advanced Network Technologies and Intelligent Computing
Untertitel
4th International Conference, ANTIC 2024, Varanasi, India, December 19–21, 2024, Proceedings, Part III
Beschreibung
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2024, held in Varanasi, India, during December ...mehr
Verlag
Springer International Publishing
Erscheinungsdatum
07.03.2025
ISBN/EAN
978-3-031-83793-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Autor
Herausgegeben von Germania Rodriguez Morales, Herausgegeben von Efraín R. Fonseca C., Herausgegeben von Juan Pablo Salgado, Herausgegeben von Pablo Pérez-Gosende, Herausgegeben von Marcos Orellana Cordero, Herausgegeben von Santiago Berrezueta
Titel
Information and Communication Technologies
Untertitel
8th Conference, TICEC 2020, Guayaquil, Ecuador, November 25–27, 2020, Proceedings
Matt Richardson, Shawn Wallace, Wolfram Donat, Übersetzt von Thomas Demmig
Titel
Raspberry Pi – dein Einstieg
Untertitel
Der vielseitige Linux-Computer für Smarthome, Entertainment, Experimente
Beschreibung
Ihre Lösung für Office - Multimedia - Entertainment - Smarthome
Eine Einführung für viefältige Anwendungsmöglichkeiten
Programmierung mit Python
Einsatz mit Linux und anderen Betriebssyst ...mehr
Ein Do-It-Yourself-Guide für Einsteiger. Zahlreiche Projekte mit Sensoren, Fernsteuerungen, Motoren, Arduino
Beschreibung
Ein Do-It-Yourself-Guide für Einsteiger
Zahlreiche Projekte mit Sensoren, Fernsteuerungen, Motoren und Arduino
Setzen Sie Ihre Elektronik-Ideen direkt in die Tat um
Verschiedene Projekte mit dem Ar ...mehr
Efficient Formal Verification of Finite Non-Terminating Programs
Beschreibung
In his
master thesis, Vladimir Herdt presents a novel approach, called complete
symbolic simulation, for a more efficient verification of
much larger (non-terminating) SystemC programs. The
approach c ...mehr
Verlag
Springer Fachmedien Wiesbaden GmbH
Erscheinungsdatum
16.03.2016
ISBN/EAN
978-3-658-12680-3
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Herausgegeben von Samson Lasaulce, Herausgegeben von Panayotis Mertikopoulos, Herausgegeben von Ariel Orda
Titel
Network Games, Control and Optimization
Untertitel
10th International Conference, NetGCooP 2020, France, September 22–24, 2021, Proceedings
Roman. Aus dem Amerikanischen von Tobias Schnettler
Beschreibung
Ein wirklich guter Berlinroman.
Mit Leichtigkeit werden schwierige Themen verhandelt: Identität, Gender, Nationalsozialismus, Klassengrenzen und vieles mehr.