Multidimensional programming /:
1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity.
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York :
Oxford University Press,
1995.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity. |
| Beschreibung: | 1 online resource (xi, 161 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 153-157) and index. |
| ISBN: | 9780195360455 0195360451 9780197560327 0197560326 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn435813256 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090904s1995 nyua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d EBLCP |d IDEBK |d E7B |d OCLCQ |d MHW |d OCLCQ |d OCLCF |d OCLCQ |d NLGGC |d OCLCQ |d AGLDB |d STF |d OCLCQ |d VTS |d OCLCQ |d LOA |d K6U |d VT2 |d OCLCQ |d AJS |d EMU |d UKAHL |d YDX |d SFB |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SXB | ||
| 019 | |a 647836981 |a 1035710138 |a 1107724695 |a 1109945935 |a 1111102639 |a 1117861992 |a 1228602857 |a 1298454716 |a 1354630437 |a 1370503036 | ||
| 020 | |a 9780195360455 |q (electronic bk.) | ||
| 020 | |a 0195360451 |q (electronic bk.) | ||
| 020 | |a 9780197560327 |q (electronic bk.) | ||
| 020 | |a 0197560326 |q (electronic bk.) | ||
| 020 | |z 9780195075977 | ||
| 020 | |z 0195075978 |q (cloth ; |q acid-free paper) | ||
| 035 | |a (OCoLC)435813256 |z (OCoLC)647836981 |z (OCoLC)1035710138 |z (OCoLC)1107724695 |z (OCoLC)1109945935 |z (OCoLC)1111102639 |z (OCoLC)1117861992 |z (OCoLC)1228602857 |z (OCoLC)1298454716 |z (OCoLC)1354630437 |z (OCoLC)1370503036 | ||
| 050 | 4 | |a QA76.73.L83 |b M85 1995eb | |
| 072 | 7 | |a COM |x 051310 |2 bisacsh | |
| 072 | 7 | |a COM |x 051280 |2 bisacsh | |
| 072 | 7 | |a COM |x 051130 |2 bisacsh | |
| 082 | 7 | |a 005.13/3 |2 22 | |
| 084 | |a 54.53 |2 bcl | ||
| 084 | |a ST 240 |2 rvk | ||
| 084 | |a ST 245 |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Multidimensional programming / |c E.A. Ashcroft [and others]. |
| 260 | |a New York : |b Oxford University Press, |c 1995. | ||
| 300 | |a 1 online resource (xi, 161 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 | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 153-157) and index. | ||
| 505 | 0 | |a 1 Introduction; 2 Intensionality; 3 Syntax and Semantics; 4 Transformation and Verification; 5 Education; 6 Parallelism and Fault Tolerance; 7 High-Performance Implementation; 8 Other Uses of Intensionality; Index. | |
| 520 | |a 1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Lucid (Computer program language) |0 http://id.loc.gov/authorities/subjects/sh85078737 | |
| 650 | 6 | |a Lucid (Langage de programmation) | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x C♯ |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x Java. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x Pascal. |2 bisacsh | |
| 650 | 7 | |a Lucid (Computer program language) |2 fast | |
| 653 | 0 | |a Programming languages | |
| 655 | 4 | |a Electronic book. | |
| 700 | 1 | |a Ashcroft, Edward A. |0 http://id.loc.gov/authorities/names/n84043796 | |
| 758 | |i has work: |a Multidimensional programming (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGBbfqR6BhCx6g3QmvBGjK |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Multidimensional programming. |d New York : Oxford University Press, 1995 |z 0195075978 |z 9780195075977 |w (DLC) 94031181 |w (OCoLC)31046458 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287503 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH38695874 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL430370 | ||
| 938 | |a EBSCOhost |b EBSC |n 287503 | ||
| 938 | |a YBP Library Services |b YANK |n 16980601 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn435813256 |
|---|---|
| _version_ | 1816881697654833152 |
| adam_text | |
| any_adam_object | |
| author2 | Ashcroft, Edward A. |
| author2_role | |
| author2_variant | e a a ea eaa |
| author_GND | http://id.loc.gov/authorities/names/n84043796 |
| author_facet | Ashcroft, Edward A. |
| author_sort | Ashcroft, Edward A. |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.L83 M85 1995eb |
| callnumber-search | QA76.73.L83 M85 1995eb |
| callnumber-sort | QA 276.73 L83 M85 41995EB |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 ST 245 |
| classification_tum | DAT 310f DAT 510f |
| collection | ZDB-4-EBA |
| contents | 1 Introduction; 2 Intensionality; 3 Syntax and Semantics; 4 Transformation and Verification; 5 Education; 6 Parallelism and Fault Tolerance; 7 High-Performance Implementation; 8 Other Uses of Intensionality; Index. |
| ctrlnum | (OCoLC)435813256 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03596cam a2200673 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn435813256</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">090904s1995 nyua ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LOA</subfield><subfield code="d">K6U</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">EMU</subfield><subfield code="d">UKAHL</subfield><subfield code="d">YDX</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">647836981</subfield><subfield code="a">1035710138</subfield><subfield code="a">1107724695</subfield><subfield code="a">1109945935</subfield><subfield code="a">1111102639</subfield><subfield code="a">1117861992</subfield><subfield code="a">1228602857</subfield><subfield code="a">1298454716</subfield><subfield code="a">1354630437</subfield><subfield code="a">1370503036</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195360455</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195360451</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780197560327</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0197560326</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780195075977</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0195075978</subfield><subfield code="q">(cloth ;</subfield><subfield code="q">acid-free paper)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)435813256</subfield><subfield code="z">(OCoLC)647836981</subfield><subfield code="z">(OCoLC)1035710138</subfield><subfield code="z">(OCoLC)1107724695</subfield><subfield code="z">(OCoLC)1109945935</subfield><subfield code="z">(OCoLC)1111102639</subfield><subfield code="z">(OCoLC)1117861992</subfield><subfield code="z">(OCoLC)1228602857</subfield><subfield code="z">(OCoLC)1298454716</subfield><subfield code="z">(OCoLC)1354630437</subfield><subfield code="z">(OCoLC)1370503036</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.73.L83</subfield><subfield code="b">M85 1995eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051310</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051280</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051130</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.53</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 245</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Multidimensional programming /</subfield><subfield code="c">E.A. Ashcroft [and others].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">New York :</subfield><subfield code="b">Oxford University Press,</subfield><subfield code="c">1995.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 161 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 153-157) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">1 Introduction; 2 Intensionality; 3 Syntax and Semantics; 4 Transformation and Verification; 5 Education; 6 Parallelism and Fault Tolerance; 7 High-Performance Implementation; 8 Other Uses of Intensionality; Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Lucid (Computer program language)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078737</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Lucid (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming Languages</subfield><subfield code="x">C♯</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming Languages</subfield><subfield code="x">Java.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming Languages</subfield><subfield code="x">Pascal.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lucid (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="653" ind1="0" ind2=" "><subfield code="a">Programming languages</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic book.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ashcroft, Edward A.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84043796</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Multidimensional programming (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGBbfqR6BhCx6g3QmvBGjK</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Multidimensional programming.</subfield><subfield code="d">New York : Oxford University Press, 1995</subfield><subfield code="z">0195075978</subfield><subfield code="z">9780195075977</subfield><subfield code="w">(DLC) 94031181</subfield><subfield code="w">(OCoLC)31046458</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287503</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH38695874</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL430370</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">287503</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">16980601</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic book. |
| genre_facet | Electronic book. |
| id | ZDB-4-EBA-ocn435813256 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:50Z |
| institution | BVB |
| isbn | 9780195360455 0195360451 9780197560327 0197560326 |
| language | English |
| oclc_num | 435813256 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xi, 161 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Oxford University Press, |
| record_format | marc |
| spelling | Multidimensional programming / E.A. Ashcroft [and others]. New York : Oxford University Press, 1995. 1 online resource (xi, 161 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Includes bibliographical references (pages 153-157) and index. 1 Introduction; 2 Intensionality; 3 Syntax and Semantics; 4 Transformation and Verification; 5 Education; 6 Parallelism and Fault Tolerance; 7 High-Performance Implementation; 8 Other Uses of Intensionality; Index. 1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity. Print version record. Lucid (Computer program language) http://id.loc.gov/authorities/subjects/sh85078737 Lucid (Langage de programmation) COMPUTERS Programming Languages C♯ bisacsh COMPUTERS Programming Languages Java. bisacsh COMPUTERS Programming Languages Pascal. bisacsh Lucid (Computer program language) fast Programming languages Electronic book. Ashcroft, Edward A. http://id.loc.gov/authorities/names/n84043796 has work: Multidimensional programming (Text) https://id.oclc.org/worldcat/entity/E39PCGBbfqR6BhCx6g3QmvBGjK https://id.oclc.org/worldcat/ontology/hasWork Print version: Multidimensional programming. New York : Oxford University Press, 1995 0195075978 9780195075977 (DLC) 94031181 (OCoLC)31046458 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287503 Volltext |
| spellingShingle | Multidimensional programming / 1 Introduction; 2 Intensionality; 3 Syntax and Semantics; 4 Transformation and Verification; 5 Education; 6 Parallelism and Fault Tolerance; 7 High-Performance Implementation; 8 Other Uses of Intensionality; Index. Lucid (Computer program language) http://id.loc.gov/authorities/subjects/sh85078737 Lucid (Langage de programmation) COMPUTERS Programming Languages C♯ bisacsh COMPUTERS Programming Languages Java. bisacsh COMPUTERS Programming Languages Pascal. bisacsh Lucid (Computer program language) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85078737 |
| title | Multidimensional programming / |
| title_auth | Multidimensional programming / |
| title_exact_search | Multidimensional programming / |
| title_full | Multidimensional programming / E.A. Ashcroft [and others]. |
| title_fullStr | Multidimensional programming / E.A. Ashcroft [and others]. |
| title_full_unstemmed | Multidimensional programming / E.A. Ashcroft [and others]. |
| title_short | Multidimensional programming / |
| title_sort | multidimensional programming |
| topic | Lucid (Computer program language) http://id.loc.gov/authorities/subjects/sh85078737 Lucid (Langage de programmation) COMPUTERS Programming Languages C♯ bisacsh COMPUTERS Programming Languages Java. bisacsh COMPUTERS Programming Languages Pascal. bisacsh Lucid (Computer program language) fast |
| topic_facet | Lucid (Computer program language) Lucid (Langage de programmation) COMPUTERS Programming Languages C♯ COMPUTERS Programming Languages Java. COMPUTERS Programming Languages Pascal. Electronic book. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287503 |
| work_keys_str_mv | AT ashcroftedwarda multidimensionalprogramming |