Rakuten Kobo

Mathematical Logic

On Numbers, Sets, Structures, and Symmetry

by Roman Kossak ...

Series series Philosophy and Religion (R0)
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is ... Read more

$58.49 USD

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is
... Read more
Fundamentals of Software Architecture

A Modern Engineering Approach

by Mark Richards, Neal Ford ...

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural ... Read more

$48.99 USD

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural
... Read more
About Face

The Essentials of Interaction Design

by Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel ...

The essential interaction design guide, fully revised and updated for the mobile ageAbout Face: The Essentials of Interaction Design, Fourth Edition is the latest update to the book that shaped and evolved the landscape of interaction design. This comprehensive guide takes the worldwide shift to smartphones and tablets into account. New information includes discussions on mobile apps, touch ... Read more

$36.00 USD

The essential interaction design guide, fully revised and updated for the mobile ageAbout Face: The Essentials of Interaction Design, Fourth Edition is the latest update to the book that shaped and evolved the landscape of interaction design. This comprehensive guide takes the worldwide shift to smartphones and tablets into account. New information includes discussions on mobile apps, touch
... Read more
The Little Typer

by Daniel P. Friedman, David Thrane Christiansen ...

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains ... Read more

$38.99 USD

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains
... Read more
WordPress For Beginners - How To Set Up A Self Hosted WordPress Blog

by Cyrus Jackson ...

NEW & UPDATED FOR 2018Would you love to learn how to set up a jaw-dropping, secure and professional WordPress blog? (Even if you're not a technical wizard)Then:***"WordPress For Beginners"*** is the most compact guide you'll ever need.WordPress is the biggest blogging platform on the planet powering big blogs like CNN, New York Times, Mashable …the list is endless.This speaks volume of its ... Read more

$3.99 USD or Free with Kobo Plus

NEW & UPDATED FOR 2018Would you love to learn how to set up a jaw-dropping, secure and professional WordPress blog? (Even if you're not a technical wizard)Then:***"WordPress For Beginners"*** is the most compact guide you'll ever need.WordPress is the biggest blogging platform on the planet powering big blogs like CNN, New York Times, Mashable …the list is endless.This speaks volume of its
... Read more
Hacks To Crush Plc Program Fast & Efficiently Everytime... : Coding, Simulating & Testing Programmable Logic Controller With Examples

by Michael Blake, Farouk Idris ...

Learning to code controllers, PLCs & HMIs?★ Hacks To Crush PLC Programs From Beginning. Start Designing, Building, Simulating and Testing Programs in IEC Languange (This book guides only on LD (Ladder Diagram)★This book will get you crushing PLC-HMI programming environment as well as familiarize you with (LD) ladder logic programming.You'll gain a deeper understanding of the LD programming and the ... Read more

$0.99 USD or Free with Kobo Plus

Learning to code controllers, PLCs & HMIs?★ Hacks To Crush PLC Programs From Beginning. Start Designing, Building, Simulating and Testing Programs in IEC Languange (This book guides only on LD (Ladder Diagram)★This book will get you crushing PLC-HMI programming environment as well as familiarize you with (LD) ladder logic programming.You'll gain a deeper understanding of the LD programming and the
... Read more
Virtual Leadership

Secrets from the Round Table for the Multi-Site Manager

by Jaclyn Kostner, PhD ...

This book, with the legendary leader King Arthur, shows you how to transform a geographically distributed team that's falling short of its goals, into a "virtual work group" that gets results. ... Read more

$9.99 USD

This book, with the legendary leader King Arthur, shows you how to transform a geographically distributed team that's falling short of its goals, into a "virtual work group" that gets results.
... Read more
Variant Construction from Theoretical Foundation to Applications

Edited by Jeffrey Zheng ...

This open access book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple ... Read more

Free

This open access book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple
... Read more
Why

A Guide to Finding and Using Causes

by Samantha Kleinberg ...

Can drinking coffee help people live longer? What makes a stock’s price go up? Why did you get the flu? Causal questions like these arise on a regular basis, but most people likely have not thought deeply about how to answer them.This book helps you think about causality in a structured way: What is a cause, what are causes good for, and what is compelling evidence of causality? Author Samantha ... Read more

$18.79 USD

Can drinking coffee help people live longer? What makes a stock’s price go up? Why did you get the flu? Causal questions like these arise on a regular basis, but most people likely have not thought deeply about how to answer them.This book helps you think about causality in a structured way: What is a cause, what are causes good for, and what is compelling evidence of causality? Author Samantha
... Read more
The Minimum You Need to Know About Logic to Work in IT

by Roland Hughes ...

Series series The Minimum You Need to Know
Learn the skills which are completely non-existent in today's college courses. Logic simply isn't taught anymore, Pascal is taught in what was the logic class - if they have any class at all devoted to it. The result of such a curriculum is that new college grads are simply unemployable in today's market. This book is designed to correct that problem.What You'll Learn from the Book The ... Read more

$1.99 USD

Learn the skills which are completely non-existent in today's college courses. Logic simply isn't taught anymore, Pascal is taught in what was the logic class - if they have any class at all devoted to it. The result of such a curriculum is that new college grads are simply unemployable in today's market. This book is designed to correct that problem.What You'll Learn from the Book The
... Read more
Polynomial Theory of Error Correcting Codes

by Giovanni Cancellieri ...

Series series Engineering (R0)
The book offers an original view on channel coding, based on a unitary approach to block and convolutional codes for error correction. It presents both new concepts and new families of codes. For example, lengthened and modified lengthened cyclic codes are introduced as a bridge towards time-invariant convolutional codes and their extension to time-varying versions. The novel families of codes ... Read more

$143.09 USD

The book offers an original view on channel coding, based on a unitary approach to block and convolutional codes for error correction. It presents both new concepts and new families of codes. For example, lengthened and modified lengthened cyclic codes are introduced as a bridge towards time-invariant convolutional codes and their extension to time-varying versions. The novel families of codes
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Edited by Tomáš Vojnar, Lijun Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Read more

Free

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of
... Read more
Introduction to Logic Circuits & Logic Design with Verilog

by Brock J. LaMeres ...

Series series Engineering (R0)
This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). Using this textbook enables readers to design digital systems using the modern HDL ... Read more

$49.49 USD

This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). Using this textbook enables readers to design digital systems using the modern HDL
... Read more
Digital Design and Computer Architecture, RISC-V Edition

by Sarah Harris, David Harris ...

The newest addition to the Harris and Harris family of Digital Design and Computer Architecture books, this RISC-V Edition covers the fundamentals of digital logic design and reinforces logic concepts through the design of a RISC-V microprocessor. Combining an engaging and humorous writing style with an updated and hands-on approach to digital design, this book takes the reader from the ... Read more

$71.09 USD

The newest addition to the Harris and Harris family of Digital Design and Computer Architecture books, this RISC-V Edition covers the fundamentals of digital logic design and reinforces logic concepts through the design of a RISC-V microprocessor. Combining an engaging and humorous writing style with an updated and hands-on approach to digital design, this book takes the reader from the
... Read more
Digital Logic Design and Computer Organization with Computer Architecture for Security

by Nikrouz Faroughi ...

A COMPREHENSIVE GUIDE TO THE DESIGN & ORGANIZATION OF MODERN COMPUTING SYSTEMSDigital Logic Design and Computer Organization with Computer Architecture for Security provides practicing engineers and students with a clear understanding of computer hardware technologies. The fundamentals of digital logic design as well as the use of the Verilog hardware description language are discussed. The book ... Read more

$134.99 USD

A COMPREHENSIVE GUIDE TO THE DESIGN & ORGANIZATION OF MODERN COMPUTING SYSTEMSDigital Logic Design and Computer Organization with Computer Architecture for Security provides practicing engineers and students with a clear understanding of computer hardware technologies. The fundamentals of digital logic design as well as the use of the Verilog hardware description language are discussed. The book
... Read more
Programmable Logic Controllers

by William Bolton ...

This textbook, now in its sixth edition, continues to be straightforward and easy-to-read, presenting the principles of PLCs while not tying itself to one manufacturer or another. Extensive examples and chapter ending problems utilize several popular PLCs, highlighting understanding of fundamentals that can be used regardless of manufacturer. This book will help you to understand the main design ... Read more

$53.99 USD

This textbook, now in its sixth edition, continues to be straightforward and easy-to-read, presenting the principles of PLCs while not tying itself to one manufacturer or another. Extensive examples and chapter ending problems utilize several popular PLCs, highlighting understanding of fundamentals that can be used regardless of manufacturer. This book will help you to understand the main design
... Read more
Computer Architecture

by Nirmala Sharma ...

This book is based on the latest syllabus prescribed by Rajasthan Technical University, Kota for B.Tech. V semester computer engineering, V semester Information Technology. ... Read more

$2.99 USD

This book is based on the latest syllabus prescribed by Rajasthan Technical University, Kota for B.Tech. V semester computer engineering, V semester Information Technology.
... Read more
Mastering ROS for Robotics Programming

Design, build, and simulate complex robots using the Robot Operating System

by Jonathan Cacace, Lentin Joseph ...

Discover best practices and troubleshooting solutions when working on ROSKey FeaturesDevelop complex robotic applications using ROS to interface robot manipulators and mobile robotsGain insight into autonomous navigation in mobile robots and motion planning in robot manipulatorsDiscover best practices and troubleshooting solutionsBook DescriptionIn this day and age, robotics has been gaining a lot ... Read more

$60.29 USD or Free with Kobo Plus

Discover best practices and troubleshooting solutions when working on ROSKey FeaturesDevelop complex robotic applications using ROS to interface robot manipulators and mobile robotsGain insight into autonomous navigation in mobile robots and motion planning in robot manipulatorsDiscover best practices and troubleshooting solutionsBook DescriptionIn this day and age, robotics has been gaining a lot
... Read more
Building Recommendation Systems in Python and JAX

Hands-On Production Systems at Scale

by Bryan Bischof Ph.D, Hector Yee ...

Implementing and designing systems that make suggestions to users are among the most popular and essential machine learning applications available. Whether you want customers to find the most appealing items at your online store, videos to enrich and entertain them, or news they need to know, recommendation systems (RecSys) provide the way.In this practical book, authors Bryan Bischof and Hector ... Read more

$48.99 USD

Implementing and designing systems that make suggestions to users are among the most popular and essential machine learning applications available. Whether you want customers to find the most appealing items at your online store, videos to enrich and entertain them, or news they need to know, recommendation systems (RecSys) provide the way.In this practical book, authors Bryan Bischof and Hector
... Read more
What Makes Us Smart

The Computational Logic of Human Cognition

by Samuel J. Gershman ...

How a computational framework can account for the successes and failures of human cognitionAt the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and flexibility of human perception, language, and reasoning. Yet, we routinely commit errors that reveal the failures of our thought processes. What ... Read more

$28.09 USD

How a computational framework can account for the successes and failures of human cognitionAt the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and flexibility of human perception, language, and reasoning. Yet, we routinely commit errors that reveal the failures of our thought processes. What
... Read more
Augmented Human

How Technology Is Shaping the New Reality

by Helen Papagiannis ...

Augmented Reality (AR) blurs the boundary between the physical and digital worlds. In AR’s current exploration phase, innovators are beginning to create compelling and contextually rich applications that enhance a user’s everyday experiences. In this book, Dr. Helen Papagiannis—a world-leading expert in the field—introduces you to AR: how it’s evolving, where the opportunities are, and where it’s ... Read more

$24.49 USD

Augmented Reality (AR) blurs the boundary between the physical and digital worlds. In AR’s current exploration phase, innovators are beginning to create compelling and contextually rich applications that enhance a user’s everyday experiences. In this book, Dr. Helen Papagiannis—a world-leading expert in the field—introduces you to AR: how it’s evolving, where the opportunities are, and where it’s
... Read more
FPGA EDA

Design Principles and Implementation

by Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipović, Zhufei Chu ...

Series series Computer Science (R0)
This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design ... Read more

$53.99 USD

This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design
... Read more
Data Structures & Algorithms for all programmers

by Israel Abazie ...

Unlock your programming potential with "Data Structures & Algorithms for All Programmers." Dive into over 90 captivating algorithm challenges, spanning more than 600 pages of insights and real-world applications. With comprehensive coverage of essential data structures like linked lists, stacks, queues, trees, and graphs, you'll be fully prepared for success in interviews and equipped to thrive at ... Read more

$25.00 USD or Free with Kobo Plus

Unlock your programming potential with "Data Structures & Algorithms for All Programmers." Dive into over 90 captivating algorithm challenges, spanning more than 600 pages of insights and real-world applications. With comprehensive coverage of essential data structures like linked lists, stacks, queues, trees, and graphs, you'll be fully prepared for success in interviews and equipped to thrive at
... Read more
Johan van Benthem on Logic and Information Dynamics

Edited by Alexandru Baltag, Sonja Smets ...

Series Book 5 - Outstanding Contributions to Logic
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire ... Read more

$188.99 USD

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Logic Design eBooks

Show: