Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gopal, T.V. (Editor ), Jäger, Gerhard. (Editor ), Steila, Silvia. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10185
Materias:
LEADER 01731nam a22004215i 4500
001 000292117
005 20210921163516.0
007 cr nn 008mamaa
008 170320s2017 gw | s |||| 0|eng d
020 |a 9783319559117 
024 7 |a 10.1007/978-3-319-55911-7  |2 doi 
040 |a Sistema de Bibliotecas del TEC 
245 1 0 |a Theory and Applications of Models of Computation :  |b 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /  |c edited by T.V. Gopal, Gerhard Jäger, Silvia Steila. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XXVI, 698 p. 80 illus. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Theoretical Computer Science and General Issues ;  |v 10185 
505 0 |a Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory. 
650 0 |a Mathematical logic. 
650 0 |a Computer science—Mathematics. 
650 0 |a Algorithms. 
650 0 |a Computer logic. 
650 0 |a Data structures (Computer science). 
650 0 |a Artificial intelligence. 
650 1 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Mathematics of Computing. 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Data Structures and Information Theory. 
650 2 4 |a Artificial Intelligence. 
700 1 |a Gopal, T.V.  |e editor. 
700 1 |a Jäger, Gerhard.  |e editor. 
700 1 |a Steila, Silvia.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks