0
Your cart

Your cart is empty

Browse All departments
Price
  • R0 - R50 (1)
  • R100 - R250 (44)
  • R250 - R500 (62)
  • R500+ (2,984)
  • -
Status
Format
Author / Contributor
Publisher

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

Advanced HDL Synthesis and SOC Prototyping - RTL Design Using Verilog (Hardcover, 1st ed. 2019): Vaibbhav Taraate Advanced HDL Synthesis and SOC Prototyping - RTL Design Using Verilog (Hardcover, 1st ed. 2019)
Vaibbhav Taraate
R3,753 R3,135 Discovery Miles 31 350 Save R618 (16%) Ships in 10 - 15 working days

This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provides practical information on performance improvements in SOC, as well as Application Specific Integrated Circuit (ASIC) designs. Prototyping using modern high density Field Programmable Gate Arrays (FPGAs) is discussed in this book with the practical examples and case studies. The book discusses SOC design, performance improvement techniques, testing and system level verification, while also describing the modern Intel FPGA/XILINX FPGA architectures and their use in SOC prototyping. Further, the book covers the Synopsys Design Compiler (DC) and Prime Time (PT) commands, and how they can be used to optimize complex ASIC/SOC designs. The contents of this book will be useful to students and professionals alike.

Fog Computing, Deep Learning and Big Data Analytics-Research Directions (Hardcover, 1st ed. 2019): C.S.R. Prabhu Fog Computing, Deep Learning and Big Data Analytics-Research Directions (Hardcover, 1st ed. 2019)
C.S.R. Prabhu
R2,740 R2,257 Discovery Miles 22 570 Save R483 (18%) Ships in 10 - 15 working days

This book provides a comprehensive picture of fog computing technology, including of fog architectures, latency aware application management issues with real time requirements, security and privacy issues and fog analytics, in wide ranging application scenarios such as M2M device communication, smart homes, smart vehicles, augmented reality and transportation management. This book explores the research issues involved in the application of traditional shallow machine learning and deep learning techniques to big data analytics. It surveys global research advances in extending the conventional unsupervised or clustering algorithms, extending supervised and semi-supervised algorithms and association rule mining algorithms to big data Scenarios. Further it discusses the deep learning applications of big data analytics to fields of computer vision and speech processing, and describes applications such as semantic indexing and data tagging. Lastly it identifies 25 unsolved research problems and research directions in fog computing, as well as in the context of applying deep learning techniques to big data analytics, such as dimensionality reduction in high-dimensional data and improved formulation of data abstractions along with possible directions for their solutions.

Encyclopedia of Microcomputers - Volume 14 - Productivity and Software Maintenance: A Managerial Perspective to Relative... Encyclopedia of Microcomputers - Volume 14 - Productivity and Software Maintenance: A Managerial Perspective to Relative Addressing (Hardcover, illustrated edition)
Allen Kent, James G. Williams
R7,291 Discovery Miles 72 910 Ships in 10 - 15 working days

"The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely reference work details the broad spectrum of microcomputer technology, including microcomputer history; explains and illustrates the use of microcomputers throughout academe, business, government, and society in general; and assesses the future impact of this rapidly changing technology."

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.

Computer Engineering and Technology - 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018, Revised Selected... Computer Engineering and Technology - 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu
R1,505 R1,268 Discovery Miles 12 680 Save R237 (16%) Ships in 10 - 15 working days

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 the horizon.

Logic and Complexity (Hardcover, 2004 ed.): Richard Lassaigne, Michel De Rougemont Logic and Complexity (Hardcover, 2004 ed.)
Richard Lassaigne, Michel De Rougemont
R3,801 R3,130 Discovery Miles 31 300 Save R671 (18%) Ships in 10 - 15 working days

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems.

Divided into three parts, it covers:

- Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic. Recursive functions, Turing computability and decidability are also examined.

- Descriptive Complexity - looking at the relationship between definitions of problems, queries, properties of programs and their computational complexity.

- Approximation - explaining how some optimization problems and counting problems can be approximated according to their logical form.

Logic is important in Computer Science, particularly for verification problems and database query languages such as SQL. Students and researchers in this field will find this book of great interest.

Ewa Orlowska on Relational Methods in Logic and Computer Science (Hardcover, 1st ed. 2018): Joanna Golinska-Pilarek, Michal... Ewa Orlowska on Relational Methods in Logic and Computer Science (Hardcover, 1st ed. 2018)
Joanna Golinska-Pilarek, Michal Zawidzki
R3,277 R2,906 Discovery Miles 29 060 Save R371 (11%) Ships in 10 - 15 working days

This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orlowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orlowska's autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orlowska's work.

Principles of Secure Processor Architecture Design (Hardcover): Jakub Szefer Principles of Secure Processor Architecture Design (Hardcover)
Jakub Szefer; Series edited by Margaret Martonosi
R1,970 Discovery Miles 19 700 Ships in 7 - 11 working days

With growing interest in computer security and the protection of the code and data which execute on commodity computers, the amount of hardware security features in today's processors has increased significantly over the recent years. No longer of just academic interest, security features inside processors have been embraced by industry as well, with a number of commercial secure processor architectures available today. This book aims to give readers insights into the principles behind the design of academic and commercial secure processor architectures. Secure processor architecture research is concerned with exploring and designing hardware features inside computer processors, features which can help protect confidentiality and integrity of the code and data executing on the processor. Unlike traditional processor architecture research that focuses on performance, efficiency, and energy as the first-order design objectives, secure processor architecture design has security as the first-order design objective (while still keeping the others as important design aspects that need to be considered). This book aims to present the different challenges of secure processor architecture design to graduate students interested in research on architecture and hardware security and computer architects working in industry interested in adding security features to their designs. It aims to educate readers about how the different challenges have been solved in the past and what are the best practices, i.e., the principles, for design of new secure processor architectures. Based on the careful review of past work by many computer architects and security researchers, readers also will come to know the five basic principles needed for secure processor architecture design. The book also presents existing research challenges and potential new research directions. Finally, this book presents numerous design suggestions, as well as discusses pitfalls and fallacies that designers should avoid.

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

Ageing of Integrated Circuits - Causes, Effects and Mitigation Techniques (Paperback, 1st ed. 2020): Basel Halak Ageing of Integrated Circuits - Causes, Effects and Mitigation Techniques (Paperback, 1st ed. 2020)
Basel Halak
R2,150 Discovery Miles 21 500 Ships in 7 - 11 working days

This book provides comprehensive coverage of the latest research into integrated circuits' ageing, explaining the causes of this phenomenon, describing its effects on electronic systems, and providing mitigation techniques to build ageing-resilient circuits.

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits (Paperback, 1st ed. 2020): Rodrigo Possamai... On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits (Paperback, 1st ed. 2020)
Rodrigo Possamai Bastos, Frank Sill Torres
R1,621 Discovery Miles 16 210 Ships in 7 - 11 working days

This book provides readers with insight into an alternative approach for enhancing the reliability, security, and low power features of integrated circuit designs, related to transient faults, hardware Trojans, and power consumption. The authors explain how the addition of integrated sensors enables the detection of ionizing particles and how this information can be processed at a high layer. The discussion also includes a variety of applications, such as the detection of hardware Trojans and fault attacks, and how sensors can operate to provide different body bias levels and reduce power costs. Readers can benefit from these sensors-based approaches through designs with fast response time, non-intrusive integration on gate-level and reasonable design costs.

Introduction to Digital Systems Design (Hardcover, 1st ed. 2019): Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide... Introduction to Digital Systems Design (Hardcover, 1st ed. 2019)
Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita
R1,921 R1,665 Discovery Miles 16 650 Save R256 (13%) Ships in 10 - 15 working days

This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and binary arithmetic to sequential networks and finite state machines, together with the essential tools to design and simulate systems composed of a controller and a datapath. The numerous worked examples and solved exercises allow a better understanding and more effective learning. All of the examples and exercises can be run on the Deeds software, freely available online on a webpage developed and maintained by the authors. Thanks to the learning-by-doing approach and the plentiful examples, no prior knowledge in electronics of programming is required. Moreover, the book can be adapted to different level of education, with different targets and depth, be used for self-study, and even independently from the simulator. The book draws on the authors' extensive experience in teaching and developing learning materials.

Hardware Accelerators in Data Centers (Hardcover, 1st ed. 2019): Christoforos Kachris, Babak Falsafi, Dimitrios Soudris Hardware Accelerators in Data Centers (Hardcover, 1st ed. 2019)
Christoforos Kachris, Babak Falsafi, Dimitrios Soudris
R3,502 R2,877 Discovery Miles 28 770 Save R625 (18%) Ships in 10 - 15 working days

This book provides readers with an overview of the architectures, programming frameworks, and hardware accelerators for typical cloud computing applications in data centers. The authors present the most recent and promising solutions, using hardware accelerators to provide high throughput, reduced latency and higher energy efficiency compared to current servers based on commodity processors. Readers will benefit from state-of-the-art information regarding application requirements in contemporary data centers, computational complexity of typical tasks in cloud computing, and a programming framework for the efficient utilization of the hardware accelerators.

Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September... Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings (Paperback, 1st ed. 2018)
Bronis R. de Supinski, Pedro Valero-Lara, Xavier Martorell, Sergi Mateo Bellido, Jesus Labarta
R1,462 R1,237 Discovery Miles 12 370 Save R225 (15%) Ships in 10 - 15 working days

This book constitutes the proceedings of the 14th International Workshop on Open MP, IWOMP 2018, held in Barcelona, Spain, in September 2018.The 16 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; loops and OpenMP; OpenMP in heterogeneous systems; OpenMP improvements and innovations; OpenMP user experiences: applications and tools; and tasking evaluations.

Sensing of Non-Volatile Memory Demystified (Hardcover, 1st ed. 2019): Swaroop Ghosh Sensing of Non-Volatile Memory Demystified (Hardcover, 1st ed. 2019)
Swaroop Ghosh
R2,126 R1,767 Discovery Miles 17 670 Save R359 (17%) Ships in 10 - 15 working days

This book introduces readers to the latest advances in sensing technology for a broad range of non-volatile memories (NVMs). Challenges across the memory technologies are highlighted and their solutions in mature technology are discussed, enabling innovation of sensing technologies for future NVMs. Coverage includes sensing techniques ranging from well-established NVMs such as hard disk, flash, Magnetic RAM (MRAM) to emerging NVMs such as ReRAM, STTRAM, FeRAM and Domain Wall Memory will be covered.

Scalable Information Systems - 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected... Scalable Information Systems - 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers (Paperback, 2010 ed.)
Peter Mueller, Jiannong Cao, Cho-Li Wang
R2,563 Discovery Miles 25 630 Ships in 7 - 11 working days

In view of the incessant growth of data and knowledge and the continued diversifi- tion of information dissemination on a global scale, scalability has become a ma- stream research area in computer science and information systems. The ICST INFO- SCALE conference is one of the premier forums for presenting new and exciting research related to all aspects of scalability, including system architecture, resource management, data management, networking, and performance. As the fourth conf- ence in the series, INFOSCALE 2009 was held in Hong Kong on June 10 and 11, 2009. The articles presented in this volume focus on a wide range of scalability issues and new approaches to tackle problems arising from the ever-growing size and c- plexity of information of all kind. More than 60 manuscripts were submitted, and the Program Committee selected 22 papers for presentation at the conference. Each s- mission was reviewed by three members of the Technical Program Committee.

RADIO--Robots in Assisted Living - Unobtrusive, Efficient, Reliable and Modular Solutions for Independent Ageing (Hardcover,... RADIO--Robots in Assisted Living - Unobtrusive, Efficient, Reliable and Modular Solutions for Independent Ageing (Hardcover, 1st ed. 2019)
Vangelis Karkaletsis, Stasinos Konstantopoulos, Nikolaos S. Voros, Roberta Annicchiarico, Maria Dagioglou, …
R2,752 R2,272 Discovery Miles 22 720 Save R480 (17%) Ships in 10 - 15 working days

This book describes a unique approach to bring robotic technology into elders' daily lives. Low cost components and low cost robotic assistants are effectively combined to offer high quality services to elders and people in need. The book presents in a comprehensive way how technology can be used for developing a new healthcare paradigm where high quality services are offered at home, thus reducing the ever-increasing hospitalization cost of the elders and the people with chronic diseases.

Fundamentals of Electronic Systems Design (Hardcover, 1st ed. 2017): Jens Lienig, Hans Bruemmer Fundamentals of Electronic Systems Design (Hardcover, 1st ed. 2017)
Jens Lienig, Hans Bruemmer
R2,037 Discovery Miles 20 370 Ships in 10 - 15 working days

This textbook covers the design of electronic systems from the ground up, from drawing and CAD essentials to recycling requirements. Chapter by chapter, it deals with the challenges any modern system designer faces: The design process and its fundamentals, such as technical drawings and CAD, electronic system levels, assembly and packaging issues and appliance protection classes, reliability analysis, thermal management and cooling, electromagnetic compatibility (EMC), all the way to recycling requirements and environmental-friendly design principles. "This unique book provides fundamental, complete, and indispensable information regarding the design of electronic systems. This topic has not been addressed as complete and thorough anywhere before. Since the authors are world-renown experts, it is a foundational reference for today's design professionals, as well as for the next generation of engineering students." Dr. Patrick Groeneveld, Synopsys Inc.

Design Automation for Differential MOS Current-Mode Logic Circuits (Hardcover, 1st ed. 2019): Stephane Badel, Can Baltaci,... Design Automation for Differential MOS Current-Mode Logic Circuits (Hardcover, 1st ed. 2019)
Stephane Badel, Can Baltaci, Alessandro Cevrero, Yusuf Leblebici
R3,497 R2,871 Discovery Miles 28 710 Save R626 (18%) Ships in 10 - 15 working days

This book discusses the implementation of digital circuits by using MCML gates. Although digital circuit implementation is possible with other elements, such as CMOS gates, MCML implementations can provide superior performance in certain applications. This book provides a complete automation methodology for the implementation of digital circuits in MCML and provides an extensive explanation on the technical details of design of MCML. A systematic methodology is presented to build efficient MCML standard-cell libraries, and a complete top-down design flow is shown to implement complex systems using such building blocks.

Embedded Systems Technology - 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected... Embedded Systems Technology - 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers (Paperback, 1st ed. 2018)
Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang
R1,709 R1,435 Discovery Miles 14 350 Save R274 (16%) Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 15th National Conference on Embedded Systems Technology, ESTC 2017, held in Shenyang, China, in November 2017. The 18 revised full papers presented were carefully reviewed and selected from 45 papers. The topics cover a broad range of fields focusing on the theme "embedded systems and intelligent computing," such as context aware computing, scheduling, cyber physical system, high performance embedded computing, embedded system and applications, and education and surveys.

3D Printing and Intellectual Property (Hardcover): Lucas S. Osborn 3D Printing and Intellectual Property (Hardcover)
Lucas S. Osborn
R1,965 Discovery Miles 19 650 Ships in 10 - 15 working days

Intellectual property (IP) laws were drafted for tangible objects, but 3D printing technology, which digitizes objects and offers manufacturing capacity to anyone, is disrupting these laws and their underlying policies. In this timely work, Lucas S. Osborn focuses on the novel issues raised for IP law by 3D printing for the major IP systems around the world. He specifically addresses how patent and design law must wrestle with protecting digital versions of inventions and policing individualized manufacturing, how trademark law must confront the dissociation of design from manufacturing, and how patent and copyright law must be reconciled when digital versions of primarily utilitarian objects are concerned. With an even hand and keen insight, Osborn offers an innovation-centered analysis of and balanced response to the disruption caused by 3D printing that should be read by nonexperts and experts alike.

Harnessing the UEFI Shell - Moving the Platform Beyond DOS, Second Edition (Paperback, 2nd ed.): Michael Rothman, Vincent... Harnessing the UEFI Shell - Moving the Platform Beyond DOS, Second Edition (Paperback, 2nd ed.)
Michael Rothman, Vincent Zimmer, Tim Lewis
R1,699 R1,561 Discovery Miles 15 610 Save R138 (8%) Ships in 10 - 15 working days

Focusing on the use of the UEFI Shell and its recently released formal specification, this book unlocks a wide range of usage models which can help people best utilize the shell solutions. This text also expands on the obvious intended utilization of the shell and explains how it can be used in various areas such as security, networking, configuration, and other anticipated uses such as manufacturing, diagnostics, etc. Among other topics, Harnessing the UEFI Shell demonstrates how to write Shell scripts, how to write a Shell application, how to use provisioning options and more. Since the Shell is also a UEFI component, the book will make clear how the two things interoperate and how both Shell developers as well as UEFI developers can dip into the other's field to further expand the power of their solutions. Harnessing the UEFI Shell is authored by the three chairs of the UEFI working sub-teams, Michael Rothman (Intel, chair of the UEFI Configuration and UEFI Shell sub-teams), Vincent Zimmer (Intel, chair of the UEFI networking sub-team and security sub-team), and Tim Lewis (Insyde Software, chair of the UEFI security sub-team). This book is perfect for any OEMs that ship UEFI-based solutions (which is all of the MNCs such as IBM, Dell, HP, Apple, etc.), software developers who are focused on delivering solutions targeted to manufacturing, diagnostics, hobbyists, or stand-alone kiosk environments.

Boolean Functions and Computation Models (Hardcover, 2002 ed.): Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models (Hardcover, 2002 ed.)
Peter Clote, Evangelos Kranakis
R2,464 R2,015 Discovery Miles 20 150 Save R449 (18%) Ships in 10 - 15 working days

This textbook presents a survey of research on boolean functions, circuits, parallel computation models, function algebras, and proof systems. Its main aim is to elucidate the structure of "fast" parallel computation. The complexity of parallel computation is emphasized through a variety of techniques ranging from finite combinatorics, probability theory and finite group theory to finite model theory and proof theory. Nonuniform computation models are studied in the form of boolean circuits; uniform ones in a variety of forms. Steps in the investigation of non-deterministic polynomial time are surveyed as is the complexity of various proof systems. The book will benefit advanced undergraduates and graduate students as well as researchers in the field of complexity theory.

Energy-Aware Memory Management for Embedded Multimedia Systems - A Computer-Aided Design Approach (Hardcover): Florin Balasa,... Energy-Aware Memory Management for Embedded Multimedia Systems - A Computer-Aided Design Approach (Hardcover)
Florin Balasa, Dhiraj K. Pradhan
R4,542 Discovery Miles 45 420 Ships in 10 - 15 working days

Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach presents recent computer-aided design (CAD) ideas that address memory management tasks, particularly the optimization of energy consumption in the memory subsystem. It explains how to efficiently implement CAD solutions, including theoretical methods and novel algorithms. The book covers various energy-aware design techniques, including data-dependence analysis techniques, memory size estimation methods, extensions of mapping approaches, and memory banking approaches. It shows how these techniques are used to evaluate the data storage of an application, reduce dynamic and static energy consumption, design energy-efficient address generation units, and much more. Providing an algebraic framework for memory management tasks, this book illustrates how to optimize energy consumption in memory subsystems using CAD solutions. The algorithmic style of the text should help electronic design automation (EDA) researchers and tool developers create prototype software tools for system-level exploration, with the goal to ultimately obtain an optimized architectural solution of the memory subsystem.

Deductive Program Design (Hardcover, 1996 ed.): Manfred Broy Deductive Program Design (Hardcover, 1996 ed.)
Manfred Broy
R5,294 R4,335 Discovery Miles 43 350 Save R959 (18%) Ships in 10 - 15 working days

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Microprocessors and Microcomputer-Based…
Mohamed Rafiquzzaman Hardcover R4,361 Discovery Miles 43 610
Learning Computer Architecture with…
Eben Upton, Jeffrey Duntemann, … Paperback  (1)
R775 R469 Discovery Miles 4 690
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
Storytelling in Design
Anna Dahlstrom Paperback R843 R731 Discovery Miles 7 310
Logic and Computer Design Fundamentals…
Morris Mano, Charles Kime, … Paperback R1,684 Discovery Miles 16 840
Building Machine Learning Pipelines…
Hannes Hapke, Catherine Nelson Paperback R1,428 R1,091 Discovery Miles 10 910
Semantic Modeling for Data - Avoiding…
Panos Alexopoulos Paperback R1,618 R1,228 Discovery Miles 12 280

 

Partners