Catalog > Sciences > Biology > Stavros Konstantinidis: Implementation and Application of Automata (PDF)

Stavros Konstantinidis
Implementation and Application of Automata [PDF ebook]
18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Support

Cover of Stavros Konstantinidis: Implementation and Application of Automata (PDF)

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.

€57.77

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642392740 ● Editor Stavros Konstantinidis ● Publisher Springer Berlin Heidelberg ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 6323733 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Stavros Konstantinidis

46,770 Ebooks in this category

Cover of Sunil Kumar (GreenVention Biotech Private Limited, India) Deshmukh & Kandikere R. (Mangalore University, India) Sridhar: Advances in Macrofungi

Sunil Kumar (GreenVention Biotech Private Limited, India) Deshmukh & Kandikere R. (Mangalore University, India) Sridhar: Advances in Macrofungi

Large scale cultivation of macrofungi is possible with fermentation, using easily accessible lignocellulosic agricultural residues utilising economical methods to generate substantial biomass, food a …

Cover of David W. Hall & Richard W. Hill: Principles of Life Digital Update

David W. Hall & Richard W. Hill: Principles of Life Digital Update

Cover of Irwin A. Ungar: Ecophysiology of Vascular Halophytes

Irwin A. Ungar: Ecophysiology of Vascular Halophytes

Ecophysiology of Vascular Halophytes provides a useful update to existing literature describing the ecophysiological responses of vascular halophytes to environmental stresses present in saline habit …

Cover of Jianglin Fan & Enqi Liu: Fundamentals of Laboratory Animal Science

Jianglin Fan & Enqi Liu: Fundamentals of Laboratory Animal Science

Laboratory animals are becoming increasingly important for biomedical research. It is said that approximately 70% of biomedical research is associated with the use of experimental animals. Laboratory …

Cover of N.S. (University of Newcastle, NSW, Australia) Bolan & M.B. (Kansas State University, Manhattan, Kansas, USA) Kirkham: Spoil to Soil: Mine Site Rehabilitation and Revegetation

N.S. (University of Newcastle, NSW, Australia) Bolan & M.B. (Kansas State University, Manhattan, Kansas, USA) Kirkham: Spoil to Soil: Mine Site Rehabilitation and Revegetation

Spoil to Soil: Mine Site Rehabilitation and Revegetation presents both fundamental and practical aspects of remediation and revegetation of mine sites. Through three major themes, it examines charact …

Cover of Vassilis (Technical University of Crete, Chania, Greece) Gekas: Transport Phenomena of Foods and Biological Materials

Vassilis (Technical University of Crete, Chania, Greece) Gekas: Transport Phenomena of Foods and Biological Materials

Transport Phenomena of Foods and Biological Materials provides comprehensive coverage of transport phenomena modeling in foods and other biological materials. The book is unique in its consideration …

Cover of Prasant (Uka Tarsadia University, Surat, Gujarat, India) Kumar & Bishun Deo (Bihar Agricultural University, India) Prasad: Plant Biotechnology, Volume 2

Prasant (Uka Tarsadia University, Surat, Gujarat, India) Kumar & Bishun Deo (Bihar Agricultural University, India) Prasad: Plant Biotechnology, Volume 2

This volume is the second of the new two-volume Plant Biotechnology set. This volume covers many recent advances in the development of transgenic plants that have revolutionized our concepts of susta …

Cover of Gunther (University of Tubingen, Germany) Winkelmann: Handbook of Microbial Iron Chelates (1991)

Gunther (University of Tubingen, Germany) Winkelmann: Handbook of Microbial Iron Chelates (1991)

Handbook of Microbial Iron Chelates emphasizes the various microbial compounds and synthetic analogues functioning as siderophores in microbes and as potential drugs in human iron metabolism. There a …

Cover of Prerna Pandey & Anjali Priyadarshini: Biocatalysis and Agricultural Biotechnology: Fundamentals, Advances, and Practices for a Greener Future

Prerna Pandey & Anjali Priyadarshini: Biocatalysis and Agricultural Biotechnology: Fundamentals, Advances, and Practices for a Greener Future

This new volume, Biocatalysis and Agricultural Biotechnology: Fundamentals, Advances, and Practices for a Greener Future, looks at the application of a variety of technologies, both fundamental and a …

Cover of Wilfred Stein: Thinking About Biology

Wilfred Stein: Thinking About Biology

This book discusses the emergence of life, the development of the individual, and the study of the interaction between individuals and species. It gives the student of theoretical biology some idea o …