1.

Record Nr.

UNISA996466300503316

Titolo

Theory and Applications of Models of Computation [[electronic resource] ] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013

ISBN

3-642-38236-3

Edizione

[1st ed. 2013.]

Descrizione fisica

1 online resource (XV, 356 p. 37 illus.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7876

Disciplina

511.3

Soggetti

Computer science

Computer science—Mathematics

Algorithms

Data structures (Computer science)

Information theory

Machine theory

Theory of Computation

Mathematics of Computing

Computer Science Logic and Foundations of Programming

Data Structures and Information Theory

Formal Languages and Automata Theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di contenuto

Computability -- complexity -- algorithms -- present current research.

Sommario/riassunto

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research



in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.