Synthesis Lectures on Computer Science – serie
Visar alla böcker i serien Synthesis Lectures on Computer Science. Handla med fri frakt och snabb leverans.
48 produkter
48 produkter
Häftad, Engelska, 2011
199 kr
Skickas inom 10-15 vardagar
Filled with history, real world examples and conversations with experts like best selling science fiction author Cory Doctorow, senior editor at Dark Horse Comics Chris Warner and Hollywood science expert Sidney Perkowitz, Science Fiction Prototyping will give you the tools you need tobegin designing the future with science fiction.
Häftad, Engelska, 2011
274 kr
Skickas inom 10-15 vardagar
The clock mechanism is built of special strands of DNA called ""tick"" and ""tock."" Each time a ""tick"" and ""tock"" enter a DNA solution, a strand is released from an instruction stack (by analogy to the way in which as a clock cycle in an electronic computer causes a new instruction to enter a processing unit).
Häftad, Engelska, 2016
320 kr
Skickas inom 5-8 vardagar
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 to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form.Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about.In addition to this text, there are online exercises (with automated grading), online logic tools and applications, online videos of lectures, and an online forum for discussion. They are available at http://intrologic.stanford.edu/
Häftad, Engelska, 2018
593 kr
Skickas inom 10-15 vardagar
This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior.
Häftad, Engelska, 2020
593 kr
Skickas inom 10-15 vardagar
This book introduces all the technical features that make up blockchain technology today. To get an even better idea, the book shortly explores how Bitcoin might be forked before going into detail on the Ethereum network and cryptocurrencies running on top of the network, smart contracts, and more.
Häftad, Engelska, 2020
700 kr
Skickas inom 10-15 vardagar
The second edition captures the latest advances in autonomous driving and that it also presents usable real-world case studies to help readers better understand how to utilize their lessons in commercial autonomous driving projects. This book should be useful to students, researchers, and practitioners alike.
Häftad, Engelska, 2021
593 kr
Skickas inom 10-15 vardagar
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 servers.
Häftad, Engelska, 2021
427 kr
Skickas inom 5-8 vardagar
It is a collaborative work between specialists in cryptography, distributed systems, formal languages, and economics, and addresses hot topics in blockchains from a theoretical perspective: cryptographic primitives, consensus, formalization of blockchain properties, game theory applied to blockchains, and economical issues.
Inbunden, Engelska, 2023
776 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2024
556 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2023
913 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2024
647 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2023
860 kr
Skickas inom 10-15 vardagar
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. This book contains recent results on provably correct control techniques from specifications that go beyond safety and stability, such as temporal logic formulas.
Häftad, Engelska, 2024
647 kr
Skickas inom 10-15 vardagar
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. This book contains recent results on provably correct control techniques from specifications that go beyond safety and stability, such as temporal logic formulas.
Inbunden, Engelska, 2023
446 kr
Skickas inom 10-15 vardagar
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 addition, this book addresses how to build a web application to create user accounts, store data in a database, manipulate data, and how to allow controlled access to certain parts of the application functionality. The author also covers both client-side and server-side development and the use of an object relational mapper to work with persistent data (using a database). Topics include: models, views, controllers, routing, entity framework core, identity, layouts, dependency injection and services, model binder, among others. This book: Introduces the development of web applications using the open-source ASP .Net Core MVC frameworkImplements web applications including HTML, JavaScript, CSS, Bootstrap, C#, ASP .Net, and Entity Framework CoreFeatures client-side development, server-side development, and object relational mapper software
Häftad, Engelska, 2024
446 kr
Skickas inom 10-15 vardagar
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 addition, this book addresses how to build a web application to create user accounts, store data in a database, manipulate data, and how to allow controlled access to certain parts of the application functionality. The author also covers both client-side and server-side development and the use of an object relational mapper to work with persistent data (using a database). Topics include: models, views, controllers, routing, entity framework core, identity, layouts, dependency injection and services, model binder, among others. This book: Introduces the development of web applications using the open-source ASP .Net Core MVC frameworkImplements web applications including HTML, JavaScript, CSS, Bootstrap, C#, ASP .Net, and Entity Framework CoreFeatures client-side development, server-side development, and object relational mapper software
Inbunden, Engelska, 2023
875 kr
Skickas inom 11-20 vardagar
Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning policies. This book introduces key concepts, discusses design options for metareasoning approaches and policies, and presents approaches for testing and evaluation of metareasoning policies.
Häftad, Engelska, 2024
647 kr
Skickas inom 10-15 vardagar
Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning policies. This book introduces key concepts, discusses design options for metareasoning approaches and policies, and presents approaches for testing and evaluation of metareasoning policies.
Inbunden, Engelska, 2023
446 kr
Skickas inom 10-15 vardagar
The authors explain how to accomplish this by utilizing the advanced dynamic graph learning technique in the era of big data. After covering the key topics related to dynamic graph learning, the book discusses the recent advancements in the area.
Häftad, Engelska, 2024
446 kr
Skickas inom 10-15 vardagar
The authors explain how to accomplish this by utilizing the advanced dynamic graph learning technique in the era of big data. After covering the key topics related to dynamic graph learning, the book discusses the recent advancements in the area.
Inbunden, Engelska, 2024
446 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems.
Häftad, Engelska, 2025
446 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems.
Inbunden, Engelska, 2024
487 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2025
501 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2024
501 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2025
501 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2024
444 kr
Skickas inom 5-8 vardagar
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.
Häftad, Engelska, 2025
444 kr
Skickas inom 5-8 vardagar
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.
Inbunden, Engelska, 2024
446 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2025
446 kr
Skickas inom 10-15 vardagar
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.