REBIUN - ODA

Descripción del título

Advances in computers. edit...

Advances in computers.

Yovits, M. C. (Marshall Clinton)

Academic Press c1989

ADVANCES IN COMPUTERS VOL 29

Ver

Electronic books

Monografía

monografia Rebiun25979692 https://catalogo.rebiun.org/rebiun/record/Rebiun25979692 m o d | cr -n--------- 040909s1989 caua ob 001 0 eng d 1-281-71875-0 9786611718756 0-08-056661-8 UPVA 997187393003706 MiAaPQ MiAaPQ MiAaPQ eng 510.78 Advances in computers. Volume 29 electronic resource] edited by Marshall C. Yovits San Diego London Academic Press c1989 San Diego London San Diego London Academic Press 1 online resource (373 p.) 1 online resource (373 p.) Text txt computer c online resource cr Advances in computers v. 29 Description based upon print version of record Includes bibliographical references and index Front Cover; Advances in Computers, Volume 29; Copyright Page; Contents; Contributors; Preface; Chapter 1. Models of Multilevel Computer Security; 1. Introduction; 2. Implementing Models; 3. Model-to-Specification Correspondence; 4. The Bell-LaPadula Model; 5. Database and Network Models; 6. Information Flow Models; 7. Conclusion; References; Chapter 2. Evaluation, Description and Invention: Paradigms for Human-Computer Interaction; 1. Introduction; 2. Human Factors Evaluation; 3. Cognitive Description; 4. Usability-Innervated Invention; 5. The Ecology of Computing; Acknowledgment; References Chapter 3. Protocol Engineering1. Introduction; 2 . Network Architecture; 3. Formal Models for Protocol Specification; 4. Protocol Validation; 5. Verification and Conformity Analysis; 6. Protocol Synthesis; 7. Timed Models and Performance Analysis; 8. Protocol Conversion; 9. Implementation and Conformance Testing; 10. Automated Protocol Design; 11. Conclusion; Acknowledgments; References; Chapter 4. Computer Chess: Ten Years of Significant Progress; 1. Introduction; 2. Search Techniques in Chess Programs; 3. Opening Books; 4. Endgame Play and Endgame Database 5. A Brief History of Computer Chess Tournament Play6. The Rating of Chess Players; 7. The Relation Between Computer Speed and Program Strength; 8. On the Chess Skill of Chess Programmers; 9. Languages Used by Chess Programs; 10. Testing Chess Programs; 11. Debugging Chess Programs; 12. A Sample of Play: DEEP THOUGHT 0.02 (White) versus HITECH (Black); 13. Data on Programs, Computers, Languages, Authors, Affiliations, Etc.; 14. The International Computer Chess Association and the ACM's Computer Chess Committee; 15. Conclusions; References; Chapter 5. Soviet Computing in the 1980s 1. Introduction2. Soviet Computing Before 1980: A Brief Summary; 3. Official Plans for the 1980s; 4. Hardware Development in the 1980s; 5. Perestroika and Soviet Computing; References; Auther Index; Subject Index; Contents of Previous Volumes ADVANCES IN COMPUTERS VOL 29 English Computer security Human-computer interaction Computer chess Electronic books Yovits, M. C. Marshall Clinton) Advances in computers (CKB)954928521846 (DLC)59015761 (OCoLC)269012753 0065-2458 0-12-012129-8

• Localizaciones: 2
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun25979692

Cerrar

monografia Rebiun25979692 https://catalogo.rebiun.org/rebiun/record/Rebiun25979692 m o d | cr -n--------- 040909s1989 caua ob 001 0 eng d 1-281-71875-0 9786611718756 0-08-056661-8 UPVA 997187393003706 MiAaPQ MiAaPQ MiAaPQ eng 510.78 Advances in computers. Volume 29 electronic resource] edited by Marshall C. Yovits San Diego London Academic Press c1989 San Diego London San Diego London Academic Press 1 online resource (373 p.) 1 online resource (373 p.) Text txt computer c online resource cr Advances in computers v. 29 Description based upon print version of record Includes bibliographical references and index Front Cover; Advances in Computers, Volume 29; Copyright Page; Contents; Contributors; Preface; Chapter 1. Models of Multilevel Computer Security; 1. Introduction; 2. Implementing Models; 3. Model-to-Specification Correspondence; 4. The Bell-LaPadula Model; 5. Database and Network Models; 6. Information Flow Models; 7. Conclusion; References; Chapter 2. Evaluation, Description and Invention: Paradigms for Human-Computer Interaction; 1. Introduction; 2. Human Factors Evaluation; 3. Cognitive Description; 4. Usability-Innervated Invention; 5. The Ecology of Computing; Acknowledgment; References Chapter 3. Protocol Engineering1. Introduction; 2 . Network Architecture; 3. Formal Models for Protocol Specification; 4. Protocol Validation; 5. Verification and Conformity Analysis; 6. Protocol Synthesis; 7. Timed Models and Performance Analysis; 8. Protocol Conversion; 9. Implementation and Conformance Testing; 10. Automated Protocol Design; 11. Conclusion; Acknowledgments; References; Chapter 4. Computer Chess: Ten Years of Significant Progress; 1. Introduction; 2. Search Techniques in Chess Programs; 3. Opening Books; 4. Endgame Play and Endgame Database 5. A Brief History of Computer Chess Tournament Play6. The Rating of Chess Players; 7. The Relation Between Computer Speed and Program Strength; 8. On the Chess Skill of Chess Programmers; 9. Languages Used by Chess Programs; 10. Testing Chess Programs; 11. Debugging Chess Programs; 12. A Sample of Play: DEEP THOUGHT 0.02 (White) versus HITECH (Black); 13. Data on Programs, Computers, Languages, Authors, Affiliations, Etc.; 14. The International Computer Chess Association and the ACM's Computer Chess Committee; 15. Conclusions; References; Chapter 5. Soviet Computing in the 1980s 1. Introduction2. Soviet Computing Before 1980: A Brief Summary; 3. Official Plans for the 1980s; 4. Hardware Development in the 1980s; 5. Perestroika and Soviet Computing; References; Auther Index; Subject Index; Contents of Previous Volumes ADVANCES IN COMPUTERS VOL 29 English Computer security Human-computer interaction Computer chess Electronic books Yovits, M. C. Marshall Clinton) Advances in computers (CKB)954928521846 (DLC)59015761 (OCoLC)269012753 0065-2458 0-12-012129-8