Computer architecture and logic design

This book fills a gap between high-level overview texts that are often too general and low-level detail oriented technical handbooks that lose sight the "e;big picture"e;.

This book fills a gap between high-level overview texts that are often too general and low-level detail oriented technical handbooks that lose sight the "e;big picture"e;.

The first book to introduce computer architecture for security and provide the tools to implement secure computer systems This book provides the fundamentals of computer architecture for security.

The first book to introduce computer architecture for security and provide the tools to implement secure computer systems This book provides the fundamentals of computer architecture for security.

Facilitates both the understanding and adoption of 802.

Future Communication Systems Using Artificial Intelligence, Internet of Things and Data Science mainly focuses on the techniques of artificial intelligence (AI), Internet of Things (IoT) and data science for future communications systems.

This book explores the transformative power of swarm intelligence and digital innovations in shaping the cities of the future.

A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.

The first comprehensive account of the concept and practices of deduction covering philosophy, history, cognition and mathematical practice.

The first comprehensive account of the concept and practices of deduction covering philosophy, history, cognition and mathematical practice.

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

Focuses on the novel issues raised for IP law by 3D printing for the major IP systems around the world.

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

We are living in the digital age.

Focuses on the novel issues raised for IP law by 3D printing for the major IP systems around the world.

Learn how to use estimation techniques to solve real-world IC design problems and accelerate design processes with this practical guide.

Learn how to use estimation techniques to solve real-world IC design problems and accelerate design processes with this practical guide.

Focuses on the interplay between algorithm design and the underlying computational models.

This book formalizes commonsense knowledge to enable artificial intelligence to understand and engage with the mental lives of people.

This book formalizes commonsense knowledge to enable artificial intelligence to understand and engage with the mental lives of people.

Artificial intelligence (AI), machine learning, and advanced electronic circuits involve learning from every data input and using those inputs to generate new rules for future business analytics.

In today's connected world, the demand for mobile communications and instant access to information, anytime and anywhere, has drastically changed the electronics landscape, both consumer and industrial.

This text demystifies the subject of operating systems by using a simple step-by-step approach, from fundamentals to modern concepts of traditional uniprocessor operating systems, in addition to advanced operating systems on various multiple-processor platforms and also real-time operating systems (RTOSs).

Provides students with a system-level perspective and the tools they need to analyze and design complete digital systems using VHDL.

Provides students with a system-level perspective and the tools they need to analyze and design complete digital systems using VHDL.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

A design-oriented text for advanced computer architecture courses, covering parallelism, complexity, power, reliability and performance.

This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.

This second edition walks you through the full lifecycle of Go microservice development, from scaffolding and system design to cloud-native rollout.

This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

A practical guide to establishing a risk-based, business-focused information security program to ensure organizational successKey FeaturesFocus on business alignment, engagement, and support using risk-based methodologiesEstablish organizational communication and collaboration emphasizing a culture of securityImplement information security program, cybersecurity hygiene, and architectural and engineering best practicesPurchase of the print or Kindle book includes a free PDF eBookBook DescriptionInformation Security Handbook is a practical guide that'll empower you to take effective actions in securing your organization's assets.

A practical guide to establishing a risk-based, business-focused information security program to ensure organizational successKey FeaturesFocus on business alignment, engagement, and support using risk-based methodologiesEstablish organizational communication and collaboration emphasizing a culture of securityImplement information security program, cybersecurity hygiene, and architectural and engineering best practicesPurchase of the print or Kindle book includes a free PDF eBookBook DescriptionInformation Security Handbook is a practical guide that'll empower you to take effective actions in securing your organization's assets.

Terraform has become a key player in the DevOps world for defining, launching, and managing infrastructure as code (IaC) across a variety of cloud and virtualization platforms, including AWS, Google Cloud, Azure, and more.

Terraform has become a key player in the DevOps world for defining, launching, and managing infrastructure as code (IaC) across a variety of cloud and virtualization platforms, including AWS, Google Cloud, Azure, and more.

Is Kubernetes ready for stateful workloads?

Is Kubernetes ready for stateful workloads?

In many systems, scalability becomes the primary driver as the user base grows.

In many systems, scalability becomes the primary driver as the user base grows.

This book provides a thorough exploration of the intersection between gender-based healthcare disparities and the transformative potential of artificial intelligence (AI) and machine learning (ML).

This book introduces students to the full gamut of different parallel programming styles and their relationship to hardware architecture.

The established textbook on the Ada language for 40 years, now covering the 2016 ISO Corrigendum and introducing Ada 2022.

This volume gives an overview of the state-of-the-art with respect to the development of all types of parallel computers and their application to a wide range of problem areas.

This book explores the transformative impact of drone technology and unmanned aerial systems (UAS) across diverse industries, from precision agriculture and logistics to disaster response and forensic investigations.

A principled, high-level view of computer performance and how to exploit it.

Internet of Healthcare Things (IoHT) is an Internet of Things (IoT)-based solution that includes a network architecture which allows the connection between a patient and healthcare facilities.

The sixth generation of wireless communication (6G), succeeding 5G cellular technology, opens up several possibilities in terms of technology and its offered services.