» książki » Computers - Data Science - General
topmenu
 |
Designing Usable Electronic Text: Ergonomic Aspects of Human Information Usage
ISBN: 9780748401130 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Electronic documents offer the possibility of presenting virtually unlimited amounts of information to readers in forms which can be rapidly searched and structured to suit their needs. However, poor design and a failure to consider the user often combine to compromise the realization of this potential.; In this book, Dillon examines the issues involved in designing usable electronic documents from the perspective of the designer. It examines the human issues underlying information usage and emphasizes the issue of usability as the main problem in the electronic medium's failure to gain mass...
Electronic documents offer the possibility of presenting virtually unlimited amounts of information to readers in forms which can be rapidly searched ...
|
cena:
281,39 |
 |
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
ISBN: 9780792372950 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. This book explains the motivations and the results of a collaborative project', whose...
The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard ...
|
cena:
623,66 |
 |
Error Coding for Engineers
ISBN: 9780792375227 / Angielski / Twarda / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Error Coding for Engineers provides a useful tool for practicing engineers, students, and researchers, focusing on the applied rather than the theoretical. It describes the processes involved in coding messages in such a way that, if errors occur during transmission or storage, they are detected and, if necessary, corrected. Very little knowledge beyond a basic understanding of binary manipulation and Boolean algebra is assumed, making the subject accessible to a broad readership including non-specialists.
The approach is tutorial: numerous examples, illustrations, and tables... Error Coding for Engineers provides a useful tool for practicing engineers, students, and researchers, focusing on the applied rather than th...
|
cena:
415,76 |
 |
Codes, Graphs, and Systems: A Celebration of the Life and Career of G. David Forney, Jr. on the Occasion of His Sixtieth Birthday
ISBN: 9780792376866 / Angielski / Twarda / 455 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Foreword by James L. Massey.
Codes, Graphs, and Systems is an excellent reference for both academic researchers and professional engineers working in the fields of communications and signal processing. A collection of contributions from world-renowned experts in coding theory, information theory, and signal processing, the book provides a broad perspective on contemporary research in these areas. Survey articles are also included. Specific topics covered include convolutional codes and turbo codes; detection and equalization; modems; physics and information theory;... Foreword by James L. Massey.
Codes, Graphs, and Systems is an excellent reference for both academic researchers and professional ... |
cena:
623,66 |
 |
Continuous Media Databases
ISBN: 9780792378181 / Angielski / Twarda / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Continuous Media Databases brings together in one place important contributions and up-to-date research results in this fast moving area.
Continuous Media Databases serves as an excellent reference, providing insight into some of the most challenging research issues in the field. Continuous Media Databases brings together in one place important contributions and up-to-date research results in this fast moving area. |
cena:
415,76 |
 |
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms
ISBN: 9780792382690 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as dynamic programming, heuristic search, and simulated annealing. However, for many real-time systems, static scheduling algorithms are quite restrictive and inflexible. For example, highly automated agile manufacturing, command, control and communications, and distributed real-time multimedia applications all operate over long lifetimes and in highly non-deterministic environments. Dynamic real-time...
Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by...
|
cena:
856,85 |
 |
An Introduction to Error Correcting Codes with Applications
ISBN: 9780792390176 / Angielski / Twarda / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 5. 2 Rings and Ideals 148 5. 3 Ideals and Cyclic Subspaces 152 5. 4 Generator Matrices and Parity-Check Matrices 159 5. 5 Encoding Cyclic Codest 163 5. 6 Syndromes and Simple Decoding Procedures 168 5. 7 Burst Error Correcting 175 5. 8 Finite Fields and Factoring xn-l over GF(q) 181 5. 9 Another Method for Factoring xn-l over GF(q)t 187 5. 10 Exercises 193 Chapter 6 BCH Codes and Bounds for Cyclic Codes 6. 1 Introduction 201 6. 2 BCH Codes and the BCH Bound 205 6. 3 Bounds for Cyclic Codest 210 6. 4 Decoding BCH Codes 215 6. 5 Linearized Polynomials and Finding Roots of Polynomialst 224 6. 6...
5. 2 Rings and Ideals 148 5. 3 Ideals and Cyclic Subspaces 152 5. 4 Generator Matrices and Parity-Check Matrices 159 5. 5 Encoding Cyclic Codest 163 5...
|
cena:
207,86 |
 |
Foundations of Real-Time Computing: Scheduling and Resource Management
ISBN: 9780792391661 / Angielski / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems....
This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of...
|
cena:
623,66 |
 |
Real-Time Systems Engineering and Applications: Engineering and Applications
ISBN: 9780792391968 / Angielski / Twarda / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Real-Time Systems Engineering and Applications is a well-structured collection of chapters pertaining to present and future developments in real-time systems engineering. After an overview of real-time processing, theoretical foundations are presented. The book then introduces useful modeling concepts and tools. This is followed by concentration on the more practical aspects of real-time engineering with a thorough overview of the present state of the art, both in hardware and software, including related concepts in robotics. Examples are given of novel real-time applications which...
Real-Time Systems Engineering and Applications is a well-structured collection of chapters pertaining to present and future developments in r...
|
cena:
831,56 |
 |
Constructing Predictable Real Time Systems
ISBN: 9780792392026 / Angielski / Twarda / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Vorwort In der Natur entwickelten sich die Echtzeitsysteme seit einigen 100 Mil Honen Jahren. Tierische Nervensysteme haben zur Aufgabe, auf die Nachrichten aus der Umwelt die Steuerungsbefehle an die aktiven Or gane zu geben. Dabei spielen zum Beispiel bedingte Reflexe eine wichtige Rolle. Vielleicht kann man die Entstehung des Menschen etwa zu der Zeit ansetzen, als sein sich allmahlich entwickelndes Gehirn Gedanken entwickelte, deren Bedeutung in vorausplanender Weise iiber die gerade vorliegende Situation hinausging. Das fiihrte schliesslich unter anderem zum heutigen Wissenschaftler, der...
Vorwort In der Natur entwickelten sich die Echtzeitsysteme seit einigen 100 Mil Honen Jahren. Tierische Nervensysteme haben zur Aufgabe, auf die Nachr...
|
cena:
623,66 |
 |
Synchronization in Real-Time Systems: A Priority Inheritance Approach
ISBN: 9780792392118 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Real-time computing systems are vital to a wide range of applications. For example, they are used in the control of nuclear reactors and automated manufacturing facilities, in controlling and tracking air traffic, and in communication systems. In recent years, real-time systems have also grown larger and become more critical. For instance, advanced aircraft such as the space shuttle must depend heavily on computer sys tems Carlow 84]. The centralized control of manufacturing facilities and assembly plants operated by robots are other examples at the heart of which lie embedded real-time...
Real-time computing systems are vital to a wide range of applications. For example, they are used in the control of nuclear reactors and automated man...
|
cena:
415,76 |
 |
Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 9780792393320 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability...
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verificati...
|
cena:
856,85 |
![The Testability of Distributed Real-Time Systems Werner Schutz Werner Sch]tz 9780792393863 Springer](/9780792393863_the_testability_of_distributed_real_time_systems.jpg "The Testability of Distributed Real-Time Systems") |
The Testability of Distributed Real-Time Systems
ISBN: 9780792393863 / Angielski / Twarda / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of...
BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimen...
|
cena:
415,76 |
 |
Multithreaded Computer Architecture: A Summary of the State of the Art
ISBN: 9780792394778 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 recent advances in dataflow, RISC, compiling for fine-grained parallel execution, and dynamic resource management. It offers the hope of dramatic performance increases through parallel execution for a broad spectrum of significant applications based on extensions to traditional' approaches....
Multithreaded computer architecture has emerged as one of the most promising and exciting avenues for the exploitation of parallelism. This new field ...
|
cena:
831,56 |
 |
Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
ISBN: 9780792395638 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 that more traditional disciplines of computer research have inhibited. It breaks important ground in the development of a fruitful, modern perspective on computer systems as they are currently developing and as they may be expected to develop over the next decade.
... Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important is...
|
cena:
831,56 |
 |
Multithreaded Processor Design
ISBN: 9780792397182 / Angielski / Twarda / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multithreaded Processor Design takes the unique approach of designing a multithreaded processor from the ground up. Every aspect is carefully considered to form a balanced design rather than making incremental changes to an existing design and then ignoring problem areas.
The general purpose parallel computer is an elusive goal. Multithreaded processors have emerged as a promising solution to this conundrum by forming some amalgam of the commonplace control-flow (von Neumann) processor model with the more exotic data-flow approach. This new processor model offers many exciting... Multithreaded Processor Design takes the unique approach of designing a multithreaded processor from the ground up. Every aspect is carefully...
|
cena:
856,85 |
 |
The SGML FAQ Book: Understanding the Foundation of HTML and XML
ISBN: 9780792399438 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although not evident to all, many people have been waiting more than a decade for The SGML FAQ Book by Steve DeRose. It has been "brewing" for a long time, with many hours, months, years of research talking to people, gathering their ideas, listening to their frustrations, applauding their successes. Only Steve with his experience, credentials, wit, and enthusiasm for the subject could have written this book. But it is also a measure of the success and maturity of ISO 8879 and its amazing longevity that allows an "SGMLer" to write such a book. We can now laugh at ourselves, even disclose our...
Although not evident to all, many people have been waiting more than a decade for The SGML FAQ Book by Steve DeRose. It has been "brewing" for a long ...
|
cena:
415,76 |
 |
Building Websites for a Multinational Audience
ISBN: 9780810845039 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A successful Web site presents information to the user in a format with which he or she is accustomed. How much greater then the challenge to build a Web site capable of addressing the information needs of racially, ethnically, and linguistically diverse populations. Linda Main brings to the forefront those issues that should be considered by anyone building a Web site aimed at a multinational audience. It is a practical, hands-on look at issues such as: writing systems, character sets, encoding, and Unicode; XHTML and CSS style sheets; the effective placement of graphics; and the sensible...
A successful Web site presents information to the user in a format with which he or she is accustomed. How much greater then the challenge to build a ...
|
cena:
403,00 |
 |
The Combinatory Programme
ISBN: 9780817638016 / Angielski / Twarda / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is...
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo...
|
cena:
415,76 |
 |
Solving Higher-Order Equations: From Logic to Programming
ISBN: 9780817640323 / Angielski / Twarda / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a...
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specifica...
|
cena:
415,76 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
