-
Vendor: Tommaso Bolognesi
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques fo
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in...- $219.99
$219.99- $219.99
- Unit price
- per
-
Vendor: Xingfu Wu
Performance Evaluation, Prediction and Visualization of Parallel Systems
Performance Evaluation, Prediction and Visualization in Parallel Systems presents a comprehensive and systematic discussion of theoretics, methods, techniques and tools for performance evaluation, prediction and visualization of parallel systems. Chapter 1 gives a short overview of performance degradation of parallel systems, and presents a...- $169.99
$169.99- $169.99
- Unit price
- per
-
Vendor: Dimiter R. Avresky
Dependable Network Computing
Dependable Network Computing provides insights into various problems facing millions of global users resulting from the internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols,...- $219.99
$219.99- $219.99
- Unit price
- per
-
Vendor: Amr Zaky
Tools and Environments for Parallel and Distributed Systems
Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achieving...- $169.99
$169.99- $169.99
- Unit price
- per
-
Vendor: Borko Furht
Real-Time Unix(r) Systems: Design and Application Guide
A growing concern of mine has been the unrealistic expectations for new computer-related technologies introduced into all kinds of organizations. Unrealistic expectations lead to disappointment, and a schizophrenic approach to the introduction of new technologies. The UNIX and real-time UNIX operating system technologies are...- $169.00
$169.00- $169.00
- Unit price
- per
-
Vendor: Robert A. Iannucci
Multithreaded Computer Architecture: A Summary of the State of the Art
Multithreaded computer architecture has emerged as one of the most promising and exciting avenues for the exploitation of parallelism. This new field represents the confluence of several independent research directions which have united over a common set of issues and techniques. Multithreading draws on...- $219.99
$219.99- $219.99
- Unit price
- per
-
Vendor: Boleslaw K. Szymanski
Languages, Compilers and Run-Time Systems for Scalable Computers
Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session. Starting with new developments in classical problems of parallel compiler design, such as...- $169.99
$169.99- $169.99
- Unit price
- per
-
Vendor: Lubomir Bic
Parallel Language and Compiler Research in Japan
Parallel Language and Compiler Research in Japan offers the international community an opportunity to learn in-depth about key Japanese research efforts in the particular software domains of parallel programming and parallelizing compilers. These are important topics that strongly bear on the effectiveness and affordability...- $219.99
$219.99- $219.99
- Unit price
- per
-
Vendor: W. Fleischammer
Quality by Design for Electronics
This book concentrates on the quality of electronic products. Electronics in general, including semiconductor technology and software, has become the key technology for wide areas of industrial production. In nearly all expanding branches of industry electronics, especially digital electronics, is involved. And the spread...- $199.99
$199.99- $199.99
- Unit price
- per
-
Vendor: Mehmed Aksit
Software Architectures and Component Technology
Software architectures have gained wide popularity in the last decade. They generally play a fundamental role in coping with the inherent difficulties of the development of large-scale and complex software systems. Component-oriented and aspect-oriented programming enables software engineers to implement complex applications from a...- $219.99
$219.99- $219.99
- Unit price
- per
-
Vendor: Panos M. Pardalos
Advances in Randomized Parallel Computing
The technique of randomization has been employed to solve numerous prob- lems of computing both sequentially and in parallel. Examples of randomized algorithms that are asymptotically better than their deterministic counterparts in solving various fundamental problems abound. Randomized algorithms have the advantages of simplicity...- $169.99
$169.99- $169.99
- Unit price
- per
-
Vendor: Qianhong Liu
Document Processing and Retrieval: Texpros
Document Processing and Retrieval: TEXPROS focuses on the design and implementation of a personal, customizable office information and document processing system called TEXPROS (a TEXt PROcessing System). TEXPROS is a personal, intelligent office information and document processing system for text-oriented documents. This system supports...- $169.99
$169.99- $169.99
- Unit price
- per
-
Vendor: Vijay K. Garg
Principles of Distributed Systems
Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory. The absence...- $179.99
$179.99- $179.99
- Unit price
- per
-
Vendor: Donald Fussell
Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that allows critical design issues to be treated in ways...- $219.99
$219.99- $219.99
- Unit price
- per
-
Vendor: S. R. Buss
Handbook of Proof Theory: Volume 137
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists...- $182.00
$182.00- $182.00
- Unit price
- per
-
Vendor: J. M. Cowley
Diffraction Physics
The first edition of this highly successful book appeared in 1975 and evolved from lecture notes for classes in physical optics, diffraction physics and electron microscopy given to advanced undergraduate and graduate students. The book deals with electron diffraction and diffraction from disordered or...- $104.00
$104.00- $104.00
- Unit price
- per
-
Vendor: Vladimir Getov
Component Models and Systems for Grid Applications: Proceedings of the Workshop on Component Models and Systems for Grid Applications Held June 26, 20
Component Models and Systems for Grid Applications is the essential reference for the most current research on Grid technologies. This first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will influence the development of...- $169.99
$169.99- $169.99
- Unit price
- per
-
Vendor: Jon Emch
Getting to Know ArcGIS Enterprise
The first book from Esri Press about ArcGIS Enterprise, one of Esri's most important technologies for keeping your organization agile, collaborative, and responsive.Author: Jon Emch,Diana Muresan,Travis OrmsbyISBN-10: 1589488555ISBN-13: 9781589488557Publisher: Esri PressLanguage: EnglishPublished: 11/04/2025Pages: 298Format: HardcoverWeight: 2.00lbsSize: 9.25h x 7.50w x 0.94d- $159.99
$159.99- $159.99
- Unit price
- per
-
Vendor: Wasim Ahmed
Mastering Proxmox, Second Edition
Author: Wasim AhmedISBN-10: 1785888242ISBN-13: 9781785888243Publisher: Packt PublishingLanguage: EnglishPublished: 04/20/2016Pages: 418Format: PaperbackWeight: 1.57lbsSize: 9.25h x 7.50w x 0.85d- $54.99
$54.99- $54.99
- Unit price
- per
-
Vendor: Edward Cambell
Microservices Architecture: Make the architecture of a software as simple as possible
Most of the software architectures in use today are very complex. We need to make the architecture of a software application as simple as possible so that the process of interaction can be made as simple as possible. This will make it possible even...- $12.00
$12.00- $12.00
- Unit price
- per
-
Vendor: Quicktips Manual
Samsung Crystal UHD U8000F 4K Smart TV User Guide: Quick and Complete Setup and Smart Feature Manual for Beginners and Everyday Users. (75-inch)
Master Your Samsung 75-Inch Crystal UHD U8000F 4K Smart TV Like a Pro - The Complete, Easy-to-Follow User Guide for Everyday Viewers.Bring your entertainment to life with the Samsung Crystal UHD U8000F Smart TV, and let this simplified, step-by-step manual show you exactly how...- $19.99
$19.99- $19.99
- Unit price
- per
-
Vendor: Dimitrios Serpanos
Architecture of Network Systems
Architecture of Network Systems explains the practice and methodologies that will allow you to solve a broad range of problems in system design, including problems related to security, quality of service, performance, manageability, and more. Leading researchers Dimitrios Serpanos and Tilman Wolf develop architectures...- $79.95
$79.95- $79.95
- Unit price
- per
-
Vendor: Jorge Marx Gómez
Advancement in Embedded and Mobile Systems: Proceedings of the 2nd Icta-Emos Conference, 19 - 20 September 2024, Kigali, Rwanda
Author: Jorge Marx GómezISBN-10: 3031992180ISBN-13: 9783031992186Publisher: SpringerLanguage: EnglishPublished: 01/03/2026Pages: 478Format: Hardcover- $179.99
$179.99- $179.99
- Unit price
- per
-
Vendor: Arun Chandrasekharan
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems....- $54.99
$54.99- $54.99
- Unit price
- per
-
Vendor: Ireneusz Mrozek
Multi-Run Memory Tests for Pattern Sensitive Faults
This book describes efficient techniques for production testing as well as for periodic maintenance testing (specifically in terms of multi-cell faults) in modern semiconductor memory. The author discusses background selection and address reordering algorithms in multi-run transparent march testing processes. Formal methods for multi-run...- $54.99
$54.99- $54.99
- Unit price
- per
-
Vendor: Prabhat Mishra
Network-On-Chip Security and Privacy
This book provides comprehensive coverage of Network-on-Chip (NoC) security vulnerabilities and state-of-the-art countermeasures, with contributions from System-on-Chip (SoC) designers, academic researchers and hardware security experts. Readers will gain a clear understanding of the existing security solutions for on-chip communication architectures and how they can...- $99.99
$99.99- $99.99
- Unit price
- per
-
Vendor: Christoffer Noring
Learn Model Context Protocol with Python: Build agentic systems in Python with the new standard for AI capabilities
Get to grips with the Model Context Protocol (MCP) and learn how to build scalable, intelligent web applications with AI-ready architecture in PythonKey Features: - The only resource you'll need to build, test, and deploy MCP servers and clients- Take a modern approach toward...- $44.99
$44.99- $44.99
- Unit price
- per
-
Vendor: Rodrick Wallace
Information Theory Models of Instabilities in Critical Systems
The book is a unique exploration of a spectrum of unexpected analogs to psychopathologies likely to afflict real-time critical systems, written by a specialist in the epidemiology of mental disorders. The purpose of this book is to develop a set of information-theoretic statistical tools...- $98.00
$98.00- $98.00
- Unit price
- per
-
Vendor: Jun Li
Disseminating Security Updates at Internet Scale
Disseminating Security Updates at Internet Scale describes a new system, "Revere", that addresses these problems. "Revere" builds large-scale, self-organizing and resilient overlay networks on top of the Internet to push security updates from dissemination centers to individual nodes. "Revere" also sets up repository servers...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: Giovanni De Micheli
Vlsi-Soc: Research Trends in VLSI and Systems on Chip: Fourteenth International Conference on Very Large Scale Integration of System on Chip (Vlsi-Soc
This book contains extended and revised versions of the best papers that were presented during the fourteenth edition of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 14th conference was held at the Hotel...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: Addy Osmani
The Effective Software Engineer: How ICS at Every Level Can Leverage Ai, Prioritize High-Value Work, and Lead Beyond Their Role
The software engineering landscape is constantly evolving, and the demands on engineers intensify with each technological and methodological shift. In such an environment, being a good coder isn't enough--true effectiveness goes beyond technical skills. This book is designed as a guide for individual contributors...- $39.99
$39.99- $39.99
- Unit price
- per
-
Vendor: Carola Lilienthal
Domain-Driven Transformation: Modernize Legacy Systems and Mitigate Risk
Legacy systems slow down innovation, increase maintenance costs, and create misalignment between business goals and technical delivery. Domain-Driven Transformation offers a clear, risk-aware path to modernizing complex applications using principles from domain-driven design (DDD) and modular architecture. Authors Carola Lilienthal and Henning Schwentner guide...- $69.99
$69.99- $69.99
- Unit price
- per
-
Vendor: Waqar Hussain
Computing Platforms for Software-Defined Radio
This book addresses Software-Defined Radio (SDR) baseband processing from the computer architecture point of view, providing a detailed exploration of different computing platforms by classifying different approaches, highlighting the common features related to SDR requirements and by showing pros and cons of the proposed...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: Tom Graves
Doing Enterprise-Architecture: A Maturity-Model Guide to Architecture Development
Enterprise architecture is a set of business practices that connect an organization's strategy with its management of change. It is concerned with the structure and story of the enterprise, and ensuring that everything across the whole enterprise will work together in the most effective...- $49.99
$49.99- $49.99
- Unit price
- per
-
Vendor: Wei Zhao
Challenges in Design and Implementation of Middlewares for Real-Time Systems
Challenges in Design and Implementation of Middlewares for Real-Time Systems brings together in one place important contributions and up-to-date research results in this fast moving area. Challenges in Design and Implementation of Middlewares for Real-Time Systems serves as an excellent reference, providing insight into...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: B. Baumgarten
OSI Conformance Testing Methodology and Ttcn
An overview and a critical review of the Conformance Testing Methodology and Framework is provided by this book. This standard, ISO/IEC 9646, describes a methodology for testing implementations of Open System Interconnection (OSI) specifications. It is widely used by protocol and profile specifiers to...- $285.00
$285.00- $285.00
- Unit price
- per
-
Vendor: Shilpi Birla
Digital Design Using Veriloghdl: VLSI Modeling, Coding and Verification
Digital Design using VerilogHDL: VLSI Modeling, Coding and Verification covers the concepts of digital logic design, including, logic simplification and optimization for digital circuit synthesis and implementation, design and integration of logics (combinational and sequential) in the building of digital circuits and systems, the...- $180.00
$180.00- $180.00
- Unit price
- per
-
Vendor: Sergey Zhumatiy
Supercomputers for Linux Sysadmins: Managing Modern HPC Clusters and Supercomputers from Software to Hardware
Supercomputers and High Performance Computing (HPC) clusters are not so exotic as people imagine these days. They give companies the power of computation like no one server can give alone. They make new drugs and materials discoveries, universe modeling and AI training, crash simulations...- $49.99
$49.99- $49.99
- Unit price
- per
-
Vendor: Tiko Iyamu
Empowering Businesses With Collaborative Enterprise Architecture Frameworks
Increasingly, organizations allocate a substantial financial budget to the acquisition, implementation, and management of IT solutions. IT solutions are employed strategic partners in supporting business strategic outcome, and the solutions are tools used to support operational activities within an environment. Given the vast amounts...- $215.00
$215.00- $215.00
- Unit price
- per
-
Vendor: Austin Kim
Reverse Engineering Armv8-A Systems: A practical guide to kernel, firmware, and TrustZone analysis
Explore reverse engineering in Armv8-A-based Arm devices, develop the skills to analyze binaries, and leverage cutting-edge security hardening features through hands-on techniques and expert insightsKey Features: - Master key aspects of Armv8-A, including register, exception handling, and TrustZone- Build new reversing skills for kernel...- $49.99
$49.99- $49.99
- Unit price
- per
-
Vendor: Micheal M. Van Wyk
AI Smart-Enabled Architecture and Infrastructure for Higher Education
Artificial intelligence (AI) transforms the landscape of higher education, creating smart-enabled architecture and infrastructure that redefines how campuses operate and evolve. By integrating AI technologies into the physical and digital frameworks of universities, institutions can create more adaptive, efficient, and student-centered environments. From intelligent...- $175.00
$175.00- $175.00
- Unit price
- per
-
Vendor: Xiaoming Chen
Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance
This thesis introduces novel and significant results regarding the analysis and synthesis of positive systems, especially under l1 and L1 performance. It describes stability analysis, controller synthesis, and bounding positivity-preserving observer and filtering design for a variety of both discrete and continuous positive systems.It...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: Xiaoming Chen
Parallel Sparse Direct Solver for Integrated Circuit Simulation
This book describes algorithmic methods and parallelization techniques to design a parallel sparse direct solver which is specifically targeted at integrated circuit simulation problems. The authors describe a complete flow and detailed parallel algorithms of the sparse direct solver. They also show how to...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: Gracieli Posser
Electromigration Inside Logic Cells: Modeling, Analyzing and Mitigating Signal Electromigration in Nanocmos
This book describes new and effective methodologies for modeling, analyzing and mitigating cell-internal signal electromigration in nanoCMOS, with significant circuit lifetime improvements and no impact on performance, area and power. The authors are the first to analyze and propose a solution for the electromigration...- $54.99
$54.99- $54.99
- Unit price
- per
-
Vendor: Guy Dewsbury
Responsibility and Dependable Systems
This book brings together for the first time two important features of a computer system to be embedded in an organisational context: responsibility, meaning whether the computer system properly supports the organisational responsibilities that people are allocated; and dependability, which means whether it does...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: Muhammad Shafique
Hardware/Software Architectures for Low-Power Embedded Multimedia Systems
This book presents techniques for energy reduction in adaptive embedded multimedia systems, based on dynamically reconfigurable processors. The approach described will enable designers to meet performance/area constraints, while minimizing video quality degradation, under various, run-time scenarios. Emphasis is placed on implementing power/energy reduction at...- $109.99
$109.99- $109.99
- Unit price
- per
-
Vendor: Kingshuk Karuri
Application Analysis Tools for Asip Design: Application Profiling and Instruction-Set Customization
This book introduces a novel design methodology which can significantly reduce the ASIP development effort through high degrees of design automation. The key elements of this new design methodology are a powerful application profiler and an automated instruction-set customization tool which considerably lighten the...- $169.99
$169.99- $169.99
- Unit price
- per
-
Vendor: D. J. Songhurst
Charging Communication Networks: From Theory to Practice
This book proposes that usage-based charging schemes are essential to generate the incentives necessary for efficient operation of multiservice networks. The rapid development of network technology is enabling sophisticated new services and applications which demand new charging models. The same technology provides the means...- $120.00
$120.00- $120.00
- Unit price
- per
-
Vendor: Farooq Ahmad Khanday
Energy-Efficient Devices and Circuits for Neuromorphic Computing
Energy-Efficient Devices and Circuits for Neuromorphic Computing is an important contribution to this field, covering topics from neuron dynamics to energy-efficient CMOS devices and circuits. The book delves into theoretical analysis of learning processes in spiking neural networks, two-terminal neuromorphic devices, material-engineered neuromorphic devices,...- $100.00
$100.00- $100.00
- Unit price
- per
-
Vendor: Thierry Priol
From Grids to Service and Pervasive Computing
This 10th edited volume of the CoreGRID series is based on the 2008 CoreGRID Symposium, organized jointly with the Euro-Par 2008 conference, which seeks to strengthen and advance scientific and technological excellence in grid and peer-to-peer computing.Author: Thierry PriolISBN-10: 0387094547ISBN-13: 9780387094540Publisher: SpringerLanguage: EnglishPublished: 08/01/2008Pages:...- $109.99
$109.99- $109.99
- Unit price
- per

