Formal languages for computer simulation: transdisciplinary models and applications
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Hershey, Pa.
Information Science Reference
2014
|
| Series: | Research essentials
|
| Subjects: | |
| Item Description: | "This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product"-- Provided by publisher. Includes bibliographical references and index |
| Physical Description: | XV, 442 S. Ill., graph. Darst. |
| ISBN: | 9781466643697 9781466643710 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV041106271 | ||
| 003 | DE-604 | ||
| 005 | 20131206 | ||
| 007 | t | ||
| 008 | 130625s2014 xxuad|| |||| 00||| eng d | ||
| 010 | |a 2013011316 | ||
| 020 | |a 9781466643697 |c hardcover |9 978-1-466-64369-7 | ||
| 020 | |a 9781466643710 |c print & perpetual access |9 978-1-466-64371-0 | ||
| 035 | |a (OCoLC)914882874 | ||
| 035 | |a (DE-599)BVBBV041106271 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-521 | ||
| 050 | 0 | |a QA76.9.C65 | |
| 082 | 0 | |a 005.1 | |
| 084 | |a ST 340 |0 (DE-625)143665: |2 rvk | ||
| 245 | 1 | 0 | |a Formal languages for computer simulation |b transdisciplinary models and applications |c Pau Fonseca i Casas, [ed.] |
| 264 | 1 | |a Hershey, Pa. |b Information Science Reference |c 2014 | |
| 300 | |a XV, 442 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Research essentials | |
| 500 | |a "This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product"-- Provided by publisher. | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 700 | 1 | |a Fonseca i Casas, Pau |d 1973- |e Sonstige |0 (DE-588)1044995939 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4666-4370-3 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026082571 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804150491011088384 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)1044995939 |
| building | Verbundindex |
| bvnumber | BV041106271 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.C65 |
| callnumber-search | QA76.9.C65 |
| callnumber-sort | QA 276.9 C65 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 340 |
| ctrlnum | (OCoLC)914882874 (DE-599)BVBBV041106271 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01925nam a2200421zc 4500</leader><controlfield tag="001">BV041106271</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131206 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130625s2014 xxuad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2013011316</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466643697</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-1-466-64369-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466643710</subfield><subfield code="c">print & perpetual access</subfield><subfield code="9">978-1-466-64371-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)914882874</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041106271</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-521</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.C65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 340</subfield><subfield code="0">(DE-625)143665:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal languages for computer simulation</subfield><subfield code="b">transdisciplinary models and applications</subfield><subfield code="c">Pau Fonseca i Casas, [ed.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey, Pa.</subfield><subfield code="b">Information Science Reference</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 442 S.</subfield><subfield code="b">Ill., graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Research essentials</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product"-- Provided by publisher.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fonseca i Casas, Pau</subfield><subfield code="d">1973-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1044995939</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4666-4370-3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026082571</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV041106271 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:39:46Z |
| institution | BVB |
| isbn | 9781466643697 9781466643710 |
| language | English |
| lccn | 2013011316 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026082571 |
| oclc_num | 914882874 |
| open_access_boolean | |
| owner | DE-521 |
| owner_facet | DE-521 |
| physical | XV, 442 S. Ill., graph. Darst. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Information Science Reference |
| record_format | marc |
| series2 | Research essentials |
| spelling | Formal languages for computer simulation transdisciplinary models and applications Pau Fonseca i Casas, [ed.] Hershey, Pa. Information Science Reference 2014 XV, 442 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Research essentials "This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product"-- Provided by publisher. Includes bibliographical references and index Computer simulation Programming languages (Electronic computers) 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Fonseca i Casas, Pau 1973- Sonstige (DE-588)1044995939 oth Erscheint auch als Online-Ausgabe 978-1-4666-4370-3 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal languages for computer simulation transdisciplinary models and applications Computer simulation Programming languages (Electronic computers) |
| subject_GND | (DE-588)4143413-4 |
| title | Formal languages for computer simulation transdisciplinary models and applications |
| title_auth | Formal languages for computer simulation transdisciplinary models and applications |
| title_exact_search | Formal languages for computer simulation transdisciplinary models and applications |
| title_full | Formal languages for computer simulation transdisciplinary models and applications Pau Fonseca i Casas, [ed.] |
| title_fullStr | Formal languages for computer simulation transdisciplinary models and applications Pau Fonseca i Casas, [ed.] |
| title_full_unstemmed | Formal languages for computer simulation transdisciplinary models and applications Pau Fonseca i Casas, [ed.] |
| title_short | Formal languages for computer simulation |
| title_sort | formal languages for computer simulation transdisciplinary models and applications |
| title_sub | transdisciplinary models and applications |
| topic | Computer simulation Programming languages (Electronic computers) |
| topic_facet | Computer simulation Programming languages (Electronic computers) Aufsatzsammlung |
| work_keys_str_mv | AT fonsecaicasaspau formallanguagesforcomputersimulationtransdisciplinarymodelsandapplications |