Formal languages for computer simulation: transdisciplinary models and applications
"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 st...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey PA
Information Science Reference, an imprint of IGI Global
[2014]
|
| Schriftenreihe: | Research essentials
|
| Schlagworte: | |
| Online-Zugang: | DE-706 DE-1049 DE-898 DE-1050 DE-83 Volltext |
| Zusammenfassung: | "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 |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | 1 Online-Ressource (xv, 442 Seiten) Illustrationen, Diagramme |
| ISBN: | 9781466643703 9781466643710 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044445713 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170810s2014 xxu|||| o||u| ||||||eng d | ||
| 020 | |a 9781466643703 |9 978-1-4666-4370-3 | ||
| 020 | |a 9781466643710 |c print & perpetual access |9 978-1-4666-4371-0 | ||
| 024 | 7 | |a 10.4018/978-1-4666-4369-7 |2 doi | |
| 035 | |a (OCoLC)1002269029 | ||
| 035 | |a (DE-599)BVBBV044445713 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-706 |a DE-1049 |a DE-898 |a DE-1050 |a DE-83 | ||
| 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 (Universitat Politècnica de Catalunya - BarcelonaTech, Spain) |
| 264 | 1 | |a Hershey PA |b Information Science Reference, an imprint of IGI Global |c [2014] | |
| 264 | 4 | |c © 2014 | |
| 300 | |a 1 Online-Ressource (xv, 442 Seiten) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Research essentials | |
| 500 | |a Includes bibliographical references and index | ||
| 520 | |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 | ||
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 700 | 1 | |a Fonseca i Casas, Pau |d 1973- |0 (DE-588)1044995939 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-4666-4369-7 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-4666-4369-2 |
| 856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-98-IGB |a ZDB-1-IGE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029846756 | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-4369-7 |l DE-1049 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-4369-7 |l DE-898 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-4369-7 |l DE-1050 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-4369-7 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1808138511578038272 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Fonseca i Casas, Pau 1973- |
| author2_role | edt |
| author2_variant | i c p f icp icpf |
| author_GND | (DE-588)1044995939 |
| author_facet | Fonseca i Casas, Pau 1973- |
| building | Verbundindex |
| bvnumber | BV044445713 |
| 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 |
| collection | ZDB-98-IGB ZDB-1-IGE |
| ctrlnum | (OCoLC)1002269029 (DE-599)BVBBV044445713 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV044445713</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170810s2014 xxu|||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466643703</subfield><subfield code="9">978-1-4666-4370-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466643710</subfield><subfield code="c">print & perpetual access</subfield><subfield code="9">978-1-4666-4371-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-4666-4369-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1002269029</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044445713</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</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 (Universitat Politècnica de Catalunya - BarcelonaTech, Spain)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey PA</subfield><subfield code="b">Information Science Reference, an imprint of IGI Global</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 442 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</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="490" ind1="0" ind2=" "><subfield code="a">Research essentials</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" 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="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="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="0">(DE-588)1044995939</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="z">978-1-4666-4369-7</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-4666-4369-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7</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-98-IGB</subfield><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029846756</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-4369-7</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-4369-7</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-4369-7</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-4369-7</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV044445713 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-23T01:07:38Z |
| institution | BVB |
| isbn | 9781466643703 9781466643710 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029846756 |
| oclc_num | 1002269029 |
| open_access_boolean | |
| owner | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| owner_facet | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| physical | 1 Online-Ressource (xv, 442 Seiten) Illustrationen, Diagramme |
| psigel | ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Information Science Reference, an imprint of IGI Global |
| record_format | marc |
| series2 | Research essentials |
| spelling | Formal languages for computer simulation transdisciplinary models and applications Pau Fonseca i Casas (Universitat Politècnica de Catalunya - BarcelonaTech, Spain) Hershey PA Information Science Reference, an imprint of IGI Global [2014] © 2014 1 Online-Ressource (xv, 442 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Research essentials Includes bibliographical references and index "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 Computer simulation Programming languages (Electronic computers) (DE-588)4143413-4 Aufsatzsammlung gnd-content Fonseca i Casas, Pau 1973- (DE-588)1044995939 edt Erscheint auch als Druck-Ausgabe 978-1-4666-4369-7 Erscheint auch als Druck-Ausgabe 1-4666-4369-2 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7 Verlag URL des Erstveröffentlichers Volltext |
| 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 (Universitat Politècnica de Catalunya - BarcelonaTech, Spain) |
| title_fullStr | Formal languages for computer simulation transdisciplinary models and applications Pau Fonseca i Casas (Universitat Politècnica de Catalunya - BarcelonaTech, Spain) |
| title_full_unstemmed | Formal languages for computer simulation transdisciplinary models and applications Pau Fonseca i Casas (Universitat Politècnica de Catalunya - BarcelonaTech, Spain) |
| 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 |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7 |
| work_keys_str_mv | AT fonsecaicasaspau formallanguagesforcomputersimulationtransdisciplinarymodelsandapplications |