Current trends in theoretical computer science :: entering the 21st century /
The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore ; River Edge, NJ :
World Scientific,
©2001.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 1995-2000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science |
| Beschreibung: | Based on columns and tutorials published in the Bulletin of the European Association for theoretical computer science in the period 1992-2000. |
| Beschreibung: | 1 online resource (x, 869 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9789812810403 9812810404 1281951900 9781281951908 9786611951900 6611951903 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn268958819 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 081105s2001 si a ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d IDEBK |d E7B |d OCLCQ |d OCLCF |d NLGGC |d YDXCP |d EBLCP |d OCLCQ |d VTS |d AGLDB |d STF |d M8D |d UKAHL |d OCLCQ |d LEAUB |d OCLCQ |d VLY |d OCLCO |d OCLCA |d OCLCO |d OCLCQ |d OCL |d OCLCO |d OCLCL |d SXB |d OCLCQ |d OCLCO | ||
| 019 | |a 646768194 |a 815754747 |a 1086518628 |a 1162002542 |a 1241914337 |a 1300452040 | ||
| 020 | |a 9789812810403 |q (electronic bk.) | ||
| 020 | |a 9812810404 |q (electronic bk.) | ||
| 020 | |a 1281951900 | ||
| 020 | |a 9781281951908 | ||
| 020 | |a 9786611951900 | ||
| 020 | |a 6611951903 | ||
| 020 | |z 9789810244736 | ||
| 020 | |z 9810244738 | ||
| 035 | |a (OCoLC)268958819 |z (OCoLC)646768194 |z (OCoLC)815754747 |z (OCoLC)1086518628 |z (OCoLC)1162002542 |z (OCoLC)1241914337 |z (OCoLC)1300452040 | ||
| 050 | 4 | |a QA76 |b .C874 2001eb | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a UY |2 bicssc | |
| 082 | 7 | |a 004 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Current trends in theoretical computer science : |b entering the 21st century / |c edited by G. Păun, G. Rozenberg, A. Salomaa. |
| 260 | |a Singapore ; |a River Edge, NJ : |b World Scientific, |c ©2001. | ||
| 300 | |a 1 online resource (x, 869 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 | ||
| 500 | |a Based on columns and tutorials published in the Bulletin of the European Association for theoretical computer science in the period 1992-2000. | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 1995-2000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science | ||
| 505 | 0 | |a Ch. 1. Computational complexity / E. Allender and guest authors -- ch. 2. Formal specification / H. Ehrig and guest authors -- ch. 3. Logic in computer science / Y. Gurevich and guest authors -- ch. 4. Concurrency / M. Nielsen and guest authors -- ch. 5. Natural computing / G. Rozenberg and guest authors -- ch. 6. Formal language theory / A. Salomaa and guest authors. | |
| 546 | |a English. | ||
| 650 | 0 | |a Computer science. |0 http://id.loc.gov/authorities/subjects/sh89003285 | |
| 650 | 0 | |a Electronic data processing. |0 http://id.loc.gov/authorities/subjects/sh85042288 | |
| 650 | 6 | |a Informatique. | |
| 650 | 7 | |a computer science. |2 aat | |
| 650 | 7 | |a data processing. |2 aat | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Electronic data processing |2 fast | |
| 650 | 7 | |a Computer science |2 fast | |
| 700 | 1 | |a Păun, Gheorghe, |d 1950- |1 https://id.oclc.org/worldcat/entity/E39PBJmhQYm7xMj7CgbcjVtVG3 |0 http://id.loc.gov/authorities/names/n98038502 | |
| 700 | 1 | |a Rozenberg, Grzegorz. | |
| 700 | 1 | |a Salomaa, Arto. | |
| 758 | |i has work: |a Current trends in theoretical computer science (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFXgjmR4HmJKhP4txt3Hhb |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Current trends in theoretical computer science. |d Singapore ; River Edge, NJ : World Scientific, ©2001 |z 9810244738 |z 9789810244736 |w (DLC) 2001270898 |w (OCoLC)47196790 |
| 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=235886 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24685547 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1679774 | ||
| 938 | |a ebrary |b EBRY |n ebr10255426 | ||
| 938 | |a EBSCOhost |b EBSC |n 235886 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 195190 | ||
| 938 | |a YBP Library Services |b YANK |n 2915214 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn268958819 |
|---|---|
| _version_ | 1816881679615131648 |
| adam_text | |
| any_adam_object | |
| author2 | Păun, Gheorghe, 1950- Rozenberg, Grzegorz Salomaa, Arto |
| author2_role | |
| author2_variant | g p gp g r gr a s as |
| author_GND | http://id.loc.gov/authorities/names/n98038502 |
| author_facet | Păun, Gheorghe, 1950- Rozenberg, Grzegorz Salomaa, Arto |
| author_sort | Păun, Gheorghe, 1950- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76 .C874 2001eb |
| callnumber-search | QA76 .C874 2001eb |
| callnumber-sort | QA 276 C874 42001EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Ch. 1. Computational complexity / E. Allender and guest authors -- ch. 2. Formal specification / H. Ehrig and guest authors -- ch. 3. Logic in computer science / Y. Gurevich and guest authors -- ch. 4. Concurrency / M. Nielsen and guest authors -- ch. 5. Natural computing / G. Rozenberg and guest authors -- ch. 6. Formal language theory / A. Salomaa and guest authors. |
| ctrlnum | (OCoLC)268958819 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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>05190cam a2200829 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn268958819</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">081105s2001 si a ob 000 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">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">YDXCP</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">AGLDB</subfield><subfield code="d">STF</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LEAUB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">646768194</subfield><subfield code="a">815754747</subfield><subfield code="a">1086518628</subfield><subfield code="a">1162002542</subfield><subfield code="a">1241914337</subfield><subfield code="a">1300452040</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812810403</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812810404</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281951900</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281951908</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611951900</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6611951903</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789810244736</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9810244738</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)268958819</subfield><subfield code="z">(OCoLC)646768194</subfield><subfield code="z">(OCoLC)815754747</subfield><subfield code="z">(OCoLC)1086518628</subfield><subfield code="z">(OCoLC)1162002542</subfield><subfield code="z">(OCoLC)1241914337</subfield><subfield code="z">(OCoLC)1300452040</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76</subfield><subfield code="b">.C874 2001eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">052000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">013000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">032000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UY</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Current trends in theoretical computer science :</subfield><subfield code="b">entering the 21st century /</subfield><subfield code="c">edited by G. Păun, G. Rozenberg, A. Salomaa.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Singapore ;</subfield><subfield code="a">River Edge, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2001.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 869 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="500" ind1=" " ind2=" "><subfield code="a">Based on columns and tutorials published in the Bulletin of the European Association for theoretical computer science in the period 1992-2000.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 1995-2000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Ch. 1. Computational complexity / E. Allender and guest authors -- ch. 2. Formal specification / H. Ehrig and guest authors -- ch. 3. Logic in computer science / Y. Gurevich and guest authors -- ch. 4. Concurrency / M. Nielsen and guest authors -- ch. 5. Natural computing / G. Rozenberg and guest authors -- ch. 6. Formal language theory / A. Salomaa and guest authors.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh89003285</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic data processing.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85042288</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">computer science.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">data processing.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Literacy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Information Technology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Electronic data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Păun, Gheorghe,</subfield><subfield code="d">1950-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJmhQYm7xMj7CgbcjVtVG3</subfield><subfield code="0">http://id.loc.gov/authorities/names/n98038502</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rozenberg, Grzegorz.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Salomaa, Arto.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Current trends in theoretical computer science (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFXgjmR4HmJKhP4txt3Hhb</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">Current trends in theoretical computer science.</subfield><subfield code="d">Singapore ; River Edge, NJ : World Scientific, ©2001</subfield><subfield code="z">9810244738</subfield><subfield code="z">9789810244736</subfield><subfield code="w">(DLC) 2001270898</subfield><subfield code="w">(OCoLC)47196790</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=235886</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">AH24685547</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1679774</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10255426</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">235886</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">195190</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2915214</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> |
| id | ZDB-4-EBA-ocn268958819 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:33Z |
| institution | BVB |
| isbn | 9789812810403 9812810404 1281951900 9781281951908 9786611951900 6611951903 |
| language | English |
| oclc_num | 268958819 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 869 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | World Scientific, |
| record_format | marc |
| spelling | Current trends in theoretical computer science : entering the 21st century / edited by G. Păun, G. Rozenberg, A. Salomaa. Singapore ; River Edge, NJ : World Scientific, ©2001. 1 online resource (x, 869 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Based on columns and tutorials published in the Bulletin of the European Association for theoretical computer science in the period 1992-2000. Includes bibliographical references. Print version record. The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 1995-2000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science Ch. 1. Computational complexity / E. Allender and guest authors -- ch. 2. Formal specification / H. Ehrig and guest authors -- ch. 3. Logic in computer science / Y. Gurevich and guest authors -- ch. 4. Concurrency / M. Nielsen and guest authors -- ch. 5. Natural computing / G. Rozenberg and guest authors -- ch. 6. Formal language theory / A. Salomaa and guest authors. English. Computer science. http://id.loc.gov/authorities/subjects/sh89003285 Electronic data processing. http://id.loc.gov/authorities/subjects/sh85042288 Informatique. computer science. aat data processing. aat COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Electronic data processing fast Computer science fast Păun, Gheorghe, 1950- https://id.oclc.org/worldcat/entity/E39PBJmhQYm7xMj7CgbcjVtVG3 http://id.loc.gov/authorities/names/n98038502 Rozenberg, Grzegorz. Salomaa, Arto. has work: Current trends in theoretical computer science (Text) https://id.oclc.org/worldcat/entity/E39PCFXgjmR4HmJKhP4txt3Hhb https://id.oclc.org/worldcat/ontology/hasWork Print version: Current trends in theoretical computer science. Singapore ; River Edge, NJ : World Scientific, ©2001 9810244738 9789810244736 (DLC) 2001270898 (OCoLC)47196790 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235886 Volltext |
| spellingShingle | Current trends in theoretical computer science : entering the 21st century / Ch. 1. Computational complexity / E. Allender and guest authors -- ch. 2. Formal specification / H. Ehrig and guest authors -- ch. 3. Logic in computer science / Y. Gurevich and guest authors -- ch. 4. Concurrency / M. Nielsen and guest authors -- ch. 5. Natural computing / G. Rozenberg and guest authors -- ch. 6. Formal language theory / A. Salomaa and guest authors. Computer science. http://id.loc.gov/authorities/subjects/sh89003285 Electronic data processing. http://id.loc.gov/authorities/subjects/sh85042288 Informatique. computer science. aat data processing. aat COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Electronic data processing fast Computer science fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh89003285 http://id.loc.gov/authorities/subjects/sh85042288 |
| title | Current trends in theoretical computer science : entering the 21st century / |
| title_auth | Current trends in theoretical computer science : entering the 21st century / |
| title_exact_search | Current trends in theoretical computer science : entering the 21st century / |
| title_full | Current trends in theoretical computer science : entering the 21st century / edited by G. Păun, G. Rozenberg, A. Salomaa. |
| title_fullStr | Current trends in theoretical computer science : entering the 21st century / edited by G. Păun, G. Rozenberg, A. Salomaa. |
| title_full_unstemmed | Current trends in theoretical computer science : entering the 21st century / edited by G. Păun, G. Rozenberg, A. Salomaa. |
| title_short | Current trends in theoretical computer science : |
| title_sort | current trends in theoretical computer science entering the 21st century |
| title_sub | entering the 21st century / |
| topic | Computer science. http://id.loc.gov/authorities/subjects/sh89003285 Electronic data processing. http://id.loc.gov/authorities/subjects/sh85042288 Informatique. computer science. aat data processing. aat COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Electronic data processing fast Computer science fast |
| topic_facet | Computer science. Electronic data processing. Informatique. computer science. data processing. COMPUTERS Reference. COMPUTERS Machine Theory. COMPUTERS Computer Literacy. COMPUTERS Information Technology. COMPUTERS Data Processing. COMPUTERS Computer Science. COMPUTERS Hardware General. Electronic data processing Computer science |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235886 |
| work_keys_str_mv | AT paungheorghe currenttrendsintheoreticalcomputerscienceenteringthe21stcentury AT rozenberggrzegorz currenttrendsintheoreticalcomputerscienceenteringthe21stcentury AT salomaaarto currenttrendsintheoreticalcomputerscienceenteringthe21stcentury |