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

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

PHP2,846.39

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 and the Foundations of Game and Decision Theory (LOFT 7)

Edited by Giacomo Bonanno, Michael Wooldridge, Wiebe Hoek ...

Series series Texts in Logic and Games
This volume collects together revised papersoriginally presented at the 7th Conference onLogic and the Foundations of Game and DecisionTheory (LOFT 2006). LOFT is a key venue forpresenting research at the intersection of logic,economics and computer science, and the presentcollection gives a lively and wide-rangingview of an exciting and rapidly growing area. ... Read more

PHP3,596.60

This volume collects together revised papersoriginally presented at the 7th Conference onLogic and the Foundations of Game and DecisionTheory (LOFT 2006). LOFT is a key venue forpresenting research at the intersection of logic,economics and computer science, and the presentcollection gives a lively and wide-rangingview of an exciting and rapidly growing area.
... Read more
Computational Intelligence in Music, Sound, Art and Design

8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Edited by Anikó Ekárt, Antonios Liapis, María Luz Castro Pena ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of ... Read more

PHP3,500.99

This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of
... Read more
Principles and Practice of Constraint Programming

25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Edited by Thomas Schiex, Simon de Givry ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, ... Read more

PHP3,070.99

This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms,
... Read more
Graph-Theoretic Concepts in Computer Science

45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Edited by Ignasi Sau, Dimitrios M. Thilikos ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Read more

PHP3,992.49

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... Read more
Computational Science and Its Applications – ICCSA 2019

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

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

PHP5,528.19

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
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I

Edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira ...

Series Book 1 - Springer Nature Proceedings Computer Science
The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.*The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track ... Read more

PHP3,070.99

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.*The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track
... Read more
VLSI 2010 Annual Symposium

Selected papers

Edited by Nikolaos Voros, Amar Mukherjee, Nicolas Sklavos, Konstantinos Masselos, Michael Huebner ...

Series series Springer Nature Proceedings excluding Computer Science
VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will include among others: Emerging Trends in VLSI, Nanoelectronics, Molecular, Biological and Quantum Computing. MEMS, VLSI Circuits and Systems, Field-programmable and Reconfigurable Systems, System Level Design, System-on-a-Chip Design, Application ... Read more

PHP12,285.59

VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will include among others: Emerging Trends in VLSI, Nanoelectronics, Molecular, Biological and Quantum Computing. MEMS, VLSI Circuits and Systems, Field-programmable and Reconfigurable Systems, System Level Design, System-on-a-Chip Design, Application
... Read more
Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

by Paul Papanek Stork ...

Processing information efficiently is critical to the successful operation of modern organizations. One particularly helpful tool is Microsoft Power Automate, a low-code/no-code development platform designed to help tech-savvy users create and implement workflows. This practical book explains how small-business and enterprise users can replace manual work that takes days with an automated process ... Read more

PHP2,836.39

Processing information efficiently is critical to the successful operation of modern organizations. One particularly helpful tool is Microsoft Power Automate, a low-code/no-code development platform designed to help tech-savvy users create and implement workflows. This practical book explains how small-business and enterprise users can replace manual work that takes days with an automated process
... Read more
Artificial Intelligence and Soft Computing

18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I

Edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 11508 and 11509 constitutes the refereed proceedings of of the 18th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2019, held in Zakopane, Poland, in June 2019.The 122 revised full papers presented were carefully reviewed and selected from 333 submissions. The papers included in the first volume are organized in the following five parts: ... Read more

PHP5,528.19

The two-volume set LNCS 11508 and 11509 constitutes the refereed proceedings of of the 18th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2019, held in Zakopane, Poland, in June 2019.The 122 revised full papers presented were carefully reviewed and selected from 333 submissions. The papers included in the first volume are organized in the following five parts:
... Read more
New Design: L’Estetica Globale i database e l’ibridazione mediale

by Bianca Fasano ...

BIANCA FASANO Sessione di Laurea: SETTEMBRE 2011Relatore: Chiar.mo Prof. Guelfo Tozzi Correlatore: Dr. Stefano PernaTitolo Tesi: New design: “L’estetica globale i database e l’ibridazione mediale”AbstractIl mondo si modifica continuamente e la società, in ogni sua espressione, deve necessariamente adeguarsi alle molteplici novità che l’uso del computer e ancor di più l’inserimento in una rete ... Read more

PHP289.13 or Free with Kobo Plus

BIANCA FASANO Sessione di Laurea: SETTEMBRE 2011Relatore: Chiar.mo Prof. Guelfo Tozzi Correlatore: Dr. Stefano PernaTitolo Tesi: New design: “L’estetica globale i database e l’ibridazione mediale”AbstractIl mondo si modifica continuamente e la società, in ogni sua espressione, deve necessariamente adeguarsi alle molteplici novità che l’uso del computer e ancor di più l’inserimento in una rete
... Read more
Euro-Par 2018: Parallel Processing Workshops

Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Edited by Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio, Emmanuel Jeannot, Felix Wolf, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Laura Ricci, Marco Beccuti, Laura Antonelli, José Daniel Garcia Sanchez, Stephen L. Scott ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops held at 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, which took place in Turin, Italy, in August 2018.The 64 full papers presented in this volume were carefully reviewed and selected from 109 submissions.Euro-Par is an annual, international conference in Europe, covering all aspects of parallel ... Read more

PHP5,528.19

This book constitutes revised selected papers from the workshops held at 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, which took place in Turin, Italy, in August 2018.The 64 full papers presented in this volume were carefully reviewed and selected from 109 submissions.Euro-Par is an annual, international conference in Europe, covering all aspects of parallel
... Read more
Machine Learning and Knowledge Extraction

Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

Edited by Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the IFIP TC 5, TC 12, WG 8.4, 8.9, 12.9 International Cross-Domain Conference for Machine Learning and Knowledge Extraction, CD-MAKE 2019, held in Canterbury, UK, in August 2019.The 25 revised full papers presented were carefully reviewed and selected from 45 submissions. The cross-domain integration and appraisal of different fields provides an ... Read more

PHP3,070.99

This book constitutes the refereed proceedings of the IFIP TC 5, TC 12, WG 8.4, 8.9, 12.9 International Cross-Domain Conference for Machine Learning and Knowledge Extraction, CD-MAKE 2019, held in Canterbury, UK, in August 2019.The 25 revised full papers presented were carefully reviewed and selected from 45 submissions. The cross-domain integration and appraisal of different fields provides an
... Read more
Network and Parallel Computing

15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Edited by Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, Mateo Valero ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th IFIP International Conference on Network and Parallel Computing, NPC 2018, held in Muroran, Japan, in November/December 2018.The 22 full and 12 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The papers cover traditional areas of network and parallel computing, including parallel applications, ... Read more

PHP3,070.99

This book constitutes the proceedings of the 15th IFIP International Conference on Network and Parallel Computing, NPC 2018, held in Muroran, Japan, in November/December 2018.The 22 full and 12 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The papers cover traditional areas of network and parallel computing, including parallel applications,
... Read more
Network and Parallel Computing

21st IFIP WG 10.3 International Conference, NPC 2025, Nha Trang, Vietnam, November 14–16, 2025, Proceedings, Part II

Edited by Xiaoliang Wang, Xiaohong Jiang, Noel Crespi, Baoliu Ye ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-part volume LNCS 16305 and 16306 constitutes the proceedings of the 21st IFIP International Conference on Network and Parallel Computing, NPC 2025, which was held in Nha Trang, Vietnam, during November 14-16, 2025.The 76 full papers included in this volume were carefully reviewed and selected from 223 submissions. Topics of interest include, but are not limited to, parallel and ... Read more

PHP5,528.19

This two-part volume LNCS 16305 and 16306 constitutes the proceedings of the 21st IFIP International Conference on Network and Parallel Computing, NPC 2025, which was held in Nha Trang, Vietnam, during November 14-16, 2025.The 76 full papers included in this volume were carefully reviewed and selected from 223 submissions. Topics of interest include, but are not limited to, parallel and
... Read more
Software Defined Chips

Volume II

by Leibo Liu, Shaojun Wei, Jianfeng Zhu, Chenchen Deng ...

Series series Engineering (R0)
This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and ... Read more

PHP9,214.09

This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and
... Read more
Job Scheduling Strategies for Parallel Processing

25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Edited by Dalibor Klusáček, Corbalán Julita, Gonzalo P. Rodrigo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).The 12 revised full papers presented were carefully reviewed and selected from 19 submissions. In addition to this,1 keynote paper was included in the ... Read more

PHP3,992.49

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).The 12 revised full papers presented were carefully reviewed and selected from 19 submissions. In addition to this,1 keynote paper was included in the
... Read more
Applications of Evolutionary Computation

20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

Edited by Giovanni Squillero, Kevin Sim ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.The 46 revised full papers presented together with 26 poster papers were carefully reviewed and ... Read more

PHP3,070.99

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.The 46 revised full papers presented together with 26 poster papers were carefully reviewed and
... Read more
New Frontiers in Mining Complex Patterns

6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers

Edited by Annalisa Appice, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras ...

Series series Springer Nature Proceedings Computer Science
This book features a collection of revised and significantly extended versions of the papers accepted for presentation at the 6th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2017, held in conjunction with ECML-PKDD 2017 in Skopje, Macedonia, in September 2017. The book is composed of five parts: feature selection and induction; classification prediction; clustering; ... Read more

PHP3,070.99

This book features a collection of revised and significantly extended versions of the papers accepted for presentation at the 6th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2017, held in conjunction with ECML-PKDD 2017 in Skopje, Macedonia, in September 2017. The book is composed of five parts: feature selection and induction; classification prediction; clustering;
... Read more
Computational Science – ICCS 2018

18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 10860, 10861 + 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018.The total of 155 full and 66 short papers presented in this book set was carefully reviewed and selected from 404 submissions. The papers were organized in topical sections named:Part I: ICCS Main TrackPart II: Track ... Read more

PHP3,070.99

The three-volume set LNCS 10860, 10861 + 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018.The total of 155 full and 66 short papers presented in this book set was carefully reviewed and selected from 404 submissions. The papers were organized in topical sections named:Part I: ICCS Main TrackPart II: Track
... 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,070.99

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
Transactions on Computational Science XXIV

Special Issue on Reversible Computing

Edited by Marina L. Gavrilova, Himanshu Thapliyal, Nagarajan Ranganathan, C.J. Kenneth Tan ...

Series series Computer Science (R0)
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, ... Read more

PHP3,070.99

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments,
... Read more
High Performance Computing for Computational Science – VECPAR 2016

12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science,VECPAR 2016, held in Porto, Portugal, in June 2016.The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on applications; performance modeling and analysis ... Read more

PHP3,070.99

This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science,VECPAR 2016, held in Porto, Portugal, in June 2016.The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on applications; performance modeling and analysis
... Read more
Logical Foundations of Computer Science

(In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic

by Peter A Fejer, Dan A Simovici ...

Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in ... Read more

PHP18,451.29

Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in
... 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

Fundamentals of Software Architecture

Logic and the Foundations of Game and Decision Theory (LOFT 7)

Computational Intelligence in Music, Sound, Art and Design

Principles and Practice of Constraint Programming

Graph-Theoretic Concepts in Computer Science

Computational Science and Its Applications – ICCSA 2019

Computational Science – ICCS 2020

VLSI 2010 Annual Symposium

Learning Microsoft Power Automate

Artificial Intelligence and Soft Computing

New Design: L’Estetica Globale i database e l’ibridazione mediale

Euro-Par 2018: Parallel Processing Workshops

Machine Learning and Knowledge Extraction

Network and Parallel Computing

Network and Parallel Computing

Software Defined Chips

Job Scheduling Strategies for Parallel Processing

Applications of Evolutionary Computation

New Frontiers in Mining Complex Patterns

Computational Science – ICCS 2018

Digital Logic for Computing

Transactions on Computational Science XXIV

High Performance Computing for Computational Science – VECPAR 2016

Logical Foundations of Computer Science