Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings - Theoretical Computer Science and General Issues - Martin Kutrib - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642316227 - 2012. gada 18. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Martin Kutrib
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings - Theoretical Computer Science and General Issues 2012 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 2. - 12. okt.
Saņemiet paziņojumus par jauniem Martin Kutrib izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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. formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages);

Publisher Marketing: 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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2012. gada 18. jūlijs
ISBN13 9783642316227
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 319
Izmēri 155 × 235 × 17 mm   ·   467 g
Valoda Franču  
Redaktors Kutrib, Martin
Redaktors Moreira, Nelma
Redaktors Reis, Rogerio

Vairāk no Martin Kutrib

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Martin Kutrib