Instruction sequences for computer science
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously inves...
সংরক্ষণ করুন:
| প্রধান লেখক: | , |
|---|---|
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Paris :
Atlantis Press
2012.
Cham : Springer Nature |
| মালা: | Atlantis Studies in Computing
2 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Instruction Sequences for Computer Science, Texte imprimé, 9789491216640 • Instruction Sequences for Computer Science, Texte imprimé, 9789491216664 • Instruction Sequences for Computer Science, Texte imprimé, 9789462390492 |
| LEADER | 03383nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 958560 | ||
| 008 | 130325s2012 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN168343908 | ||
| 020 | |a 9789491216657 | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.0151 | ||
| 100 | 1 | |a Bergstra, Johannes Aldert, |d 1951- | |
| 245 | 1 | 0 | |a Instruction sequences for computer science |c by Jan A. Bergstra, Cornelis A. Middelburg. |
| 260 | |a Paris : |b Atlantis Press. | ||
| 260 | |a Cham : |b Springer Nature, |c 2012. | ||
| 490 | 0 | |a Atlantis Studies in Computing |v 2 |x 2212-8565 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Introduction -- Instruction Sequences -- Instruction Processing -- Expressiveness of Instruction Sequences -- Computation-Theoretic Issues -- Computer-Architectural Issues -- Instruction Sequences and Process Algebra -- Variations on a Theme -- Appendix A: Five Challenges for Projectionism -- Appendix B: Natural Number Functional Units -- Appendix C: Dynamically Instantiated Instructions -- Appendix D: Analytic Execution Architectures. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all | ||
| 650 | |a Informatique | ||
| 650 | |a Architecture des réseaux d'ordinateurs | ||
| 650 | |a Structure logique | ||
| 700 | 1 | |a Middelburg, Cornelis A., |d 19..- |4 aut | |
| 776 | 0 | |t Instruction Sequences for Computer Science |b Texte imprimé |z 9789491216640 | |
| 776 | 0 | |t Instruction Sequences for Computer Science |b Texte imprimé |z 9789491216664 | |
| 776 | 0 | |t Instruction Sequences for Computer Science |b Texte imprimé |z 9789462390492 | |
| 856 | 4 | |q PDF |u https://doi.org/10.2991/978-94-91216-65-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-W62H09J1-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:749131810 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.2991/978-94-91216-65-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:752140949 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.2991/978-94-91216-65-7 |z Accès INSA CVL | |
| 997 | |0 958560 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||