0
Your cart

Your cart is empty

Browse All departments
Price
  • R0 - R50 (1)
  • R100 - R250 (43)
  • R250 - R500 (64)
  • R500+ (2,983)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Power Estimation on Electronic System Level using Linear Power Models (Hardcover, 1st ed. 2019): Stefan Schuermans, Rainer... Power Estimation on Electronic System Level using Linear Power Models (Hardcover, 1st ed. 2019)
Stefan Schuermans, Rainer Leupers
R2,890 R2,514 Discovery Miles 25 140 Save R376 (13%) Ships in 10 - 15 working days

This book describes a flexible and largely automated methodology for adding the estimation of power consumption to high level simulations at the electronic system level (ESL). This method enables the inclusion of power consumption considerations from the very start of a design. This ability can help designers of electronic systems to create devices with low power consumption. The authors also demonstrate the implementation of the method, using the popular ESL language "SystemC". This implementation enables most existing SystemC ESL simulations for power estimation with very little manual work. Extensive case-studies of a Network on Chip communication architecture and a dual-core application processor "ARM Cortex-A9" showcase the applicability and accuracy of the method to different types of electronic devices. The evaluation compares various trade-offs regarding amount of manual work, types of ESL models, achieved estimation accuracy and impact on the simulation speed. Describes a flexible and largely automated ESL power estimation method; Shows implementation of power estimation methodology in SystemC; Uses two extensive case studies to demonstrate method introduced.

The Dialogical Roots of Deduction - Historical, Cognitive, and Philosophical Perspectives on Reasoning (Hardcover): Catarina... The Dialogical Roots of Deduction - Historical, Cognitive, and Philosophical Perspectives on Reasoning (Hardcover)
Catarina Dutilh Novaes
R2,047 Discovery Miles 20 470 Ships in 7 - 11 working days
Algorithms and Architectures for Parallel Processing - ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17,... Algorithms and Architectures for Parallel Processing - ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings (Paperback, 1st ed. 2018)
Ting Hu, Feng Wang, Hongwei Li, Qian Wang
R1,259 R1,142 Discovery Miles 11 420 Save R117 (9%) Ships in 10 - 15 working days

This book constitutes the workshop proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018. The 24 full papers presented were carefully selected and reviewed from numerous submissions to the two following workshops: - ICA3PP 2018 Workshop on Intelligent Algorithms for Large-scale Complex Optimization Problems - ICA3PP 2018 Workshop on Security and Privacy in Data Processing

Network and Parallel Computing - 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December... Network and Parallel Computing - 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018, Proceedings (Paperback, 1st ed. 2018)
Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, …
R1,258 R1,141 Discovery Miles 11 410 Save R117 (9%) Ships in 10 - 15 working days

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, distributed algorithms, parallel architectures, software environments, and distributed tools.

Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised... Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio, Emmanuel Jeannot, …
R2,707 R2,264 Discovery Miles 22 640 Save R443 (16%) Ships in 10 - 15 working days

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 and distributed processing. These range from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-edged applications, from architecture, compiler, language and interface design and implementation to tools, support infrastructures, and application performance aspects.

Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November... Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I (Paperback, 1st ed. 2018)
Jaideep Vaidya, Jin Li
R2,294 R2,028 Discovery Miles 20 280 Save R266 (12%) Ships in 10 - 15 working days

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018. The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel Computing; High Performance Computing; Big Data and Information Processing; Internet of Things and Cloud Computing; and Security and Privacy in Computing.

Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November... Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II (Paperback, 1st ed. 2018)
Jaideep Vaidya, Jin Li
R2,293 R2,027 Discovery Miles 20 270 Save R266 (12%) Ships in 10 - 15 working days

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018. The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel Computing; High Performance Computing; Big Data and Information Processing; Internet of Things and Cloud Computing; and Security and Privacy in Computing.

Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November... Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III (Paperback, 1st ed. 2018)
Jaideep Vaidya, Jin Li
R2,296 R1,927 Discovery Miles 19 270 Save R369 (16%) Ships in 10 - 15 working days

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018. The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel Computing; High Performance Computing; Big Data and Information Processing; Internet of Things and Cloud Computing; and Security and Privacy in Computing.

Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November... Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV (Paperback, 1st ed. 2018)
Jaideep Vaidya, Jin Li
R2,294 R2,029 Discovery Miles 20 290 Save R265 (12%) Ships in 10 - 15 working days

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018. The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel Computing; High Performance Computing; Big Data and Information Processing; Internet of Things and Cloud Computing; and Security and Privacy in Computing.

Systems Architecture (Paperback, 7th edition): Stephen D. Burd Systems Architecture (Paperback, 7th edition)
Stephen D. Burd
R911 R782 Discovery Miles 7 820 Save R129 (14%) Ships in 15 - 25 working days

Discover the most comprehensive introduction to information systems hardware and software in business today with SYSTEMS ARCHITECTURE, 7E. This new edition remains an indispensable tool for your strong foundation in IS (Information Systems) as the book emphasizes a managerial, broad systems perspective that provides a holistic approach to systems architecture. Thorough updates throughout this edition ensure all concepts, examples and applications reflect the very latest new technologies.

Approximate Circuits - Methodologies and CAD (Hardcover, 1st ed. 2019): Sherief Reda, Muhammad Shafique Approximate Circuits - Methodologies and CAD (Hardcover, 1st ed. 2019)
Sherief Reda, Muhammad Shafique
R2,213 R1,956 Discovery Miles 19 560 Save R257 (12%) Ships in 10 - 15 working days

This book provides readers with a comprehensive, state-of-the-art overview of approximate computing, enabling the design trade-off of accuracy for achieving better power/performance efficiencies, through the simplification of underlying computing resources. The authors describe in detail various efforts to generate approximate hardware systems, while still providing an overview of support techniques at other computing layers. The book is organized by techniques for various hardware components, from basic building blocks to general circuits and systems.

The Datacenter as a Computer - Designing Warehouse-Scale Machines (Paperback, 3rd Revised edition): Luiz Andre Barroso, Urs... The Datacenter as a Computer - Designing Warehouse-Scale Machines (Paperback, 3rd Revised edition)
Luiz Andre Barroso, Urs Hoelzle, Parthasarathy Ranganathan; Series edited by Margaret Martonosi
R1,336 Discovery Miles 13 360 Ships in 7 - 11 working days

This book describes warehouse-scale computers (WSCs), the computing platforms that power cloud computing and all the great web services we use every day. It discusses how these new systems treat the datacenter itself as one massive computer designed at warehouse scale, with hardware and software working in concert to deliver good levels of internet service performance. The book details the architecture of WSCs and covers the main factors influencing their design, operation, and cost structure, and the characteristics of their software base. Each chapter contains multiple real-world examples, including detailed case studies and previously unpublished details of the infrastructure used to power Google's online services. Targeted at the architects and programmers of today's WSCs, this book provides a great foundation for those looking to innovate in this fascinating and important area, but the material will also be broadly interesting to those who just want to understand the infrastructure powering the internet. The third edition reflects four years of advancements since the previous edition and nearly doubles the number of pictures and figures. New topics range from additional workloads like video streaming, machine learning, and public cloud to specialized silicon accelerators, storage and network building blocks, and a revised discussion of data center power and cooling, and uptime. Further discussions of emerging trends and opportunities ensure that this revised edition will remain an essential resource for educators and professionals working on the next generation of WSCs.

The Datacenter as a Computer - Designing Warehouse-Scale Machines (Hardcover, 3rd Revised edition): Luiz Andre Barroso, Urs... The Datacenter as a Computer - Designing Warehouse-Scale Machines (Hardcover, 3rd Revised edition)
Luiz Andre Barroso, Urs Hoelzle, Parthasarathy Ranganathan; Series edited by Margaret Martonosi
R1,748 Discovery Miles 17 480 Ships in 7 - 11 working days

This book describes warehouse-scale computers (WSCs), the computing platforms that power cloud computing and all the great web services we use every day. It discusses how these new systems treat the datacenter itself as one massive computer designed at warehouse scale, with hardware and software working in concert to deliver good levels of internet service performance. The book details the architecture of WSCs and covers the main factors influencing their design, operation, and cost structure, and the characteristics of their software base. Each chapter contains multiple real-world examples, including detailed case studies and previously unpublished details of the infrastructure used to power Google's online services. Targeted at the architects and programmers of today's WSCs, this book provides a great foundation for those looking to innovate in this fascinating and important area, but the material will also be broadly interesting to those who just want to understand the infrastructure powering the internet. The third edition reflects four years of advancements since the previous edition and nearly doubles the number of pictures and figures. New topics range from additional workloads like video streaming, machine learning, and public cloud to specialized silicon accelerators, storage and network building blocks, and a revised discussion of data center power and cooling, and uptime. Further discussions of emerging trends and opportunities ensure that this revised edition will remain an essential resource for educators and professionals working on the next generation of WSCs.

Logics for Computer Science - Classical and Non-Classical (Hardcover, 1st ed. 2018): Anita Wasilewska Logics for Computer Science - Classical and Non-Classical (Hardcover, 1st ed. 2018)
Anita Wasilewska
R2,555 R2,268 Discovery Miles 22 680 Save R287 (11%) Ships in 10 - 15 working days

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics. The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.

Computer Architecture: Digital Circuits To Microprocessors (Paperback): Guiherme Arroz, Jose Monteiro, Arlindo Oliveira Computer Architecture: Digital Circuits To Microprocessors (Paperback)
Guiherme Arroz, Jose Monteiro, Arlindo Oliveira
R2,089 Discovery Miles 20 890 Ships in 7 - 11 working days

An introductory text to computer architecture, this comprehensive volume covers the concepts from logic gates to advanced computer architecture. It comes with a full spectrum of exercises and web-downloadable support materials, including assembler and simulator, which can be used in the context of different courses. The authors also make available a hardware description, which can be used in labs and assignments, for hands-on experimentation with an actual, simple processor.This unique compendium is a useful reference for undergraduates, graduates and professionals majoring in computer engineering, circuits and systems, software engineering, biomedical engineering and aerospace engineering.Related Link(s)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms - A Cross-layer Approach... Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms - A Cross-layer Approach (Hardcover, 1st ed. 2019)
William Fornaciari, Dimitrios Soudris
R3,506 R2,884 Discovery Miles 28 840 Save R622 (18%) Ships in 10 - 15 working days

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 guarantees throughout the expected lifetime of a platform under thermal, power, and energy constraints. Various aspects of the reliability problem are discussed, at both the circuit and architecture level, the intelligent selection of knobs and monitors in multicore platforms, and systematic design methodologies. The authors demonstrate how new techniques have been applied in real case studies from different applications domain and report on results and conclusions of those experiments. Enables readers to develop performance-dependable heterogeneous multi/many-core architectures Describes system software designs that support high performance dependability requirements Discusses and analyzes low level methodologies to tradeoff conflicting metrics, i.e. power, performance, reliability and thermal management Includes new application design guidelines to improve performance dependability

Aws Certified Solutions Architect - Associate Exam Practice Questions - 500+ Questions (Paperback): Ip Specialist Aws Certified Solutions Architect - Associate Exam Practice Questions - 500+ Questions (Paperback)
Ip Specialist
R570 Discovery Miles 5 700 Ships in 7 - 11 working days
Green IT Engineering: Social, Business and Industrial Applications (Hardcover, 1st ed. 2019): Vyacheslav Kharchenko, Yuriy... Green IT Engineering: Social, Business and Industrial Applications (Hardcover, 1st ed. 2019)
Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk
R4,730 Discovery Miles 47 300 Ships in 7 - 11 working days

This book describes the implementation of green IT in various human and industrial domains. Consisting of four sections: "Development and Optimization of Green IT", "Modelling and Experiments with Green IT Systems", "Industry and Transport Green IT Systems", "Social, Educational and Business Aspects of Green IT", it presents results in two areas - the green components, networks, cloud and IoT systems and infrastructures; and the industry, business, social and education domains. It discusses hot topics such as programmable embedded and mobile systems, sustainable software and data centers, Internet servicing and cyber social computing, assurance cases and lightweight cryptography in context of green IT. Intended for university students, lecturers and researchers who are interested in power saving and sustainable computing, the book also appeals to engineers and managers of companies that develop and implement energy efficient IT applications.

Security Policy in System-on-Chip Designs - Specification, Implementation and Verification (Hardcover, 1st ed. 2019): Sandip... Security Policy in System-on-Chip Designs - Specification, Implementation and Verification (Hardcover, 1st ed. 2019)
Sandip Ray, Abhishek Basak, Swarup Bhunia
R2,045 Discovery Miles 20 450 Ships in 7 - 11 working days

This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs - current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing security policies, which satisfies the goals of flexibility, verification, and upgradability from the ground up, including a plug-and-play hardware block in which all policy implementations are enclosed. Using this architecture, they discuss the ramifications of designing SoC security policies, including effects on non-functional properties (power/performance), debug, validation, and upgrade. The authors also describe a systematic approach for "hardware patching", i.e., upgrading hardware implementations of security requirements safely, reliably, and securely in the field, meeting a critical need for diverse Internet of Things (IoT) devices. Provides comprehensive coverage of SoC security requirements, security policies, languages, and security architecture for current and emerging computing devices; Explodes myths and ambiguities in SoC security policy implementations, and provide a rigorous treatment of the subject; Demonstrates a rigorous, step-by-step approach to developing a diversity of SoC security policies; Introduces a rigorous, disciplined approach to "hardware patching", i.e., secure technique for updating hardware functionality of computing devices in-field; Includes discussion of current and emerging approaches for security policy verification.

Process Algebra for Parallel and Distributed Processing (Hardcover, New): Michael Alexander, William Gardner Process Algebra for Parallel and Distributed Processing (Hardcover, New)
Michael Alexander, William Gardner
R3,065 Discovery Miles 30 650 Ships in 10 - 15 working days

Collects the Latest Research Involving the Application of Process Algebra to Computing Exploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning-process algebra-has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Programming Divided into three parts, the book begins by parallelizing an algorithm for the Cell Broadband Engine processor of IBM, Sony, and Toshiba. It also develops a runtime environment that can be ported to different parallel platforms and describes the formal model of action systems. Distributed Systems The next part presents a process algebra (mCRL2) that targets distributed applications, looks at how to turn prose descriptions into unambiguous specifications, extends pi-calculus to create a service-oriented mobility abstract machine, and introduces the Channel Ambient Machine for mobile applications. Embedded Systems The final section combines state-based Z with the event-based process algebra CSP in a formal methodology called Circus. It also develops a pair of process algebras (PARS) to address the problem of scheduling in real-time embedded systems and emphasizes the reuse of concurrent artifacts across different hardware platforms. Highlighting recent research work, this volume addresses multicore programming problems and the evolution of the growing body of concurrency-enabled languages. It proposes solutions to the problems of designing and implementing today's concurrency-constrained multicore processor and cloud architectures.

Test Generation of Crosstalk Delay Faults in VLSI Circuits (Hardcover, 1st ed. 2019): S. Jayanthy, M.C. Bhuvaneswari Test Generation of Crosstalk Delay Faults in VLSI Circuits (Hardcover, 1st ed. 2019)
S. Jayanthy, M.C. Bhuvaneswari
R3,591 Discovery Miles 35 910 Ships in 7 - 11 working days

This book describes a variety of test generation algorithms for testing crosstalk delay faults in VLSI circuits. It introduces readers to the various crosstalk effects and describes both deterministic and simulation-based methods for testing crosstalk delay faults. The book begins with a focus on currently available crosstalk delay models, test generation algorithms for delay faults and crosstalk delay faults, before moving on to deterministic algorithms and simulation-based algorithms used to test crosstalk delay faults. Given its depth of coverage, the book will be of interest to design engineers and researchers in the field of VLSI Testing.

Inside the Message Passing Interface - Creating Fast Communication Libraries (Paperback): Alexander Supalov Inside the Message Passing Interface - Creating Fast Communication Libraries (Paperback)
Alexander Supalov
R1,804 R1,656 Discovery Miles 16 560 Save R148 (8%) Ships in 10 - 15 working days

A hands-on guide to writing a Message Passing Interface, this book takes the reader on a tour across major MPI implementations, best optimization techniques, application relevant usage hints, and a historical retrospective of the MPI world, all based on a quarter of a century spent inside MPI. Readers will learn to write MPI implementations from scratch, and to design and optimize communication mechanisms using pragmatic subsetting as the guiding principle. Inside the Message Passing Interface also covers MPI quirks and tricks to achieve best performance. Dr. Alexander Supalov created the Intel Cluster Tools product line, including the Intel MP Library that he designed and led between 2003 and 2015. He invented the common MPICH ABI and also guided Intel efforts in the MPI Forum during the development of the MPI-2.1, MPI-2.2, and MPI-3 standards. Before that, Alexander designed new finite-element mesh-generation methods, contributing to the PARMACS and PARASOL interfaces, and developed the first full MPI-2 and IMPI implementations in the world. He graduated from the Moscow Institute of Physics and Technology in 1990, and earned his PhD in applied mathematics at the Institute of Numerical Mathematics of the Russian Academy of Sciences in 1995. Alexander holds 26 patents (more pending worldwide).

High Performance Embedded Architectures and Compilers - 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27,... High Performance Embedded Architectures and Compilers - 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings (Paperback, Edition.)
Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell
R1,584 Discovery Miles 15 840 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2010, held in Pisa, Italy, in January 2010.

The 23 revised full papers presented together with the abstracts of 2 invited keynote addresses were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on architectural support for concurrency; compilation and runtime systems; reconfigurable and customized architectures; multicore efficiency, reliability, and power; memory organization and optimization; and programming and analysis of accelerators.

Advanced Computer Architecture - 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings (Paperback, 1st ed.... Advanced Computer Architecture - 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings (Paperback, 1st ed. 2018)
Chao Li, Junjie Wu
R1,842 Discovery Miles 18 420 Ships in 7 - 11 working days

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 computing system.

Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018,... Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers (Paperback, 1st ed. 2018)
Corina Cirstea
R1,460 R1,311 Discovery Miles 13 110 Save R149 (10%) Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Fast Techniques for Integrated Circuit…
Mikael Sahrling Hardcover R2,009 Discovery Miles 20 090
Parallel Processing Algorithms For GIS
Richard Healey, Steve Dowers, … Paperback R2,341 Discovery Miles 23 410
Docker: Up & Running - Shipping Reliable…
Sean P. Kane, Karl Matthias Paperback R1,164 R711 Discovery Miles 7 110
Structured Computer Organization…
Andrew Tanenbaum, Todd Austin Paperback R1,249 R993 Discovery Miles 9 930
System Architecture, Global Edition
Bruce Cameron, Edward Crawley, … Paperback R1,619 Discovery Miles 16 190
Software Architecture 2
Mourad Chabane Oussalah Hardcover R2,976 Discovery Miles 29 760
Model Checking Quantum Systems…
Mingsheng Ying, Yuan Feng Hardcover R1,327 Discovery Miles 13 270
Kubernetes: Up and Running - Dive Into…
Brendan Burns, Joe Beda, … Paperback R1,418 R967 Discovery Miles 9 670
Logic and Computer Design Fundamentals…
Morris Mano, Charles Kime, … Paperback R1,684 Discovery Miles 16 840
Smart Machines - IBM's Watson and the…
John Kelly III, Steve Hamm Hardcover R491 R421 Discovery Miles 4 210

 

Partners