Bokus

Synthesis Lectures on Computer Science – serie

Visar alla böcker i serien Synthesis Lectures on Computer Science. Handla med fri frakt och snabb leverans.

55 produkter

  1. Paul A. Gagniuc - Introduction to Programming Languages, Inbunden. Tillgänglighet: Lägg i varukorg

    Introduction to Programming Languages

    Simultaneous Learning in Multiple Coding Environments

    Av Paul A. Gagniuc

    Inbunden, 2026

    455 kr

    Lägg i varukorg

    This book presents a unique comparative framework that teaches programming through parallel exposure to multiple languages. Rather than focusing on a single syntax, this book reveals the universal principles underlying modern software development by examining mirrored implementations across …

  2. Johnson Brian David - Science Fiction Prototyping, Häftad. Tillgänglighet: Lägg i varukorg

    Science Fiction Prototyping

    Designing the Future with Science Fiction

    Av Johnson Brian David

    Häftad, 2011

    203 kr

    Lägg i varukorg

    Science fiction is the playground of the imagination. If you are interested in science or fascinated with the future then science fiction is where you explore new ideas and let your dreams and nightmares duke it out on the safety of the page or screen. But what if we could use science fiction to do …

  3. Jessica Chang, Dennis Shasha - Storing Clocked Programs Inside DNA, Häftad. Tillgänglighet: Lägg i varukorg

    Storing Clocked Programs Inside DNA

    A Simplifying Framework for Nanocomputing

    Av Jessica Chang, Dennis Shasha

    Häftad, 2011

    280 kr

    Lägg i varukorg

    In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually appear. Once calculators became fast enough, it became obvious that the critical path was the punching rather than the …

  4. Michael Genesereth, Eric J. Kao - Introduction to Logic, Third Edition, Häftad. Tillgänglighet: Lägg i varukorg

    Introduction to Logic, Third Edition

    Av Michael Genesereth, Eric J. Kao

    Häftad, 2016

    341 kr

    Lägg i varukorg

    This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material.The approach …

  5. Y.C. Tay - Analytical Performance Modeling for Computer Systems, Third Edition, Häftad. Tillgänglighet: Lägg i varukorg

    Analytical Performance Modeling for Computer Systems, Third Edition

    Av Y.C. Tay

    Häftad, 2018

    607 kr

    Lägg i varukorg

    This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking, and operating systems.This is not a …

  6. Stijn Van Hijfte - Blockchain Platforms, Häftad. Tillgänglighet: Lägg i varukorg

    Blockchain Platforms

    A Look at the Underbelly of Distributed Platforms

    Av Stijn Van Hijfte

    Häftad, 2020

    655 kr

    Lägg i varukorg

    This book introduces all the technical features that make up blockchain technology today. It starts with a thorough explanation of all technological concepts necessary to understand any discussions related to distributed ledgers and a short history of earlier implementations. It then discusses in …

  7. Shaoshan Liu, Liyun Li, Jie Tang, Shuang Wu, Jean-Luc Gaudiot - Creating Autonomous Vehicle Systems, Second Edition, Häftad. Tillgänglighet: Lägg i varukorg

    Creating Autonomous Vehicle Systems, Second Edition

    Av Shaoshan Liu, Liyun Li m. fl.

    Häftad, 2020

    716 kr

    Lägg i varukorg

    This book is one of the first technical overviews of autonomous vehicles written for a general computing and engineering audience. The authors share their practical experiences designing autonomous vehicle systems. These systems are complex, consisting of three major subsystems: (1) algorithms for …

  8. Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies - Automated Verification of Concurrent Search Structures, Häftad. Tillgänglighet: Lägg i varukorg

    Automated Verification of Concurrent Search Structures

    Av Siddharth Krishna, Nisarg Patel m. fl.

    Häftad, 2021

    607 kr

    Lägg i varukorg

    Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed …

  9. Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru - Principles of Blockchain Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Principles of Blockchain Systems

    Av Antonio Fernández Anta, Chryssis Georgiou m. fl.

    Häftad, 2021

    455 kr

    Lägg i varukorg

    This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It is a collaborative work between specialists in cryptography, distributed systems, formal languages, and economics, and addresses hot topics in …

  10. Paul A. Gagniuc - Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments, Inbunden. Tillgänglighet: Lägg i varukorg

    Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments

    Av Paul A. Gagniuc

    Inbunden, 2023

    825 kr

    Lägg i varukorg

    After a short introduction on the history of programming languages, this book provides step-by-step examples that are mirrored in seven programming languages, including C#, C++, Java, JavaScript, PERL, PHP, Python, Ruby, VB, and VBA. This mirrored approach for each of the examples represents the …

  11. Wei Xiao, Christos G. Cassandras, Calin Belta - Safe Autonomy with Control Barrier Functions, Inbunden. Tillgänglighet: Lägg i varukorg

    Safe Autonomy with Control Barrier Functions

    Theory and Applications

    Av Wei Xiao, Christos G. Cassandras m. fl.

    Inbunden, 2023

    934 kr

    Lägg i varukorg

    This book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety. Safety is formalized using an emerging state-of-the-art approach based on CBFs, and many illustrative examples …

  12. Wei Xiao, Christos G. Cassandras, Calin Belta - Safe Autonomy with Control Barrier Functions, Häftad. Tillgänglighet: Lägg i varukorg

    Safe Autonomy with Control Barrier Functions

    Theory and Applications

    Av Wei Xiao, Christos G. Cassandras m. fl.

    Häftad, 2024

    660 kr

    Lägg i varukorg

    This book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety. Safety is formalized using an emerging state-of-the-art approach based on CBFs, and many illustrative examples …

  13. Max Cohen, Calin Belta - Adaptive and Learning-Based Control of Safety-Critical Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Adaptive and Learning-Based Control of Safety-Critical Systems

    Av Max Cohen, Calin Belta

    Inbunden, 2023

    877 kr

    Lägg i varukorg

    This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems. Safety is critical to many applications, such as autonomous driving, air traffic control, and robotics. As these …

  14. Max Cohen, Calin Belta - Adaptive and Learning-Based Control of Safety-Critical Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Adaptive and Learning-Based Control of Safety-Critical Systems

    Av Max Cohen, Calin Belta

    Häftad, 2024

    660 kr

    Lägg i varukorg

    This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems. Safety is critical to many applications, such as autonomous driving, air traffic control, and robotics. As these …

  15. Razvan Alexandru Mezei - Introduction to the Development of Web Applications Using ASP .Net (Core) MVC, Inbunden. Tillgänglighet: Lägg i varukorg

    Introduction to the Development of Web Applications Using ASP .Net (Core) MVC

    Av Razvan Alexandru Mezei

    Inbunden, 2023

    455 kr

    Lägg i varukorg

    This book introduces a simplified approach to web application development using the open-source ASP .Net Core MVC framework. Readers will learn to implement web applications using the following languages and frameworks: HTML, JavaScript, CSS, Bootstrap, C#, ASP .Net, and Entity Framework Core. In …

  16. Razvan Alexandru Mezei - Introduction to the Development of Web Applications Using ASP .Net (Core) MVC, Häftad. Tillgänglighet: Lägg i varukorg

    Introduction to the Development of Web Applications Using ASP .Net (Core) MVC

    Av Razvan Alexandru Mezei

    Häftad, 2024

    455 kr

    Lägg i varukorg

    This book introduces a simplified approach to web application development using the open-source ASP .Net Core MVC framework. Readers will learn to implement web applications using the following languages and frameworks: HTML, JavaScript, CSS, Bootstrap, C#, ASP .Net, and Entity Framework Core. In …

  17. Jeffrey W. Herrmann - Metareasoning for Robots, Inbunden. Tillgänglighet: Lägg i varukorg

    Metareasoning for Robots

    Adapting in Dynamic and Uncertain Environments

    Av Jeffrey W. Herrmann

    Inbunden, 2023

    934 kr

    Lägg i varukorg

    This book is a state of the art resource that robotics researchers and engineers can use to make their robots and autonomous vehicles smarter. Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning policies. Metareasoning for …

  18. Jeffrey W. Herrmann - Metareasoning for Robots, Häftad. Tillgänglighet: Lägg i varukorg

    Metareasoning for Robots

    Adapting in Dynamic and Uncertain Environments

    Av Jeffrey W. Herrmann

    Häftad, 2024

    735 kr

    Lägg i varukorg

    This book is a state of the art resource that robotics researchers and engineers can use to make their robots and autonomous vehicles smarter. Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning policies. Metareasoning for …

  19. Lei Zhu, Jingjing Li, Zheng Zhang - Dynamic Graph Learning for Dimension Reduction and Data Clustering, Inbunden. Tillgänglighet: Lägg i varukorg

    Dynamic Graph Learning for Dimension Reduction and Data Clustering

    Av Lei Zhu, Jingjing Li m. fl.

    Inbunden, 2023

    455 kr

    Lägg i varukorg

    This book illustrates how to achieve effective dimension reduction and data clustering. The authors explain how to accomplish this by utilizing the advanced dynamic graph learning technique in the era of big data. The book begins by providing background on dynamic graph learning. The authors …

  20. Lei Zhu, Jingjing Li, Zheng Zhang - Dynamic Graph Learning for Dimension Reduction and Data Clustering, Häftad. Tillgänglighet: Lägg i varukorg

    Dynamic Graph Learning for Dimension Reduction and Data Clustering

    Av Lei Zhu, Jingjing Li m. fl.

    Häftad, 2024

    455 kr

    Lägg i varukorg

    This book illustrates how to achieve effective dimension reduction and data clustering. The authors explain how to accomplish this by utilizing the advanced dynamic graph learning technique in the era of big data. The book begins by providing background on dynamic graph learning. The authors …

  21. Santosh Kumar Tripathy, Roshan Singh, Rajeev Srivastava, Akash Kumar Bhoi, Santosh Kumar Satapathy - Advances in Human Activity Detection and Recognition (HADR) Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Advances in Human Activity Detection and Recognition (HADR) Systems

    Av Santosh Kumar Tripathy, Roshan Singh m. fl.

    Inbunden, 2024

    455 kr

    Lägg i varukorg

    This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems. Detection or recognition of human activities is a prominent research area in the fields of computer vision and artificial intelligence because of its many applications in daily life, including …

  22. Santosh Kumar Tripathy, Roshan Singh, Rajeev Srivastava, Akash Kumar Bhoi, Santosh Kumar Satapathy - Advances in Human Activity Detection and Recognition (HADR) Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Advances in Human Activity Detection and Recognition (HADR) Systems

    Av Santosh Kumar Tripathy, Roshan Singh m. fl.

    Häftad, 2025

    455 kr

    Lägg i varukorg

    This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems. Detection or recognition of human activities is a prominent research area in the fields of computer vision and artificial intelligence because of its many applications in daily life, including …

  23. Carlo Lipizzi - Societal Impacts of Artificial Intelligence and Machine Learning, Inbunden. Tillgänglighet: Lägg i varukorg

    Societal Impacts of Artificial Intelligence and Machine Learning

    Av Carlo Lipizzi

    Inbunden, 2024

    513 kr

    Lägg i varukorg

    This book goes beyond the current hype of expectations generated by the news on artificial intelligence and machine learning by analyzing realistic expectations for society, its limitations, and possible future scenarios for the use of this technology in our current society. Artificial Intelligence …

  24. Carlo Lipizzi - Societal Impacts of Artificial Intelligence and Machine Learning, Häftad. Tillgänglighet: Lägg i varukorg

    Societal Impacts of Artificial Intelligence and Machine Learning

    Av Carlo Lipizzi

    Häftad, 2025

    513 kr

    Lägg i varukorg

    This book goes beyond the current hype of expectations generated by the news on artificial intelligence and machine learning by analyzing realistic expectations for society, its limitations, and possible future scenarios for the use of this technology in our current society. Artificial Intelligence …

  25. Paul A. Gagniuc - Coding Examples from Simple to Complex, Inbunden. Tillgänglighet: Lägg i varukorg

    Coding Examples from Simple to Complex

    Applications in MATLAB®

    Av Paul A. Gagniuc

    Inbunden, 2024

    513 kr

    Lägg i varukorg

    This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern education and is the main computer language driving development in science and engineering. The author introduces readers to the rich world of Matlab, taking them on a journey from the fundamentals to …

  26. Paul A. Gagniuc - Coding Examples from Simple to Complex, Häftad. Tillgänglighet: Lägg i varukorg

    Coding Examples from Simple to Complex

    Applications in MATLAB®

    Av Paul A. Gagniuc

    Häftad, 2025

    513 kr

    Lägg i varukorg

    This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern education and is the main computer language driving development in science and engineering. The author introduces readers to the rich world of Matlab, taking them on a journey from the fundamentals to …

  27. Paul A. Gagniuc - Coding Examples from Simple to Complex, Inbunden. Tillgänglighet: Lägg i varukorg

    Coding Examples from Simple to Complex

    Applications in Python™

    Av Paul A. Gagniuc

    Inbunden, 2024

    453 kr

    Lägg i varukorg

    This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving software prototyping in both industry and research. The author introduces readers to the rich world of Python, taking them on a journey from the …

  28. Paul A. Gagniuc - Coding Examples from Simple to Complex, Häftad. Tillgänglighet: Lägg i varukorg

    Coding Examples from Simple to Complex

    Applications in Python™

    Av Paul A. Gagniuc

    Häftad, 2025

    453 kr

    Lägg i varukorg

    This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving software prototyping in both industry and research. The author introduces readers to the rich world of Python, taking them on a journey from the …

  29. Paul A. Gagniuc - Coding Examples from Simple to Complex, Inbunden. Tillgänglighet: Lägg i varukorg

    Coding Examples from Simple to Complex

    Applications in JavaScript™

    Av Paul A. Gagniuc

    Inbunden, 2024

    455 kr

    Lägg i varukorg

    This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern programming and is the main computer language driving the Internet. The author introduces readers to the rich world of JavaScript, taking them on a journey from the fundamentals to advanced topics, …

  30. Paul A. Gagniuc - Coding Examples from Simple to Complex, Häftad. Tillgänglighet: Lägg i varukorg

    Coding Examples from Simple to Complex

    Applications in JavaScript™

    Av Paul A. Gagniuc

    Häftad, 2025

    455 kr

    Lägg i varukorg

    This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern programming and is the main computer language driving the Internet. The author introduces readers to the rich world of JavaScript, taking them on a journey from the fundamentals to advanced topics, …