Cargando…
Advances in software science and technology. Volume 3 /
Advances in Software Science and Technology.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
San Diego, CA :
Academic Press,
1992.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn897473700 | ||
| 003 | OCoLC | ||
| 005 | 20231120111921.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141204s1992 cau o 000 0 eng d | ||
| 040 | |a OPELS |b eng |e rda |e pn |c OPELS |d N$T |d OCLCF |d YDXCP |d EBLCP |d DEBSZ |d MERUC |d STF |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 897652003 |a 906959470 | ||
| 020 | |a 9781483215716 |q (electronic bk.) | ||
| 020 | |a 1483215717 |q (electronic bk.) | ||
| 020 | |z 9780120371037 | ||
| 020 | |z 0120371030 | ||
| 035 | |a (OCoLC)897473700 |z (OCoLC)897652003 |z (OCoLC)906959470 | ||
| 050 | 4 | |a QA76.754 | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 0 | 0 | |a Advances in software science and technology. |n Volume 3 / |c Japan Society for Software Science and Technology. |
| 264 | 1 | |a San Diego, CA : |b Academic Press, |c 1992. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Advances in Software Science and Technology; Copyright Page; Table of Contents; Part I: Research Contributions; Part II: Society News; Editor's Message; Ikuo Nakata; Contents of Previous Volumes; Chapter 1. Prototyping a System of Writing Tools for JapaneseDocuments; 1 Introduction; 2 Features of Japanese Documents; 3 Development Policy; 4 First Version of SUIKOU; 5 Addition and Determination of Functions; 6 Improvement of Efficiency; 7 Modification of User Interface; 8 Environment and Coding Method; 9 Discussion; 10 Conclusions; References. | |
| 505 | 8 | |a Chapter 2. Attribute Grammar EvaluationSystem for Natural-Language Processing1 Introduction; 2 Informal Description of CAGs; 3 Principles of the CAG Evaluator; 4 Application to Natural-Language Processing; 5 Conclusion; References; Chapter3. An Object-Oriented Implementation of TCP/IP Network Protocols; 1 Introduction; 2 Implementation Model; 3 Implementation Model and Object-Oriented Programming; 4 Implementation in Object-Oriented Programming; 5 Evaluation; 6 Summary; References; Chapter 4. RACCO: A Modal-Logic Programming Language for Writing Modelsof Real-Time Process-Control Systems. | |
| 505 | 8 | |a 1 Introduction2 A Primer of RACCO; 3 Semantics and Implementation; References; Chapter 5. Formalizing Computer Program Traces; 1 Introduction; 2 T-equivalence between Programs; 3 Stereoscopic Program Extension; 4 Natural Numbers and S-Expressions; 5 Concluding Remarks; References; Chapter 6. Regular Expressions with Semantic Rules and TheirApplication to Data Structure Directed Programs; 1 Introduction; 2 Explanation by Simple Examples; 3 Regular Expressions with Semantic Rules and Their Automata; 4 Application to Data-Structure-Directed Programs; 5 Conclusion; References. | |
| 505 | 8 | |a Chapter 7. Misty: An Object-Oriented Programming Language with Multiple Inheritance and Strict Type-Checking1 Introduction; 2 Object-Oriented Programming Languages and Types; 3 Design of the Misty Language; 4 The Compiler; 5 Programming in Misty; 6 Conclusions; References; Chapter 8. The Semantics of an Object-Oriented Concurrent Programming Language: Process AlgebraicApproach; 1 Introduction; 2 Notation; 3 Concurrent Object-Oriented Language Mono; 4 Process Algebra Model ECCS; 5 Transformation from Mono to ECCS; 6 Summary; References; Chapter 9. Floating-Point Numbers and Real Numbers II. | |
| 505 | 8 | |a 1 Introduction2 The Structure of Floating-Point Round-offArithmetic; 3 Research Results; 4 Conclusion; References; Chapter 10. Constraint Dependency Grammarand Its Weak Generative Capacity; 1 Introduction; 2 Constraint Dependency Grammar: Definition; 3 Weak Generative Capacity of CDG; 4 Conclusion; References; Chapter 11. Rules for Submission of EnglishPapers and English Paper Style Guidelines; 1 Rules for Submission of English Papers; 2 English Paper Style Guidelines; Author's Guide; 1 Introduction; 2 Sending an Article; 3 Offprints. | |
| 520 | |a Advances in Software Science and Technology. | ||
| 650 | 0 | |a Computer software. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 2 | |a Software |0 (DNLM)D012984 | |
| 650 | 6 | |a Logiciels. |0 (CaQQLa)201-0032041 | |
| 650 | 6 | |a Programmation (Informatique) |0 (CaQQLa)201-0002014 | |
| 650 | 7 | |a software. |2 aat |0 (CStmoGRI)aat300028566 | |
| 650 | 7 | |a computer programming. |2 aat |0 (CStmoGRI)aat300054641 | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a Computer programming |2 fast |0 (OCoLC)fst00872390 | |
| 650 | 7 | |a Computer software |2 fast |0 (OCoLC)fst00872527 | |
| 710 | 2 | |a Nihon Sofutowea Kagakkai. | |
| 776 | 0 | 8 | |i Print version: |t Advances in Software Science and Technology |z 0120371030 |w (OCoLC)26306805 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780120371037 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/10447997/3 |z Texto completo |