Advances in computers, Volume 97:
This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chap...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Waltham, MA
Academic Press
2015
|
| Schlagworte: | |
| Online-Zugang: | FAW01 URL des Erstveröffentlichers |
| Zusammenfassung: | This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chapter three, Prof. Ristevski describes biological backgrounds of regulatory relationships in living cells, high-throughput experimental technologies and application of computational approaches in reverse engineering of microRNA-mediated and gene regulatory networks. In chapter four, Prof. Gasarch discusses various ways to prove that a given program terminates. In chapter five, Prof. Mesbah discusses recent advances in testing JavaScript, which is a flexible and expressive prototype-based scripting language used by developers to create interactive web applications. -- |
| Beschreibung: | Includes index Includes bibliographical references at the end of each chapters and indexes |
| Beschreibung: | 1 online resource |
| ISBN: | 9780128023396 0128023392 9780128023419 0128023414 0128021330 9780128021330 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044391873 | ||
| 003 | DE-604 | ||
| 005 | 20220505 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9780128023396 |9 978-0-12-802339-6 | ||
| 020 | |a 0128023392 |9 0-12-802339-2 | ||
| 020 | |a 9780128023419 |9 978-0-12-802341-9 | ||
| 020 | |a 0128023414 |9 0-12-802341-4 | ||
| 020 | |a 0128021330 |9 0-12-802133-0 | ||
| 020 | |a 9780128021330 |9 978-0-12-802133-0 | ||
| 020 | |a 0128023392 |9 0-12-802339-2 | ||
| 035 | |a (ZDB-33-ESD)ocn904549072 | ||
| 035 | |a (OCoLC)904549072 | ||
| 035 | |a (DE-599)BVBBV044391873 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 004 |2 23 | |
| 245 | 1 | 0 | |a Advances in computers, Volume 97 |c edited by Atif M. Memon |
| 264 | 1 | |a Waltham, MA |b Academic Press |c 2015 | |
| 300 | |a 1 online resource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes index | ||
| 500 | |a Includes bibliographical references at the end of each chapters and indexes | ||
| 520 | |a This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chapter three, Prof. Ristevski describes biological backgrounds of regulatory relationships in living cells, high-throughput experimental technologies and application of computational approaches in reverse engineering of microRNA-mediated and gene regulatory networks. In chapter four, Prof. Gasarch discusses various ways to prove that a given program terminates. In chapter five, Prof. Mesbah discusses recent advances in testing JavaScript, which is a flexible and expressive prototype-based scripting language used by developers to create interactive web applications. -- | ||
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Computer science |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 700 | 1 | |a Memon, Atif M. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |t Advances in computers. Volume 97 |d Amsterdam, [Netherlands] : Academic Press, c2015 |h x, 265 pages |k Advances in Computers ; Volume 97 |z 9780128021330 |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/bookseries/00652458/97 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029794095 | ||
| 966 | e | |u http://www.sciencedirect.com/science/bookseries/00652458/97 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177665580597248 |
|---|---|
| any_adam_object | |
| author2 | Memon, Atif M. |
| author2_role | edt |
| author2_variant | a m m am amm |
| author_facet | Memon, Atif M. |
| building | Verbundindex |
| bvnumber | BV044391873 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-ESD)ocn904549072 (OCoLC)904549072 (DE-599)BVBBV044391873 |
| 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>02805nmm a2200505zc 4500</leader><controlfield tag="001">BV044391873</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220505 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780128023396</subfield><subfield code="9">978-0-12-802339-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0128023392</subfield><subfield code="9">0-12-802339-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780128023419</subfield><subfield code="9">978-0-12-802341-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0128023414</subfield><subfield code="9">0-12-802341-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0128021330</subfield><subfield code="9">0-12-802133-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780128021330</subfield><subfield code="9">978-0-12-802133-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0128023392</subfield><subfield code="9">0-12-802339-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn904549072</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)904549072</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044391873</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in computers, Volume 97</subfield><subfield code="c">edited by Atif M. Memon</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Waltham, MA</subfield><subfield code="b">Academic Press</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references at the end of each chapters and indexes</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chapter three, Prof. Ristevski describes biological backgrounds of regulatory relationships in living cells, high-throughput experimental technologies and application of computational approaches in reverse engineering of microRNA-mediated and gene regulatory networks. In chapter four, Prof. Gasarch discusses various ways to prove that a given program terminates. In chapter five, Prof. Mesbah discusses recent advances in testing JavaScript, which is a flexible and expressive prototype-based scripting language used by developers to create interactive web applications. --</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software engineering</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Memon, Atif M.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="t">Advances in computers. Volume 97</subfield><subfield code="d">Amsterdam, [Netherlands] : Academic Press, c2015</subfield><subfield code="h">x, 265 pages</subfield><subfield code="k">Advances in Computers ; Volume 97</subfield><subfield code="z">9780128021330</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/bookseries/00652458/97</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029794095</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/bookseries/00652458/97</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044391873 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:41Z |
| institution | BVB |
| isbn | 9780128023396 0128023392 9780128023419 0128023414 0128021330 9780128021330 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029794095 |
| oclc_num | 904549072 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 online resource |
| psigel | ZDB-33-ESD ZDB-33-EBS ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Academic Press |
| record_format | marc |
| spelling | Advances in computers, Volume 97 edited by Atif M. Memon Waltham, MA Academic Press 2015 1 online resource txt rdacontent c rdamedia cr rdacarrier Includes index Includes bibliographical references at the end of each chapters and indexes This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chapter three, Prof. Ristevski describes biological backgrounds of regulatory relationships in living cells, high-throughput experimental technologies and application of computational approaches in reverse engineering of microRNA-mediated and gene regulatory networks. In chapter four, Prof. Gasarch discusses various ways to prove that a given program terminates. In chapter five, Prof. Mesbah discusses recent advances in testing JavaScript, which is a flexible and expressive prototype-based scripting language used by developers to create interactive web applications. -- COMPUTERS / Software Development & Engineering / General bisacsh Computer science fast Software engineering fast Informatik Computer science Software engineering Memon, Atif M. edt Erscheint auch als Druck-Ausgabe Advances in computers. Volume 97 Amsterdam, [Netherlands] : Academic Press, c2015 x, 265 pages Advances in Computers ; Volume 97 9780128021330 http://www.sciencedirect.com/science/bookseries/00652458/97 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Advances in computers, Volume 97 COMPUTERS / Software Development & Engineering / General bisacsh Computer science fast Software engineering fast Informatik Computer science Software engineering |
| title | Advances in computers, Volume 97 |
| title_auth | Advances in computers, Volume 97 |
| title_exact_search | Advances in computers, Volume 97 |
| title_full | Advances in computers, Volume 97 edited by Atif M. Memon |
| title_fullStr | Advances in computers, Volume 97 edited by Atif M. Memon |
| title_full_unstemmed | Advances in computers, Volume 97 edited by Atif M. Memon |
| title_short | Advances in computers, Volume 97 |
| title_sort | advances in computers volume 97 |
| topic | COMPUTERS / Software Development & Engineering / General bisacsh Computer science fast Software engineering fast Informatik Computer science Software engineering |
| topic_facet | COMPUTERS / Software Development & Engineering / General Computer science Software engineering Informatik |
| url | http://www.sciencedirect.com/science/bookseries/00652458/97 |
| work_keys_str_mv | AT memonatifm advancesincomputersvolume97 |