Algorithms for Computational Biology [[electronic resource] ] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 275 p. 76 illus.) |
Disciplina | 570.285 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Algorithms Computer science—Mathematics Data mining Biomathematics Computational Biology/Bioinformatics Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Mining and Knowledge Discovery Mathematical and Computational Biology |
ISBN | 3-319-07953-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996199995303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms for Computational Biology : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 275 p. 76 illus.) |
Disciplina | 570.285 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Algorithms Computer science—Mathematics Data mining Biomathematics Computational Biology/Bioinformatics Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Mining and Knowledge Discovery Mathematical and Computational Biology |
ISBN | 3-319-07953-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483690103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language and Automata Theory and Applications [[electronic resource] ] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / / edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIII, 462 p. 59 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Algorithms Database management Computer programming Artificial intelligence Theory of Computation Formal Languages and Automata Theory Database Management Programming Techniques Artificial Intelligence |
ISBN | 3-319-53733-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression, and pattern matching -- Complexity -- Finite automata -- Grammars, languages, and parsing -- Graphs and Petri Nets -- Non-classical automata -- Pushdown automata and systems. |
Record Nr. | UNISA-996466084103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / / edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIII, 462 p. 59 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Algorithms Database management Computer programming Artificial intelligence Theory of Computation Formal Languages and Automata Theory Database Management Programming Techniques Artificial Intelligence |
ISBN | 3-319-53733-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression, and pattern matching -- Complexity -- Finite automata -- Grammars, languages, and parsing -- Graphs and Petri Nets -- Non-classical automata -- Pushdown automata and systems. |
Record Nr. | UNINA-9910482961303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language and Automata Theory and Applications [[electronic resource] ] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 618 p. 75 illus. in color.) |
Disciplina | 001.64201 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer science Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial Intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
ISBN | 3-319-30000-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466014203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 618 p. 75 illus. in color.) |
Disciplina | 001.64201 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer science Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial Intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
ISBN | 3-319-30000-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484302803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language and Automata Theory and Applications [[electronic resource] ] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XV, 754 p. 140 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Artificial Intelligence |
ISBN | 3-319-15579-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata. |
Record Nr. | UNISA-996198744203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XV, 754 p. 140 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Artificial Intelligence |
ISBN | 3-319-15579-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata. |
Record Nr. | UNINA-9910483856203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language and Automata Theory and Applications [[electronic resource] ] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 614 p. 108 illus.) |
Disciplina | 001.64201 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Machine theory Algorithms Artificial intelligence Theory of Computation Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-04921-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996205177203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 614 p. 108 illus.) |
Disciplina | 001.64201 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Machine theory Algorithms Artificial intelligence Theory of Computation Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-04921-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484481103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|