Cargando…
Advances in software science and technology. Volume 2 /
Advances in Software Science and Technology.
| Clasificación: | Libro Electrónico |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
Academic Press,
�1991.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn897650987 | ||
| 003 | OCoLC | ||
| 005 | 20231120111901.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 141206s1991 maua ob 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e rda |e pn |c EBLCP |d OCLCQ |d N$T |d E7B |d OPELS |d OCLCF |d DEBSZ |d YDXCP |d MERUC |d OCLCQ |d STF |d OCLCQ |d VLY |d OCLCO |d INARC |d OCLCQ |d OCLCO | ||
| 019 | |a 894520972 |a 948400034 | ||
| 020 | |a 9781483215709 |q (electronic bk.) | ||
| 020 | |a 1483215709 |q (electronic bk.) | ||
| 020 | |z 9780120371020 | ||
| 035 | |a (OCoLC)897650987 |z (OCoLC)894520972 |z (OCoLC)948400034 | ||
| 050 | 4 | |a QA76.754 | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.3 |2 23 |
| 245 | 0 | 0 | |a Advances in software science and technology. |n Volume 2 / |c Japan Society for Software Science and Technology. |
| 260 | |a Boston : |b Academic Press, |c �1991. | ||
| 300 | |a 1 online resource : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Advances in Software Science and Technology; Copyright Page; Table of Contents; Editor's Message; Ikuo Nakata; Part I: Research Contributions; Chapter 1. Attachment of a First-Order Data Constructor and Its Application; 1 Introduction; 2 Preliminaries; 3 First-Order Diagrams and Data Constructors; 4 Examples; 5 SetD; 6 Domain equation; 7 Application; 8 Conclusion; References; Chapter 2. A Smoothing Algorithm of Polygonal Curves and Polyhedral Surfaces; 1 Introduction; 2 Interpolation and Approximation; 3 The Proposed Algorithm; 4 Examples; 5 Variations of the Basic Algorithm | |
| 505 | 8 | |a 6 Application to 3D Surfaces7 End Conditions for 3D Surfaces; 8 Conclusions; References; Chapter 3. A Technique for Prolog Program Synthesis from Natural Language Specification; 1 Introduction; 2 The Knowledge Required for Program Synthesis; 3 Goal and Plan; 4 Implementation of the System; 5 Application Example; 6 Conclusion; References; Chapter 4. Processing Left Extraposition in a Bottom-Up Parsing System; 1 Introduction; 2 Left Extraposition and Grammar Formalisms; 3 BUP-XG -- Bottom-Up Parser for an XGS; 4 Implementation; 5 Appraisal of the BUP-XG System; 6 Conclusions; References | |
| 505 | 8 | |a Chapter 5. On Learning Smullyan's Elementary Formal Systems: Towards an Efficient Learning Method for Context-Sensitive Languages1 Introduction; 2 Preliminaries; 3 Extended Simple Formal Systems; 4 The Learning Algorithm; References; Chapter 6. A Data Model in the Software Project Database KyotoDB; 1 Introduction; 2 Comparison with Other Works; 3 Unit Workload; 4 Object; 5 Software Engineering Information and Semantic Relationships; 6 Example; 7 Conclusion; References; Chapter 7. Hamada Floating-Point Numbers and Real Numbers; 1 Introduction | |
| 505 | 8 | |a 2 The Structure of Hamada Floating-Point Arithmetic3 The Probability Interpretation of the Axioms of Real Numbers by HF(L); 4 Conclusions; Appendix; References; Chapter 8. An Efficient Multiple String Replacing Algorithm Using Patterns with Pictures; 1 Introduction; 2 Multiple String Replacement Problem; 3 The Arikawa-Shiraishi Algorithm; 4 The Validity of the Arikawa-Shiraishi Algorithm; 5 Patterns with Pictures; 6 Replacement Using Patterns with Pictures; 7 Conclusions; References; Chapter 9. Kamui88: A Parallel Computation Model with Fields and Events; 1 Introduction; 2 Overview of Kamui88 | |
| 505 | 8 | |a 3 Definition of an Object4 Interactions between Objects; 5 Grouping Objects; 6 Modeling of Distributed Problem Solving Systems; 7 Examples; 8 Studies for Implementing Our Model in Parallel Environments; 9 Conclusions; References; Part II: Tutorial; Chapter 10. Formation and Development of the Concept of Algorithm ; 1 Formation of the Concept of Algorithm in the History of Mathematics; 2 Calculating Machines as the Physical Realization of Computing Processes; 3 Toward a Mathematical Definition of Algorithms; 4 On the Mathematical Definition of Algorithms: Church's Thesis | |
| 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 Software Development. |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, |e issuing body. | |
| 776 | 0 | 8 | |i Print version: |a Ohno, Yoshio. |t Advances in Software Science and Technology : Volume 2. |d Burlington : Elsevier Science, �2014 |z 9780120371020 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780120371020 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/10447997/2 |z Texto completo |