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

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  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
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  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

Unlimited access to eBooks

Unlimited access to audiobooks

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

Unlimited access to eBooks

Unlimited access to audiobooks

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

Applied Computer Sciences in Engineering

6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Edited by Juan Carlos Figueroa-García, Mario Duarte-González, Sebastián Jaramillo-Isaza, Alvaro David Orjuela-Cañon, Yesid Díaz-Gutierrez ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019.The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence; ... Read more

85,85 €

This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019.The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence;
... Read more
Time & Logic

A Computational Approach

Edited by Leonard Bolc, Andrzej Szałas ...

Series series Routledge Revivals
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of ... Read more

45,04 €

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of
... 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

62,00 €

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
Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

by Mario G. Piattini, Félix Óscar García ...

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the ... Read more

9,99 € or Free with Kobo Plus

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the
... Read more
Larisa Maksimova on Implication, Interpolation, and Definability

Edited by Sergei Odintsov ...

Series series Philosophy and Religion (R0)
This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific ... Read more

47,69 €

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific
... Read more
Applying Math with Python

Practical recipes for solving computational math problems using Python programming and its libraries

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 utilize Python's libraries for computation, mathematical modeling, and ... Read more

23,84 € 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 utilize Python's libraries for computation, mathematical modeling, and
... Read more
Quaternions for Computer Graphics

by John Vince ...

Series series Computer Science (R0)
Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.Quaternions are one of the most documented ... Read more

Was 71,54 € Now 62,00 €

Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.Quaternions are one of the most documented
... Read more
Adiabatic Logic

Future Trend and System Level Perspective

by Philip Teichmann ...

Series series Engineering (R0)
Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in ... Read more

85,85 €

Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in
... Read more
Azure Ascension: From Cloud Novice to Enterprise Architect

by Scott Markham ...

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough ... Read more

7,49 €

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough
... Read more
Calidad de Sistemas de Información (4ª edición ampliada y actualizada)

by Mario G. Piattini ...

En la actualidad, todas las organizaciones son en alguna manera “empresas de software”, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos y, más que nunca, su propia supervivencia depende de la calidad de los productos y servicios informáticos._x000D_ La industria del software tiene casi setenta años y en este período ha realizado ... Read more

9,99 € or Free with Kobo Plus

En la actualidad, todas las organizaciones son en alguna manera “empresas de software”, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos y, más que nunca, su propia supervivencia depende de la calidad de los productos y servicios informáticos._x000D_ La industria del software tiene casi setenta años y en este período ha realizado
... Read more
Logic and Language Models for Computer Science

by Dana Richards, Henry Hamburger ...

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It ... Read more

37,83 €

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It
... Read more
NLTK应用开发指南

Chinese Edition

by Posts & Telecom Press, Nitin K Hardeniya ...

NLTK和Python库构建机器学习应用Key Features通过NLTK库与一些Python库的结合来实现复杂的NLP任务和机器学习应用探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器深度探索NLP领域的基本概念，为各种开源的Python工具和库提供具有实践意义的见解Book Description自然语言处理（NLP）属于人工智能与计算机语言学的交叉领域，处理的是计算机与人类语言之间的交互问题。随着人机交互需求的日益增长，计算机具备处理当前主要自然语言的能力已经成为了一个必然趋势。NLTK正是这一领域中一个强大而稳健的工具包。在这本书中，我们首先会介绍一些与NLP相关的知识。然后，我们会探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器。在此过程中，我们将会深度探索NLP领域的基本概念 ... Read more

17,16 € or Free with Kobo Plus

NLTK和Python库构建机器学习应用Key Features通过NLTK库与一些Python库的结合来实现复杂的NLP任务和机器学习应用探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器深度探索NLP领域的基本概念，为各种开源的Python工具和库提供具有实践意义的见解Book Description自然语言处理（NLP）属于人工智能与计算机语言学的交叉领域，处理的是计算机与人类语言之间的交互问题。随着人机交互需求的日益增长，计算机具备处理当前主要自然语言的能力已经成为了一个必然趋势。NLTK正是这一领域中一个强大而稳健的工具包。在这本书中，我们首先会介绍一些与NLP相关的知识。然后，我们会探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器。在此过程中，我们将会深度探索NLP领域的基本概念
... Read more
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Edited by Sergei Artemov, Anil Nerode ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

47,69 €

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Read more
Quick Start Guide to VHDL

by Brock J. LaMeres ...

Series series Engineering (R0)
This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introduction to the language. This book is designed to provide a bottoms-up approach to learning the VHDL language. This design supports a course in which foundational knowledge is covered before moving into ... Read more

66,77 €

This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introduction to the language. This book is designed to provide a bottoms-up approach to learning the VHDL language. This design supports a course in which foundational knowledge is covered before moving into
... Read more
Start Programming, Simulating HMI and PLC in Your Laptop: A No Bs, No Fluff, HMI and PLC Programming & Simulating Volume 2

Volume, #2

by Michael Blake, Farouk Idris ...

Series Book 2 - Volume
Learning to code controllers, PLCs & HMIs?Get the PLC-HMI programming skills they did not teach you back in the day... Skills Michael and I learned over a decade of working in the field of Automation. Whether you have just graduated or are a technician, a hobbyist, a total beginner, or a new programmer. If you are ready to take it to the next level, this is your next step in PLC-HMI programmer ... Read more

5,49 €

Learning to code controllers, PLCs & HMIs?Get the PLC-HMI programming skills they did not teach you back in the day... Skills Michael and I learned over a decade of working in the field of Automation. Whether you have just graduated or are a technician, a hobbyist, a total beginner, or a new programmer. If you are ready to take it to the next level, this is your next step in PLC-HMI programmer
... Read more
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

Edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino ...

Series Book 3 - Springer Nature Proceedings Computer Science
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... Read more

47,69 €

The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five
... Read more
Multiple-Valued Logic Design

an Introduction

by G Epstein ...

Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced ... Read more

474,90 €

Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced
... Read more
Problem Solving In Operation Management

Edited by Patricia Esperanza Balderas-Cañas, Gabriel De Las Nieves Sánchez-Guerrero ...

Series series Engineering (R0)
This volume examines problem solving and applied systems aimed at improving performance and management of organizations. The book’s eight chapters are integrated into two parts: methodologies and techniques that discuss complex dynamic analysis of the organizations, participative processes for building trend scenarios, consultancy as a systemic intervention process, processes to promote innovative ... Read more

85,85 €

This volume examines problem solving and applied systems aimed at improving performance and management of organizations. The book’s eight chapters are integrated into two parts: methodologies and techniques that discuss complex dynamic analysis of the organizations, participative processes for building trend scenarios, consultancy as a systemic intervention process, processes to promote innovative
... Read more
Advanced Artificial Intelligence (Second Edition)

by Zhongzhi Shi ...

Series Book 4 - Series On Intelligence Science
The joint breakthrough of big data, cloud computing and deep learning has made artificial intelligence (AI) the new focus in the international arena. AI is a branch of computer science, developing intelligent machine with imitating, extending and augmenting human intelligence through artificial means and techniques to realize intelligent behaviour.This comprehensive compendium, consisting of 15 ... Read more

114,05 €

The joint breakthrough of big data, cloud computing and deep learning has made artificial intelligence (AI) the new focus in the international arena. AI is a branch of computer science, developing intelligent machine with imitating, extending and augmenting human intelligence through artificial means and techniques to realize intelligent behaviour.This comprehensive compendium, consisting of 15
... Read more
Applied Satisfiability

Cryptography, Scheduling, and Coalitional Games

by Xiaojuan Liao, Miyuki Koshimura ...

Apply satisfiability to a range of difficult problemsThe Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT and weighted MaxSAT, which assess whether, and to what extent, a solution satisfies a given set of ... Read more

128,99 €

Apply satisfiability to a range of difficult problemsThe Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT and weighted MaxSAT, which assess whether, and to what extent, a solution satisfies a given set of
... Read more
High Performance Integer Arithmetic Circuit Design on FPGA

Architecture, Implementation and Design Automation

by Ayan Palchaudhuri, Rajat Subhra Chakraborty ...

Series series Engineering (R0)
This book describes the optimized implementations of several arithmetic datapath, controlpath and pseudorandom sequence generator circuits for realization of high performance arithmetic circuits targeted towards a specific family of the high-end Field Programmable Gate Arrays (FPGAs). It explores regular, modular, cascadable and bit-sliced architectures of these circuits, by directly instantiating ... Read more

85,85 €

This book describes the optimized implementations of several arithmetic datapath, controlpath and pseudorandom sequence generator circuits for realization of high performance arithmetic circuits targeted towards a specific family of the high-end Field Programmable Gate Arrays (FPGAs). It explores regular, modular, cascadable and bit-sliced architectures of these circuits, by directly instantiating
... Read more
Conception de services connectés

Cadre d'architecture, algorithmique de composition, application à la maison connectée

by Rayhana Baghli ...

Dans le contexte de l'Internet des Objets (IoT), la conception de services connectés nécessite une approche de bout en bout afin de répondre aux attentes des bénéficiaires de ces services et d'adapter le fonctionnement des services à des conditions d'exécution très variées. L'approche sémantique proposée par cet ouvrage résulte d'un travail de recherche appliquée qui a été mené dans le cadre d'une ... Read more

19,99 € or Free with Kobo Plus

Dans le contexte de l'Internet des Objets (IoT), la conception de services connectés nécessite une approche de bout en bout afin de répondre aux attentes des bénéficiaires de ces services et d'adapter le fonctionnement des services à des conditions d'exécution très variées. L'approche sémantique proposée par cet ouvrage résulte d'un travail de recherche appliquée qui a été mené dans le cadre d'une
... Read more
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

A Cross-layer Approach

Edited by William Fornaciari, Dimitrios Soudris ...

Series series Engineering (R0)
This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing ... Read more

85,85 €

This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing
... Read more
Algorithmic Aspects of Cloud Computing

4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Edited by Yann Disser, Vassilios S. Verykios ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and ... Read more

47,69 €

This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and
... 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

Applied Computer Sciences in Engineering

Time & Logic

Reversible Computation

Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

Larisa Maksimova on Implication, Interpolation, and Definability

Applying Math with Python

Quaternions for Computer Graphics

Adiabatic Logic

Azure Ascension: From Cloud Novice to Enterprise Architect

Calidad de Sistemas de Información (4ª edición ampliada y actualizada)

Logic and Language Models for Computer Science

NLTK应用开发指南

Logical Foundations of Computer Science

Quick Start Guide to VHDL

Start Programming, Simulating HMI and PLC in Your Laptop: A No Bs, No Fluff, HMI and PLC Programming & Simulating Volume 2

Computational Science and Its Applications – ICCSA 2019

Multiple-Valued Logic Design

Problem Solving In Operation Management

Advanced Artificial Intelligence (Second Edition)

Applied Satisfiability

High Performance Integer Arithmetic Circuit Design on FPGA

Conception de services connectés

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

Algorithmic Aspects of Cloud Computing