|
|
|
|
| LEADER |
02630nam a22005655i 4500 |
| 001 |
10991 |
| 003 |
DE-He213 |
| 005 |
20130725201505.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100814s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642144554
|9 978-3-642-14455-4
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-14455-4
|2 doi
|
| 050 |
# |
4 |
|a QA76.9.A43
|
| 072 |
# |
7 |
|a UMB
|2 bicssc
|
| 072 |
# |
7 |
|a COM051300
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 100 |
1 |
# |
|a Gao, Yuan.
|e editor.
|
| 245 |
1 |
0 |
|a Developments in Language Theory
|b 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /
|c edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a XII, 446p. 48 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
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Lecture Notes in Computer Science,
|v 6224
|x 0302-9743 ;
|
| 520 |
# |
# |
|a This book constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. The 32 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or abstracts of 6 invited speakers, as well as a 2-page abstract for each of the 6 poster papers. The topics addressed are formal languages, automata theory, computability, complexity, logic, petri nets and related areas.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer software.
|
| 650 |
# |
0 |
|a Logic design.
|
| 650 |
# |
0 |
|a Computational complexity.
|
| 650 |
# |
0 |
|a Artificial intelligence.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Computation by Abstract Devices.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 700 |
1 |
# |
|a Lu, Hanlin.
|e editor.
|
| 700 |
1 |
# |
|a Seki, Shinnosuke.
|e editor.
|
| 700 |
1 |
# |
|a Yu, Sheng.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642144547
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6224
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14455-4
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|