Implementation and Application of Automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected fr...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Implementation and Application of Automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / edited by Nelma Moreira, Rogério Reis. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham : Springer Nature |
Collection : | Theoretical computer science and general issues (Online) ; 7381 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Sujets : | |
Documents associés : | Autre format:
Implementation and Application of Automata Autre format: Implementation and Application of Automata |
LEADER | 03237clm a2200673 4500 | ||
---|---|---|---|
001 | PPN168319845 | ||
003 | http://www.sudoc.fr/168319845 | ||
005 | 20241001155000.0 | ||
010 | |a 978-3-642-31606-7 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-31606-7 |2 DOI |
035 | |a (OCoLC)818322521 | ||
035 | |a Springer978-3-642-31606-7 | ||
035 | |a Springer-11645-978-3-642-31606-7 | ||
100 | |a 20130325d2012 u u0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
105 | |a y z 100yy | ||
106 | |a s | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Implementation and Application of Automata |e 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings |f edited by Nelma Moreira, Rogério Reis. | |
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d 2012 | |
225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7381 | |
330 | |a This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory. | ||
371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7381 | |
452 | | | |t Implementation and Application of Automata |y 9783642316050 | |
452 | | | |t Implementation and Application of Automata |y 9783642316074 | |
608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
610 | 1 | |a Computer Science | |
610 | 2 | |a Computation by Abstract Devices | |
610 | 2 | |a Algorithm Analysis and Problem Complexity | |
610 | 2 | |a Mathematical Logic and Formal Languages | |
610 | 2 | |a Computational Biology |a Bioinformatics | |
610 | 2 | |a Data Structures | |
610 | 2 | |a Information Storage and Retrieval | |
610 | 2 | |a Algorithms | |
610 | 2 | |a Formal Languages and Automata Theory | |
610 | 2 | |a Computational and Systems Biology | |
610 | 2 | |a Data Science | |
610 | 1 | |a Theory of Computation | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
676 | |a 004.0151 |v 23 | ||
680 | |a QA75.5-76.95 | ||
700 | 1 | |a Moreira |b Nelma |4 651 | |
701 | 1 | |a Reis |b Rogério |4 651 | |
801 | 3 | |a FR |b Abes |c 20240611 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
856 | 4 | |5 441099901:830852948 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-31606-7 | |
915 | |5 441099901:830852948 |b SPRING13-00371 | ||
930 | |5 441099901:830852948 |b 441099901 |j g | ||
991 | |5 441099901:830852948 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:11 | ||
997 | |a NUM |b SPRING13-00371 |d NUMpivo |e EM |s d | ||
998 | |a 978203 |