MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn298115840
003 OCoLC
005 20231117015159.0
006 m o d
007 cr cnu---unuuu
008 090112s1987 maua ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d OCLCQ  |d UBY  |d IDEBK  |d E7B  |d OCLCQ  |d OPELS  |d OCLCQ  |d OCLCF  |d YDXCP  |d EBLCP  |d OCLCQ  |d MERUC  |d DEBBG  |d OCLCQ  |d LEAUB  |d OCLCO  |d OCL  |d OCLCQ  |d OCLCO 
019 |a 505079409  |a 646758717  |a 808730586 
020 |a 9780080566580  |q (electronic bk.) 
020 |a 0080566588  |q (electronic bk.) 
020 |a 0120121263  |q (electronic bk.) 
020 |a 9780120121267  |q (electronic bk.) 
035 |a (OCoLC)298115840  |z (OCoLC)505079409  |z (OCoLC)646758717  |z (OCoLC)808730586 
050 4 |a QA76  |b .A3eb vol. 26 
072 7 |a COM  |x 052000  |2 bisacsh 
072 7 |a COM  |x 037000  |2 bisacsh 
072 7 |a COM  |x 013000  |2 bisacsh 
072 7 |a COM  |x 032000  |2 bisacsh 
072 7 |a COM  |x 018000  |2 bisacsh 
072 7 |a COM  |x 014000  |2 bisacsh 
072 7 |a COM  |x 067000  |2 bisacsh 
082 0 4 |a 004  |2 22 
245 0 0 |a Advances in computers :  |n Volume 26 /  |c edited by Marshall C. Yovits. 
260 |a Boston :  |b Academic Press,  |c �1987. 
300 |a 1 online resource (xi, 476 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 0 |a Advances in computers ;  |v v. 26 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
505 0 |a Front Cover; Advances in Computers, Volume 26; Copyright Page; Contents; Preface; Chapter 1. The Explicit Support of Human Reasoning in Decision Support Systems; 1. Introduction; 2. Human Decision Processes; 3. Computer-Based Support of Reasoning; 4. Reasoning with Fuzzyand Uncertain Knowledge; 5. Further Issues in Reasoning; 6. Concluding Remarks; References; Chapter 2. Unary Processing; 1. Introduction; 2. Counters, Calculators, Computers: Description of Historical Unary Methods; 3. Premise for Proving Binary Superiority; 4. Probabilistic Unary Methods; 5. Deterministic Averaging Methods. 
505 8 |a 6. Pulse Gear and Table Look-Up Methods7. The UNIFIELD I: Architecture and Applications; 8. Summary and Outlook for Unary Processing; References; Chapter 3. Parallel Algorithms for Some Computational Problems; 1. Introduction; 2. Parallel Connectivity Algorithms; 3. Parallel Minimum Spanning-Tree Algorithms; 4. Other Parallel Graph Algorithms; 5. Other Parallel Algorithms; 6. Conclusions; References; Chapter 4. Multistage interconnection Networks for Multiprocessor Systems; 1. Introduction; 2. Overview; 3. Unique Path Property Networks; 4. Full Combinatorial Capability Networks. 
505 8 |a 5. Multipath MINs6. Performance Analysis; 7. VLSI Implementation; 8. Conclusion; References; Chapter 5. Fault-Tolerant Computing; 1. Introduction; 2. Reliability Estimation; 3. Availability; 4. Application Reliability Requirements; 5. Fault Classification; 6. Effect of System Utilization; 7. Redundancy Techniques; 8. Hardware Fault Detection; 9. Software Detection Techniques; 10. Fault Recovery; 11. Fault Diagnosis; 12. Reliability Validation; 13. Examples of High-Reliability Real-Time Systems; 14. Conclusion; References. 
505 8 |a Chapter 6. Techniques and Issues in Testing and Validation of VLSl Systems1. Introduction; 2. Integrated Circuit Fabrication and Yield; 3. Design Validation Tools; 4. Testing; 5. Design for Testability; 6. Built-In Self-Test; 7. Concluding Remark; References; Chapter 7. Software Testing and Verification; 1. Introduction; 2 Mathematical Theory of Testing; 3. Static Data Flow Analysis and Testing; 4. Coverage Measures; 5. Mutation Analysis and Functional Testing; 6. Path-Oriented Testing Models; 7. Conclusions and Future Prospects; References. 
505 8 |a Chapter 8. Issues in the Development of Large, Distributed, and Reliable Software1 . Introduction; 2. The Software Life Cycle; 3. Requirement Specification; 4. Software Design; 5. Software Quality Assurance; 6. Software Management; 7. Conclusion; References; Author Index; Subject Index; Contents of Previous Volumes. 
520 |a ADVANCES IN COMPUTERS VOL 26. 
650 0 |a Computer science. 
650 0 |a Electronic data processing. 
650 0 |a Computers. 
650 0 |a Electronic digital computers. 
650 6 |a Informatique.  |0 (CaQQLa)201-0063036 
650 6 |a Ordinateurs.  |0 (CaQQLa)201-0003527 
650 7 |a data processing.  |2 aat  |0 (CStmoGRI)aat300054636 
650 7 |a computer science.  |2 aat  |0 (CStmoGRI)aat300054575 
650 7 |a computers.  |2 aat  |0 (CStmoGRI)aat300024521 
650 7 |a COMPUTERS  |x Reference.  |2 bisacsh 
650 7 |a COMPUTERS  |x Machine Theory.  |2 bisacsh 
650 7 |a COMPUTERS  |x Computer Literacy.  |2 bisacsh 
650 7 |a COMPUTERS  |x Information Technology.  |2 bisacsh 
650 7 |a COMPUTERS  |x Data Processing.  |2 bisacsh 
650 7 |a COMPUTERS  |x Computer Science.  |2 bisacsh 
650 7 |a COMPUTERS  |x Hardware  |x General.  |2 bisacsh 
650 7 |a Electronic digital computers  |2 fast  |0 (OCoLC)fst00907122 
650 7 |a Computer science  |2 fast  |0 (OCoLC)fst00872451 
650 7 |a Computers  |2 fast  |0 (OCoLC)fst00872776 
650 7 |a Electronic data processing  |2 fast  |0 (OCoLC)fst00906956 
700 1 |a Yovits, M. C.  |q (Marshall Clinton) 
776 0 8 |i Print version:  |t Advances in computers : Volume 26.  |d Boston : Academic Press, �1987  |z 0120121263  |z 9780120121267  |w (DLC) 59015761  |w (OCoLC)17833457 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780120121267  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/00652458/26  |z Texto completo