Modern applications of automata theory ed. Deepak D'Souza ...
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | Undetermined |
| Veröffentlicht: |
New Jersey u.a.
World Scientific
2012
|
| Schriftenreihe: | IISc research monographs series
2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035772501 | ||
| 003 | DE-604 | ||
| 005 | 20150227 | ||
| 007 | t| | ||
| 008 | 091015s2012 xx ad|| |||| 00||| und d | ||
| 020 | |a 9789814271042 |9 978-981-4271-04-2 | ||
| 035 | |a (OCoLC)634426356 | ||
| 035 | |a (DE-599)BVBBV035772501 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | |a und | ||
| 049 | |a DE-384 |a DE-29T |a DE-83 |a DE-20 |a DE-473 | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 245 | 1 | 0 | |a Modern applications of automata theory |b ed. Deepak D'Souza ... |
| 264 | 1 | |a New Jersey u.a. |b World Scientific |c 2012 | |
| 300 | |a XVI, 656 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a IISc research monographs series |v 2 | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | 1 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 3 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a D'Souza, Deepak |d 1970- |e Sonstige |0 (DE-588)1065200021 |4 oth | |
| 830 | 0 | |a IISc research monographs series |v 2 |w (DE-604)BV035833313 |9 2 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018632174&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018632174 | |
Datensatz im Suchindex
| _version_ | 1819681961099132928 |
|---|---|
| adam_text | Titel: Modern applications of Automata Theory
Autor: D Souza, Deepak
Jahr: 2012
Contents
Foreword vii
Preface ix
Part I: Basic Chapters
1. An Introduction to Finite Automata and their Connection to Logic 3
Howard Straubing and Pascal Weil
2. Finite-State Automata on Infinite Inputs 45
Madhavan Mukund
3. Basics on Tree Automata 79
Christof Lading
4. An Introduction to Timed Automata 111
Paritosh K. Pandya and P. Vijay Suman
Part II: Verification
5. A Language-Theoretic View of Verification 149
Kamal Lodaya
6. A Framework for Decentralized Physical Access Control using
Finite State Automata 171
Namit Chaturvedi, Atish Datta Chowdhury and B. Meenakshi
7. Reasoning about Heap Manipulating Programs using
Automata Techniques 193
Supratik Chakraborty
8. Chop Expressions and Discrete Duration Calculus 229
S. Ajesh Babu and Paritosh K. Pandya
9. Automata on Distributed Alphabets 257
Madhavan Mukund
xvi Contents
10. The Theory of Message Sequence Charts 289
K. Narayan Kumar
11. Type Checking of Tree Walking Transducers 325
Sebastian Maneth, Sylvia Friese and Helmut Seidl
12. Three Case Studies on Verification of Infinite-State Systems 373
Javier Esparza and Jörg Kreiker
13. Introduction to Hybrid Automata 415
Madhu Gopinathan and Pavithra Prabhakar
14. The Discrete Time Behavior of Restricted Linear Hybrid Automata 437
Manindra Agrawal, Frank Stephan, P.S. Thiagarajan and
Shaofa Yang
Part III: Automata and Logic
15. Specification and Verification using Temporal Logics 457
Stephane Demri and Paul Gastin
16. Finite Automata and the Analysis of Infinite Transition Systems 495
Wolfgang Thomas
17. Automata over Infinite Alpahabets 529
Amaldev Manuel and R. Ramanujam
18. Automata and Logics over Signals 555
Fabrice Chevalier, Deepak D Souza, Raj Mohan M. and
Pavithra Prabhakar
Part IV: Compression
19. Syntax Directed Compression of Trees Using Pushdown Automata 585
Priti Shankar
20. Weighted Finite Automata and Digital Images 617
Ramala Krithivasan and Y. Sivasubramanyam
Index 649
|
| any_adam_object | 1 |
| author_GND | (DE-588)1065200021 |
| building | Verbundindex |
| bvnumber | BV035772501 |
| classification_rvk | ST 136 |
| ctrlnum | (OCoLC)634426356 (DE-599)BVBBV035772501 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01742nam a2200409 cb4500</leader><controlfield tag="001">BV035772501</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150227 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091015s2012 xx ad|| |||| 00||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814271042</subfield><subfield code="9">978-981-4271-04-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634426356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035772501</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modern applications of automata theory</subfield><subfield code="b">ed. Deepak D'Souza ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey u.a.</subfield><subfield code="b">World Scientific</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 656 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="1" ind2=" "><subfield code="a">IISc research monographs series</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">D'Souza, Deepak</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1065200021</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">IISc research monographs series</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV035833313</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018632174&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018632174</subfield></datafield></record></collection> |
| id | DE-604.BV035772501 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T22:42:57Z |
| institution | BVB |
| isbn | 9789814271042 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018632174 |
| oclc_num | 634426356 |
| open_access_boolean | |
| owner | DE-384 DE-29T DE-83 DE-20 DE-473 DE-BY-UBG |
| owner_facet | DE-384 DE-29T DE-83 DE-20 DE-473 DE-BY-UBG |
| physical | XVI, 656 S. Ill., graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | World Scientific |
| record_format | marc |
| series | IISc research monographs series |
| series2 | IISc research monographs series |
| spellingShingle | Modern applications of automata theory ed. Deepak D'Souza ... IISc research monographs series Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4196735-5 (DE-588)4434799-6 (DE-588)4135576-3 |
| title | Modern applications of automata theory ed. Deepak D'Souza ... |
| title_auth | Modern applications of automata theory ed. Deepak D'Souza ... |
| title_exact_search | Modern applications of automata theory ed. Deepak D'Souza ... |
| title_full | Modern applications of automata theory ed. Deepak D'Souza ... |
| title_fullStr | Modern applications of automata theory ed. Deepak D'Souza ... |
| title_full_unstemmed | Modern applications of automata theory ed. Deepak D'Souza ... |
| title_short | Modern applications of automata theory |
| title_sort | modern applications of automata theory ed deepak d souza |
| title_sub | ed. Deepak D'Souza ... |
| topic | Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Automatentheorie Theoretische Informatik Model Checking Programmverifikation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018632174&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035833313 |
| work_keys_str_mv | AT dsouzadeepak modernapplicationsofautomatatheoryeddeepakdsouza |