Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

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
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

PHP3,015.49

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
Logic Circuit Design

Selected Methods

by Shimon P. Vingron ...

Series series Engineering (R0)
In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The presentation is decidedly non-standard.The design of combinational circuits is discussed ... Read more

PHP5,812.49

In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The presentation is decidedly non-standard.The design of combinational circuits is discussed
... Read more
Advances in Mathematical Logic

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka ...

Series series Springer Nature Proceedings excluding Computer Science
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program ... Read more

PHP9,687.79

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program
... Read more
Computer Fundamentals - 8th Edition

Concepts, Systems & Applications

by Pradeep K.Sinha ...

The eighth edition of this widely popular book is designed to introduce its readers to important concepts in Computer Science, Computer Applications, and Information Technology, through a single book. With numerous illustrative diagrams, practical examples, chapter summaries, end-of-chapter questions, and glossary of important terms, and lecture notes presentation in slides, the book is designed ... Read more

PHP884.79 or Free with Kobo Plus

The eighth edition of this widely popular book is designed to introduce its readers to important concepts in Computer Science, Computer Applications, and Information Technology, through a single book. With numerous illustrative diagrams, practical examples, chapter summaries, end-of-chapter questions, and glossary of important terms, and lecture notes presentation in slides, the book is designed
... Read more
Digital Logic for Computing

by John Seiffertt ...

Series series Computer Science (R0)
The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems. It covers the basics of digital logic through the lens of computer organization and programming. The reader should be able to design his or her own computer from the ground up at the end of the book. Logic simulation with Verilog is used throughout, assembly languages ... Read more

PHP3,228.89

The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems. It covers the basics of digital logic through the lens of computer organization and programming. The reader should be able to design his or her own computer from the ground up at the end of the book. Logic simulation with Verilog is used throughout, assembly languages
... Read more
Neural Information Processing

24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI

Edited by Shengli Xie, Dongbin Zhao, Yuanqing Li, Derong Liu, El-Sayed M. El-Alfy ...

Series Book 6 - Springer Nature Proceedings Computer Science
The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine ... Read more

PHP5,812.49

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine
... Read more
Python Uncoiled: From Print Statements to Power Scripts

by Scott Markham ...

Tired of staring at blinking cursors and wondering what sorcery lies behind all those lines of code? Wish you could make your computer do literally anything besides throw errors and play Minesweeper? Welcome to Python Uncoiled: From Print Statements to Power Scripts—your all-access pass to turning Python from a mystery into your personal code-powered sidekick.This isn't your average dry-as-dust pr ... Read more

PHP492.17

Tired of staring at blinking cursors and wondering what sorcery lies behind all those lines of code? Wish you could make your computer do literally anything besides throw errors and play Minesweeper? Welcome to Python Uncoiled: From Print Statements to Power Scripts—your all-access pass to turning Python from a mystery into your personal code-powered sidekick.This isn't your average dry-as-dust pr
... Read more
Introduction to Logic Design

by Svetlana N. Yanushkevich, Vlad P. Shmerko ...

With an abundance of insightful examples, problems, and computer experiments, Introduction to Logic Design provides a balanced, easy-to-read treatment of the fundamental theory of logic functions and applications to the design of digital devices and systems. Requiring no prior knowledge of electrical circuits or electronics, it supplies the ... Read more

PHP15,706.96

With an abundance of insightful examples, problems, and computer experiments, Introduction to Logic Design provides a balanced, easy-to-read treatment of the fundamental theory of logic functions and applications to the design of digital devices and systems. Requiring no prior knowledge of electrical circuits or electronics, it supplies the
... Read more
Logic Functions and Equations

Fundamentals and Applications using the XBOOLE-Monitor

by Bernd Steinbach, Christian Posthoff ...

Series series Mathematics and Statistics (R0)
The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into ... Read more

PHP4,520.69

The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into
... Read more
Applying Math with Python

Over 70 practical recipes for solving real-world computational math problems

by Sam Morley ...

Discover easy-to-follow solutions and techniques to help you to implement applied mathematical concepts such as probability, calculus, and equations using Python's numeric and scientific librariesKey FeaturesCompute complex mathematical problems using programming logic with the help of step-by-step recipesLearn how to use Python libraries for computation, mathematical modeling, and ... Read more

PHP1,910.69 or Free with Kobo Plus

Discover easy-to-follow solutions and techniques to help you to implement applied mathematical concepts such as probability, calculus, and equations using Python's numeric and scientific librariesKey FeaturesCompute complex mathematical problems using programming logic with the help of step-by-step recipesLearn how to use Python libraries for computation, mathematical modeling, and
... Read more
Mastering Rust: The Ultimate Starter Guide

by Dan Miller ...

Ready to dive into Rust but not sure where to start? Mastering Rust: The Ultimate Starter Guide by Dan Miller is your comprehensive companion on this exciting journey. Dan's unique approach to writing makes learning Rust a personable and rewarding experience.What sets this guide apart is its focus on practical application. You'll not only learn the "how" but also the "why," gaining insights into ... Read more

PHP122.58

Ready to dive into Rust but not sure where to start? Mastering Rust: The Ultimate Starter Guide by Dan Miller is your comprehensive companion on this exciting journey. Dan's unique approach to writing makes learning Rust a personable and rewarding experience.What sets this guide apart is its focus on practical application. You'll not only learn the "how" but also the "why," gaining insights into
... Read more
Computational Psychoanalysis and Formal Bi-Logic Frameworks

by Giuseppe Iurato ...

Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unconscious mind to ... Read more

PHP11,364.89

Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unconscious mind to
... Read more
Make: FPGAs

Turning Software into Hardware with Eight Fun and Easy DIY Projects

by David Romano ...

What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gate Arrays (FPGAs), you can design such a machine with your mouse and keyboard. When you deploy it to the FPGA, it immediately takes on the behavior ... Read more

PHP1,152.69

What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gate Arrays (FPGAs), you can design such a machine with your mouse and keyboard. When you deploy it to the FPGA, it immediately takes on the behavior
... Read more
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

by Abbas Rahimi, Luca Benini, Rajesh K. Gupta ...

Series series Engineering (R0)
This book focuses on computing devices and their design at various levels to combat variability. The authors provide a review of key concepts with particular emphasis on timing errors caused by various variability sources. They discuss methods to predict and prevent, detect and correct, and finally conditions under which such errors can be accepted; they also consider their implications on cost, ... Read more

PHP5,812.49

This book focuses on computing devices and their design at various levels to combat variability. The authors provide a review of key concepts with particular emphasis on timing errors caused by various variability sources. They discuss methods to predict and prevent, detect and correct, and finally conditions under which such errors can be accepted; they also consider their implications on cost,
... Read more
Handbook of Research on Machine Learning Innovations and Trends

Edited by Aboul Ella Hassanien, Tarek Gaber ...

Continuous improvements in technological applications have allowed more opportunities to develop automated systems. This not only leads to higher success in smart data analysis, but it increases the overall probability of technological progression. The Handbook of Research on Machine Learning Innovations and Trends is a key resource on the latest advances and research regarding the vast range of ... Read more

PHP24,392.99

Continuous improvements in technological applications have allowed more opportunities to develop automated systems. This not only leads to higher success in smart data analysis, but it increases the overall probability of technological progression. The Handbook of Research on Machine Learning Innovations and Trends is a key resource on the latest advances and research regarding the vast range of
... Read more
Robotics Goes MOOC

Impact

Edited by Bruno Siciliano ...

Series series Intelligent Technologies and Robotics (R0)
It is often read in the media that AI and Robotics are the primary cause of technology unemployment. AI and machine learning techniques are expected to take over lower-level tasks, while humans can spend more time with higher-level tasks. In perspective, it can be said that jobs requiring boring cognitive tasks or repeatable and dangerous physical tasks will be considerably shredded by automation ... Read more

PHP3,551.79

It is often read in the media that AI and Robotics are the primary cause of technology unemployment. AI and machine learning techniques are expected to take over lower-level tasks, while humans can spend more time with higher-level tasks. In perspective, it can be said that jobs requiring boring cognitive tasks or repeatable and dangerous physical tasks will be considerably shredded by automation
... Read more
Job Scheduling Strategies for Parallel Processing

21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

Edited by Dalibor Klusáček, Walfredo Cirne, Narayan Desai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2017, held in Orlando, FL, USA, in June 2017.The 10 revised full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers cover topics in the fields of design and evaluation of new ... Read more

PHP3,228.89

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2017, held in Orlando, FL, USA, in June 2017.The 10 revised full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers cover topics in the fields of design and evaluation of new
... Read more
Introduction to Annotated Logics

Foundations for Paracomplete and Paraconsistent Reasoning

by Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe ...

Series series Engineering (R0)
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of ... Read more

PHP5,812.49

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of
... Read more
Critical Views of Logic

Edited by Mirja Hartimo, Frode Kjosavik, Øystein Linnebo ...

This book examines positions that challenge the Fregean logic-first view. It raises criticalquestions about logic by examining various ways in which logic may be entangled with mathematics and metaphysics.Is logic topic-neutral and general? Can we take the application of logic for granted? This book suggests that we should not be dogmatic about logic but ask similar critical questions about logic ... Read more

PHP3,756.88

This book examines positions that challenge the Fregean logic-first view. It raises criticalquestions about logic by examining various ways in which logic may be entangled with mathematics and metaphysics.Is logic topic-neutral and general? Can we take the application of logic for granted? This book suggests that we should not be dogmatic about logic but ask similar critical questions about logic
... Read more
Computer Algebra in Scientific Computing

20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in ... Read more

PHP4,197.69

This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in
... Read more
Reversible Computation

14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings

Edited by Claudio Antares Mezzina, Krzysztof Podlaski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum ... Read more

PHP4,197.69

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum
... Read more
Building Arduino PLCs

The essential techniques you need to develop Arduino-based PLCs

by Pradeeka Seneviratne ...

Series series Professional and Applied Computing (R0)
Learn the fundamentals of PLCs and how to control them using Arduino software to create your first Arduino PLC. You will learn how to draw Ladder Logic diagrams to represent PLC designs for a wide variety of automated applications and to convert the diagrams to Arduino sketches.A comprehensive shopping guide includes the hardware and software components you need in your tool box. You will learn to ... Read more

PHP2,836.79

Learn the fundamentals of PLCs and how to control them using Arduino software to create your first Arduino PLC. You will learn how to draw Ladder Logic diagrams to represent PLC designs for a wide variety of automated applications and to convert the diagrams to Arduino sketches.A comprehensive shopping guide includes the hardware and software components you need in your tool box. You will learn to
... Read more
Heterogeneous SoC Design and Verification

HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging

by Khaled Salah Mohamed ...

Series series Synthesis Collection of Technology (R0)
This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed decisions, guiding them to strike the perfect balance between flexibility and performance for their SoC designs. Readers will benefit from a detailed exploration of the essential elements of the ... Read more

PHP3,228.89

This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed decisions, guiding them to strike the perfect balance between flexibility and performance for their SoC designs. Readers will benefit from a detailed exploration of the essential elements of the
... Read more

Rakuten Kobo

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

Tools and Algorithms for the Construction and Analysis of Systems

Fundamentals of Software Architecture

Logic Circuit Design

Advances in Mathematical Logic

Computer Fundamentals - 8th Edition

Digital Logic for Computing

Neural Information Processing

Python Uncoiled: From Print Statements to Power Scripts

Introduction to Logic Design

Logic Functions and Equations

Applying Math with Python

Mastering Rust: The Ultimate Starter Guide

Computational Psychoanalysis and Formal Bi-Logic Frameworks

Make: FPGAs

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

Handbook of Research on Machine Learning Innovations and Trends

Robotics Goes MOOC

Job Scheduling Strategies for Parallel Processing

Introduction to Annotated Logics

Critical Views of Logic

Computer Algebra in Scientific Computing

Reversible Computation

Building Arduino PLCs

Heterogeneous SoC Design and Verification