Theory and Applications of Models of Computation (Record no. 54277)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02977nam a22006255i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-642-38236-9 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20200421111208.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 130417s2013 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783642382369 |
-- | 978-3-642-38236-9 |
082 04 - CLASSIFICATION NUMBER | |
Call Number | 004.0151 |
245 10 - TITLE STATEMENT | |
Title | Theory and Applications of Models of Computation |
Sub Title | 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XV, 356 p. 37 illus. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Remark 2 | Computability -- complexity -- algorithms -- present current research. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
General subdivision | Mathematics. |
700 1# - AUTHOR 2 | |
Author 2 | Chan, T-H. Hubert. |
700 1# - AUTHOR 2 | |
Author 2 | Lau, Lap Chi. |
700 1# - AUTHOR 2 | |
Author 2 | Trevisan, Luca. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-642-38236-9 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
-- | 2013. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Data structures (Computer science). |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computers. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Algorithms. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer logic. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Mathematical logic. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer science |
650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Theory of Computation. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Mathematics of Computing. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Algorithm Analysis and Problem Complexity. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Data Structures, Cryptology and Information Theory. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Mathematical Logic and Formal Languages. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-LNC |
No items available.