Rakuten Kobo

Kundvagn

Objekt inte tillgängliga för köp

Vänligen granska din kundvagn. Du kan ta bort objekt som inte är tillgängliga nu, eller så gör vi det automatiskt i kassan.

objektobjekt

- Omfattar e-böcker
  
  Inkluderar ljudböcker
  
  Inkluderar 30 timmars lyssningstid
  
  Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions
  
  Få 1 kredit varje månad för valfri ljudbok
  
  Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions
  
  Omfattar e-böcker
  
  Inkluderar ljudböcker
  
  Inkluderar 30 timmars lyssningstid
  
  Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions
  Ljudbok
  av ,
  
  Tillgänglig:
  
  . Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions.
  
  Förbeställ
  1 ljudbok per månad
  
  + GRATIS provprenumeration i 30 dagar
  
  Specialerbjudande
  
  Få 1 kredit varje månad som kan lösas in mot en valfri ljudbok
  
  *Inget åtagande, avbryt när som helst
  
  GRATIS

objektobjekt

Omfattar e-böcker

Inkluderar ljudböcker

Inkluderar 30 timmars lyssningstid

Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions

Få 1 kredit varje månad för valfri ljudbok

Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions

Omfattar e-böcker

Inkluderar ljudböcker

Inkluderar 30 timmars lyssningstid

Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions
Ljudbok
av ,

Tillgänglig:
. Ingen bindningstid, avbryt när som helst på kobo.com/account/subscriptions.

Förbeställ
1 ljudbok per månad

+ GRATIS provprenumeration i 30 dagar

Specialerbjudande

Få 1 kredit varje månad som kan lösas in mot en valfri ljudbok

*Inget åtagande, avbryt när som helst

GRATIS

Rekommenderas för dig

Building Resilient Distributed Systems

Patterns and Practices for Stable Software

av Sam Newman ...

When every safeguard is in place and your distributed system still fails, a simplistic, narrow view of system resilience is no longer enough. Modern software architectures, amplified by unpredictable AI components, demand a different approach to preventing catastrophic downtime.In Building Resilient Distributed Systems, author Sam Newman offers a modern blueprint for surviving real-world system ... Läs mer

472,11 kr

When every safeguard is in place and your distributed system still fails, a simplistic, narrow view of system resilience is no longer enough. Modern software architectures, amplified by unpredictable AI components, demand a different approach to preventing catastrophic downtime.In Building Resilient Distributed Systems, author Sam Newman offers a modern blueprint for surviving real-world system
... Läs mer
Fundamentals of Software Architecture

A Modern Engineering Approach

av 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 ... Läs mer

535,08 kr

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
... Läs mer
Parallel Computational Technologies

12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

Redigerad av Leonid Sokolinsky, Mikhail Zymbler ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical ... Läs mer

580,13 kr

This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical
... Läs mer
Creativity in Intelligent Technologies and Data Science

Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

Redigerad av Alla G. Kravets, Peter P. Groumpos, Maxim Shcherbakov, Marina Kultsova ...

Serie Bok 2 - Springer Nature Proceedings Computer Science
This two-volume set constitutes the proceedings of the Third Conference on Creativity in Intellectual Technologies and Data Science, CIT&DS 2019, held in Volgograd, Russia, in September 2019.The 67 full papers, 1 short paper and 3 keynote papers presented were carefully reviewed and selected from 231 submissions. The papers are organized in topical sections in the two volumes. Part I: cyber ... Läs mer

580,13 kr

This two-volume set constitutes the proceedings of the Third Conference on Creativity in Intellectual Technologies and Data Science, CIT&DS 2019, held in Volgograd, Russia, in September 2019.The 67 full papers, 1 short paper and 3 keynote papers presented were carefully reviewed and selected from 231 submissions. The papers are organized in topical sections in the two volumes. Part I: cyber
... Läs mer
Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

av Rune Krauss ...

Serie serie Computer Science and Engineering (German Language)
Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repräsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation ... Läs mer

509,68 kr

Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repräsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation
... Läs mer
OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Redigerad av Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP. ... Läs mer

754,20 kr

This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP.
... Läs mer
Separation Logic for High-level Synthesis

av Felix Winterstein ...

Serie serie Engineering (R0)
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance ... Läs mer

1 044,32 kr

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance
... Läs mer
Advanced Symbolic Analysis for VLSI Systems

Methods and Applications

av Sheldon X.-D. Tan, Esteban Tlelo Cuautle, Guoyong Shi ...

Serie serie Engineering (R0)
This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include statistical timing and crosstalk analysis, statistical and parallel analysis, performance bound analysis and ... Läs mer

1 624,56 kr

This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include statistical timing and crosstalk analysis, statistical and parallel analysis, performance bound analysis and
... Läs mer
High Performance Computing

8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers

Redigerad av Isidoro Gitler, Carlos Jaime Barrios Hernández, Esteban Meneses ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers of the 8th Latin American High Performance Computing Conference, CARLA 2021, held in Guadalajara, Mexico, in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.The 16 revised full papers and 2 short papers presented were carefully reviewed and selected out of 45 submissions. The papers included in this book are ... Läs mer

870,25 kr

This book constitutes revised selected papers of the 8th Latin American High Performance Computing Conference, CARLA 2021, held in Guadalajara, Mexico, in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.The 16 revised full papers and 2 short papers presented were carefully reviewed and selected out of 45 submissions. The papers included in this book are
... Läs mer
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection

17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings

Redigerad av Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando De la Prieta ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019, held in Ávila, Spain, in June 2019.The 19 regular and 14 demo papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with the application and validation of agent-based models, methods, and technologies in a ... Läs mer

580,13 kr

This book constitutes the proceedings of the 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019, held in Ávila, Spain, in June 2019.The 19 regular and 14 demo papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with the application and validation of agent-based models, methods, and technologies in a
... Läs mer
Computer Engineering and Technology

22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers

Redigerad av Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd CCF Conference on Computer Engineering and Technology, NCCET 2018, held in Yinchuan, China, in August 2018.The 17 full papers presented were carefully reviewed and selected from 120 submissions. They address topics such as processor architecture; application specific processors; computer application and software optimization; technology on ... Läs mer

580,13 kr

This book constitutes the refereed proceedings of the 22nd CCF Conference on Computer Engineering and Technology, NCCET 2018, held in Yinchuan, China, in August 2018.The 17 full papers presented were carefully reviewed and selected from 120 submissions. They address topics such as processor architecture; application specific processors; computer application and software optimization; technology on
... Läs mer
Logic and Language Models for Computer Science

av 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 ... Läs mer

468,15 kr

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
... Läs mer
Applications of Evolutionary Computation

22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Redigerad av Paul Kaufmann, Pedro A. Castillo ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Evolutionary Computation, EvoApplications 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoMUSART.The 44 revised full papers presented were carefully reviewed and selected from 66 submissions. They were organized in topical sections named: ... Läs mer

580,13 kr

This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Evolutionary Computation, EvoApplications 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoMUSART.The 44 revised full papers presented were carefully reviewed and selected from 66 submissions. They were organized in topical sections named:
... Läs mer
Practical Hadoop Migration

How to Integrate Your RDBMS with the Hadoop Ecosystem and Re-Architect Relational Applications to NoSQL

av Bhushan Lakhe ...

Serie serie Professional and Applied Computing (R0)
Re-architect relational applications to NoSQL, integrate relational database management systems with the Hadoop ecosystem, and transform and migrate relational data to and from Hadoop components. This book covers the best-practice design approaches to re-architecting your relational applications and transforming your relational data to optimize concurrency, security, denormalization, and ... Läs mer

433,67 kr

Re-architect relational applications to NoSQL, integrate relational database management systems with the Hadoop ecosystem, and transform and migrate relational data to and from Hadoop components. This book covers the best-practice design approaches to re-architecting your relational applications and transforming your relational data to optimize concurrency, security, denormalization, and
... Läs mer
Next Generation Arithmetic

5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20–21, 2024, Proceedings

Redigerad av Marek Michalewicz, John Gustafson, Himeshi De Silva ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Conference for Next Generation Arithmetic, CoNGA 2024, held in Sydney, NSW, Australia, during February 20–21, 2024.The 5 revised full papers presented were carefully selected from 9 submissions. CoNGA is the leading conference on emerging technologies for computer arithmetic. The demands of both AI and HPC have ... Läs mer

638,15 kr

This book constitutes the refereed post-conference proceedings of the 5th International Conference for Next Generation Arithmetic, CoNGA 2024, held in Sydney, NSW, Australia, during February 20–21, 2024.The 5 revised full papers presented were carefully selected from 9 submissions. CoNGA is the leading conference on emerging technologies for computer arithmetic. The demands of both AI and HPC have
... Läs mer
Mastering ROS for Robotics Programming

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

av Lentin Joseph ...

Design, build and simulate complex robots using Robot Operating System and master its out-of-the-box functionalitiesKey FeaturesDevelop complex robotic applications using ROS for interfacing robot manipulators and mobile robots with the help of high end robotic sensorsGain insights into autonomous navigation in mobile robot and motion planning in robot manipulatorsDiscover the best practices and ... Läs mer

491,83 kr eller gratis med Kobo Plus

Design, build and simulate complex robots using Robot Operating System and master its out-of-the-box functionalitiesKey FeaturesDevelop complex robotic applications using ROS for interfacing robot manipulators and mobile robots with the help of high end robotic sensorsGain insights into autonomous navigation in mobile robot and motion planning in robot manipulatorsDiscover the best practices and
... Läs mer
Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Redigerad av Rolf Drechsler, Mathias Soeken ...

Serie serie Engineering (R0)
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems.Provides a single-source reference to ... Läs mer

1 044,32 kr

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems.Provides a single-source reference to
... Läs mer
Cloud Computing and Big Data

7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers

Redigerad av Marcelo Naiouf, Franco Chichizola, Enzo Rucci ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 7th International Conference on Cloud Computing and Big Data, JCC&BD 2019, held in La Plata, Buenos Aires, Argentina, in June 2019.The 12 full papers presented were carefully reviewed and selected from a total of 31 submissions. They are dealing with such topics as cloud computing and HPC; Big Data and data intelligence; mobile computing. ... Läs mer

580,13 kr

This book constitutes the revised selected papers of the 7th International Conference on Cloud Computing and Big Data, JCC&BD 2019, held in La Plata, Buenos Aires, Argentina, in June 2019.The 12 full papers presented were carefully reviewed and selected from a total of 31 submissions. They are dealing with such topics as cloud computing and HPC; Big Data and data intelligence; mobile computing.
... Läs mer
Digital Logic That Finally Makes Sense: An Illustrated Beginner’s Guide to Logic Gates, Binary Numbers, Boolean Algebra, Memory, Timing, and Digital Circuits

Electronics - easy and simple.

av Klemens Nguyen ...

Serie serie Electronics - easy and simple.
You know that computers use ones and zeros. But how do those simple signals become a circuit that calculates, makes decisions, and remembers?Why does Boolean algebra say 1 + 1 = 1—while binary arithmetic says 1 + 1 = 10? How can gates store a bit? Why can one button press make a counter advance several times?Digital Logic That Finally Makes Sense connects the rules you have learned to what ... Läs mer

93,87 kr eller gratis med Kobo Plus

You know that computers use ones and zeros. But how do those simple signals become a circuit that calculates, makes decisions, and remembers?Why does Boolean algebra say 1 + 1 = 1—while binary arithmetic says 1 + 1 = 10? How can gates store a bit? Why can one button press make a counter advance several times?Digital Logic That Finally Makes Sense connects the rules you have learned to what
... Läs mer
Formalized Probability Theory and Applications Using Theorem Proving

av Osman Hasan, Sofiène Tahar ...

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve. Formalized Probability Theory and Applications Using Theorem Proving discusses some ... Läs mer

1 867,72 kr

FÖRBESTÄLL

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve. Formalized Probability Theory and Applications Using Theorem Proving discusses some
... Läs mer
Research in Computational Molecular Biology

23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Redigerad av Lenore J. Cowen ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd Annual Conference on Research in Computational Molecular Biology, RECOMB 2019, held in Washington, DC, USA, in April 2019.The 17 extended and 20 short abstracts presented were carefully reviewed and selected from 175 submissions. The short abstracts are included in the back matter of the volume. The papers report on original research in all areas ... Läs mer

754,20 kr

This book constitutes the proceedings of the 23rd Annual Conference on Research in Computational Molecular Biology, RECOMB 2019, held in Washington, DC, USA, in April 2019.The 17 extended and 20 short abstracts presented were carefully reviewed and selected from 175 submissions. The short abstracts are included in the back matter of the volume. The papers report on original research in all areas
... Läs mer
Compact Models and Measurement Techniques for High-Speed Interconnects

av Rohit Sharma, Tapas Chakravarty ...

Serie serie Engineering (R0)
Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed interconnects from the perspective of modeling approaches and measurement techniques. Particular focus is laid on the unified approach (variational method combined with the transverse transmission line technique) to develop efficient compact models for planar ... Läs mer

580,13 kr

Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed interconnects from the perspective of modeling approaches and measurement techniques. Particular focus is laid on the unified approach (variational method combined with the transverse transmission line technique) to develop efficient compact models for planar
... Läs mer
Parallel Processing and Applied Mathematics

12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Redigerad av Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski ...

Serie Bok 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in the proceedings were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 ... Läs mer

580,13 kr

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in the proceedings were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017
... Läs mer
Advanced Computer Architecture

12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Redigerad av Chao Li, Junjie Wu ...

Serie serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th Annual Conference on Advanced Computer Architecture, ACA 2018, held in Yingkou, China, in August 2018.The 17 revised full papers presented were carefully reviewed and selected from 80 submissions. The papers of this volume are organized in topical sections on: accelerators; new design explorations; towards efficient ML/AI; parallel ... Läs mer

580,13 kr

This book constitutes the refereed proceedings of the 12th Annual Conference on Advanced Computer Architecture, ACA 2018, held in Yingkou, China, in August 2018.The 17 revised full papers presented were carefully reviewed and selected from 80 submissions. The papers of this volume are organized in topical sections on: accelerators; new design explorations; towards efficient ML/AI; parallel
... Läs mer

Kobo Rakuten

Läsplattor

Appar

Tillbehör

Kundvagn

Du får VIP-behandlingen!

Din kundvagn är tom

Tillgänglig:

1 ljudbok per månad

+ GRATIS provprenumeration i 30 dagar

Tillgänglig:

1 ljudbok per månad

+ GRATIS provprenumeration i 30 dagar

Rekommenderas för dig

Logisk design E-böcker

Building Resilient Distributed Systems

Fundamentals of Software Architecture

Parallel Computational Technologies

Creativity in Intelligent Technologies and Data Science

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

OpenMP: Conquering the Full Hardware Spectrum

Separation Logic for High-level Synthesis

Advanced Symbolic Analysis for VLSI Systems

High Performance Computing

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection

Computer Engineering and Technology

Logic and Language Models for Computer Science

Applications of Evolutionary Computation

Practical Hadoop Migration

Next Generation Arithmetic

Mastering ROS for Robotics Programming

Advanced Boolean Techniques

Cloud Computing and Big Data

Digital Logic That Finally Makes Sense: An Illustrated Beginner’s Guide to Logic Gates, Binary Numbers, Boolean Algebra, Memory, Timing, and Digital Circuits

Formalized Probability Theory and Applications Using Theorem Proving

Research in Computational Molecular Biology

Compact Models and Measurement Techniques for High-Speed Interconnects

Parallel Processing and Applied Mathematics

Advanced Computer Architecture