Theory and Applications of Models of Computation [[electronic resource] ] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / / edited by T.V. Gopal, Gerhard Jäger, Silvia Steila |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVI, 698 p. 80 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Algorithms Computer science Data structures (Computer science) Information theory Artificial intelligence Formal Languages and Automata Theory Mathematics of Computing Computer Science Logic and Foundations of Programming Data Structures and Information Theory Artificial Intelligence |
ISBN | 3-319-55911-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory. |
Record Nr. | UNISA-996466201503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / / edited by T.V. Gopal, Gerhard Jäger, Silvia Steila |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVI, 698 p. 80 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Algorithms Computer science Data structures (Computer science) Information theory Artificial intelligence Formal Languages and Automata Theory Mathematics of Computing Computer Science Logic and Foundations of Programming Data Structures and Information Theory Artificial Intelligence |
ISBN | 3-319-55911-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory. |
Record Nr. | UNINA-9910484777803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|