Synthesis Lectures on Computer Science - Böcker
Visar alla böcker i serien Synthesis Lectures on Computer Science. Handla med fri frakt och snabb leverans.
47 produkter
47 produkter
198 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.
272 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).
325 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/
591 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.
591 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.
697 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.
591 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.
433 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.
Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
Inbunden, Engelska, 2023
769 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.
Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
Häftad, Engelska, 2024
551 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.
905 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.
641 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.
852 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.
641 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.
Introduction to the Development of Web Applications Using ASP .Net (Core) MVC
Inbunden, Engelska, 2023
442 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
442 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
858 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.
641 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.
442 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.
442 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.
442 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems.
442 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems.
482 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.
497 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.
497 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.
497 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.
442 kr
Skickas inom 7-10 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.
442 kr
Skickas inom 10-15 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.
442 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.
442 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.