|
|
|
|
| LEADER |
03014nam a22005775i 4500 |
| 001 |
10935 |
| 003 |
DE-He213 |
| 005 |
20130725200807.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100705s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642141652
|9 978-3-642-14165-2
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-14165-2
|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 Abramsky, Samson.
|e editor.
|
| 245 |
1 |
0 |
|a Automata, Languages and Programming
|b 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /
|c edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a XXIII, 754p. 42 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 6198
|x 0302-9743 ;
|
| 520 |
# |
# |
|a The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010. The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer Communication Networks.
|
| 650 |
# |
0 |
|a Computer software.
|
| 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 Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Computation by Abstract Devices.
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 700 |
1 |
# |
|a Gavoille, Cyril.
|e editor.
|
| 700 |
1 |
# |
|a Kirchner, Claude.
|e editor.
|
| 700 |
1 |
# |
|a Meyer auf der Heide, Friedhelm.
|e editor.
|
| 700 |
1 |
# |
|a Spirakis, Paul G.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642141645
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6198
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14165-2
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|