‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

Linksbuch Neu neu Rechtsbuch

Kutrib, Martin (Herausgeber); Moreira, Nelma (Herausgeber); Reis, Rogério (Herausgeber)

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 7386

Springer-Verlag GmbH, Springer Berlin, Juli 2012


318 S. - Sprache: Englisch - 23 schwarz-weiße Abbildungen - 238x159x20 mm Book

ISBN: 3642316220 EAN: 9783642316227

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity.


Preis: 57,78 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 57,78 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

Fast track conference proceedings Unique visibility State of the art research


ISBN 3-642-31622-0

ISBN 978-3-642-31622-7

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Advances in Soft Computing 9th Mexican International Conference on Artificial Intelligence, MICAI 20 von Sidorov, Grigori (Herausgeber); Hernández Aguirre, Arturo (Herausgeber); Reyes Garcia, Carlos Albert
96,29 EUR
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, Septemb von McIver, Annabelle (Herausgeber); Horvath, Andras (Herausgeber)
79,17 EUR

Knowledge Discovery and Measures of Interest von Hamilton, Howard J.; Hilderman, Robert J.
71,64 EUR

Security and Privacy Preserving in Social Networks von Chbeir, Richard (Herausgeber); Al Bouna, Bechara (Herausgeber)
139,99 EUR

74,89 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2019 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.