Computer Science

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs...

This book is intended to give students at the advanced undergraduate or introduc tory graduate level, and researchers in computer vision, robotics and computer graphics, a self-contained introduction to the geometry of three-dimensional (3- D) vision...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783832528195Author Thomas HermannFormat PaperbackPage Count 584Imprint Logos Verlag Berlin GmbHPublisher Logos Verlag Berlin GmbH

Swarm intelligence algorithms are a form of nature-based optimization algorithms. Their main inspiration is the cooperative behavior of animals within specific communities. This can be described as simple behaviors of individuals along with the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781989120347Author C P a IncFormat PaperbackPage Count 236Imprint Cyberpunk ArchitectsPublisher Cyberpunk ArchitectsWeight(grams) 259gDimensions(mm) 203mm *...

As deep neural networks (DNNs) become increasingly common in real-world applications, the potential to deliberately "fool" them with data that wouldn't trick a human presents a new attack vector. This practical book examines real-world scenarios where...

SRv6 Network Programming, beginning with the challenges for Internet Protocol version 6 (IPv6) network development, describes the background, roadmap design, and implementation of Segment Routing over IPv6 (SRv6), as well as the application of this...

This introductory book on quantum computing includes an emphasis on the development of algorithms. Appropriate for both university students as well as software developers interested in programming a quantum computer, this practical approach to modern...

In the era of 'Algorithmic Medicine', the integration of Artificial Intelligence (AI) in healthcare holds immense potential to address critical challenges faced by the industry. Drawing upon the expertise and experience of the authors in medicine, data...

This is a crash course in the hard and soft components of any computer system. In introductory-level computer science classes, it'll guide readers to understand computers at various layers of abstraction. Early chapters begin with the basics of the C...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781732029804Author Clinton SheppardFormat HardbackPage Count 312Imprint Clinton SheppardPublisher Clinton SheppardWeight(grams) 748gDimensions(mm) 235mm *...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262527125Author Peter J. DenningFormat PaperbackPage Count 320Imprint MIT PressPublisher MIT Press LtdDimensions(mm) 229mm * 152mm * 13mm

This book examines the cybersecurity phenomenon, looking at the folklore, the hype, and the behaviour of its practitioners. A central theme is that the management of cybersecurity needs to be owned by the people running the organisation, rather than by...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262048620Author Hubie ChenFormat HardbackPage Count 416Imprint MIT PressPublisher MIT Press Ltd

A Hands-On Course in Sensors Using the Arduino and Raspberry Pi is the first book to give a practical and wide-ranging account of how to interface sensors and actuators with micro-controllers, Raspberry Pi and other control systems. The author describes...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262546591Author Ralf HerbrichFormat PaperbackPage Count 384Imprint MIT PressPublisher MIT Press LtdWeight(grams) 369g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262542111Author Neil ErnstFormat PaperbackPage Count 288Imprint MIT PressPublisher MIT Press Ltd

This book describes and explains the fundamental changes that are now taking place in the most traditional areas of humanities theory and method, scholarship and education. The changes flow from the re-examination of the very foundations of the...

This book is open access under a CC BY 4.0 license.This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262039185Author Rex PageFormat HardbackPage Count 304Imprint MIT PressPublisher MIT Press LtdDimensions(mm) 229mm * 178mm * 22mm

Gain a solid understanding of how information theoretic approaches can inform the design of more secure information systems and networks with this authoritative text. With a particular focus on theoretical models and analytical results, leading...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781909188754Author Andreas HorniFormat HardbackPage Count 620Imprint Ubiquity Press LtdPublisher Ubiquity Press LtdWeight(grams) 1284gDimensions(mm) 254mm *...

The computer unlike other inventions is universal; you can use a computer for many tasks: writing, composing music, designing buildings, creating movies, inhabiting virtual worlds, communicating... This popular science history isn't just about technology...

The last century has seen enormous leaps in the development of digital technologies, and most aspects of modern life have changed significantly with their widespread availability and use. Technology at various scales - supercomputers, corporate networks,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781739692803Author Samuel GeorgeFormat HardbackPage Count 136Imprint Exochron PressPublisher Exochron Press

This unique and useful textbook presents a comprehensive review of the essentials of image data mining, and the latest cutting-edge techniques used in the field. The coverage spans all aspects of image analysis and understanding, offering deep insights...

Use the popular Spring Data project for data access and persistence using various Java-based APIs such as JDBC, JPA, MongoDB, and more. This book shows how to easily incorporate data persistence and accessibility into your microservices, cloud-native...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789383952144Author Narayanan PalaniFormat PaperbackPage Count 92Imprint BecomeShakespeare.comPublisher BecomeShakespeare.com

Introduction to Computer Science introduces students to the fundamentals of computer science by connecting the dots between applications they use every day and the underlying technologies that power them. Throughout, students learn valuable technical...

The field of natural computing has been the focus of a substantial research effort in recent decades. One particular strand of this research concerns the development of computational algorithms using metaphorical inspiration from systems and phenomena...

A website's ranking on Google can spell the difference between success and failure for a new business. NCAA football ratings determine which schools get to play for the big money in postseason bowl games. Product ratings influence everything from the...

Build your first robots with Python and some cheap, basic components. This entertaining book guides you step by step! In Build Your Own Robot you'll learn how to: Use cameras to capture photos and let your robot seeTrack faces using computer vision and...

Most natural optimization problems, including those arising in important application areas, are NP-hard. Therefore, under the widely believed conjecture that P NP, their exact solution is prohibitively time consuming. Charting the landscape of...

Most natural optimization problems, including those arising in important application areas, are NP-hard. Therefore, under the widely believed conjecture that P NP, their exact solution is prohibitively time consuming. Charting the landscape of...

Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788131760307Author ITL Education Solutions LimitedFormat PaperbackPage Count 528Imprint Pearson Education IndiaPublisher Pearson Education...

This book consists of selected papers written by the founder of fuzzy set theory, Lotfi A Zadeh. Since Zadeh is not only the founder of this field, but has also been the principal contributor to its development over the last 30 years, the papers contain...

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and...

This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible...

Ethical, Legal and Professional Issues in Computing provides a comprehensive treatment of the issues facing computer professionals in today's modern, working environment. It features ethical material and codes of practice, using them throughout the book...