Bücher - Buchreihe - Synthesis Lectures on Computer Science - (25)
Adaptive and Learning-Based Control of Safety-Critical Systems
Max Cohen; Calin Belta
Max Cohen; Calin Belta
Springer International Publishing, 2024, 194 S., 9783031293122
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
Paul A. Gagniuc
Paul A. Gagniuc
Springer International Publishing, 2023, 280 S., 9783031232794
Automated Verification of Concurrent Search Structures
Krishna Siddharth; Patel Nisarg; Shasha Dennis; Wies Thomas
Krishna Siddharth; Patel Nisarg; Shasha Dennis; Wies Thomas
Springer International Publishing, 2021, 182 S., 9783031006784
Creating Autonomous Vehicle Systems, Second Edition
Liu Shaoshan; Li Liyun; Tang Jie; Wu Shuang u. a.
Liu Shaoshan; Li Liyun; Tang Jie; Wu Shuang u. a.
Springer International Publishing, 2020, 221 S., 9783031006777
Dynamic Graph Learning for Dimension Reduction and Data Clustering
Lei Zhu; Jingjing Li; Zheng Zhang
Lei Zhu; Jingjing Li; Zheng Zhang
Springer International Publishing, 2023, 143 S., 9783031423123
Introduction to the Development of Web Applications Using ASP .Net
(Core) MVC Razvan Alexandru Mezei
(Core) MVC Razvan Alexandru Mezei
Springer International Publishing, 2024, 315 S., 9783031306280
Metareasoning for Robots
Jeffrey W. Herrmann
Jeffrey W. Herrmann
Springer International Publishing, 2023, 92 S., 9783031322365
Metareasoning for Robots
Jeffrey W. Herrmann
Jeffrey W. Herrmann
Springer International Publishing, 2024, 92 S., 9783031322396
Principles of Blockchain Systems
Fernández Antonio; Georgiou Chryssis; Herlihy Maurice; Potop-Butucaru Maria
Fernández Antonio; Georgiou Chryssis; Herlihy Maurice; Potop-Butucaru Maria
Springer International Publishing, 2021, 217 S., 9783031006791
Safe Autonomy with Control Barrier Functions
Wei Xiao; Christos G. Cassandras; Calin Belta
Wei Xiao; Christos G. Cassandras; Calin Belta
Springer International Publishing, 2024, 212 S., 9783031275784
Springer International Publishing, 2018, 156 S., 9783031006753
Introduction to Logic, Third Edition
Michael Genesereth; Eric J. Kao
Michael Genesereth; Eric J. Kao
Springer International Publishing, 2016, 163 S., 9783031006739
Science Fiction Prototyping
Johnson Brian David
Johnson Brian David
Springer International Publishing, 2011, 223 S., 9783031006685
Storing Clocked Programs Inside DNA
Chang Jessica; Shasha Dennis
Chang Jessica; Shasha Dennis
Springer International Publishing, 2011, 68 S., 9783031006692
Adaptive and Learning-based Control of Safety-Critical Systems
Max Cohen; Calin Belta
Max Cohen; Calin Belta
Springer International Publishing, 2023, S., 9783031293092
Advances in Human Activity Detection and Recognition
(HADR) Systems Santosh Kumar Tripathy; Roshan Singh; Rajeev Srivastava; Akash Kumar Bhoi u. a.
(HADR) Systems Santosh Kumar Tripathy; Roshan Singh; Rajeev Srivastava; Akash Kumar Bhoi u. a.
Springer International Publishing, 2024, 136 S., 9783031516597
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
Paul Gagniuc
Paul Gagniuc
Springer International Publishing, 2023, S., 9783031232763
Coding Examples from Simple to Complex
Paul A. Gagniuc
Paul A. Gagniuc
Springer International Publishing, 2024, 190 S., 9783031538049
Coding Examples from Simple to Complex
Paul A. Gagniuc
Paul A. Gagniuc
Springer International Publishing, 2024, 205 S., 9783031538193
Coding Examples from Simple to Complex
Paul A. Gagniuc
Paul A. Gagniuc
Springer International Publishing, 2024, 190 S., 9783031538117
Introduction to the Development of Web Applications using ASP .Net
(Core) MVC Razvan Alexandru Mezei
(Core) MVC Razvan Alexandru Mezei
Springer International Publishing, 2023, S., 9783031306259
Safe Autonomy with Control Barrier Functions
Wei Xiao; Christos Cassandras; Calin Belta
Wei Xiao; Christos Cassandras; Calin Belta
Springer International Publishing, 2023, S., 9783031275753
Springer International Publishing, 2024, 128 S., 9783031537462