|
|
|
|
| LEADER |
02943nam a22005895i 4500 |
| 001 |
978-3-319-58741-7 |
| 003 |
DE-He213 |
| 005 |
20170511083515.0 |
| 007 |
cr nn 008mamaa |
| 008 |
170511s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319587417
|9 978-3-319-58741-7
|
| 024 |
7 |
|
|a 10.1007/978-3-319-58741-7
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA75.5-76.95
|
| 072 |
|
7 |
|a UYZG
|2 bicssc
|
| 072 |
|
7 |
|a COM037000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 004.0151
|2 23
|
| 245 |
1 |
0 |
|a Unveiling Dynamics and Complexity
|h [electronic resource] :
|b 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
|c edited by Jarkko Kari, Florin Manea, Ion Petre.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a XIII, 401 p. 57 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,
|x 0302-9743 ;
|v 10307
|
| 505 |
0 |
|
|a Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Pattern recognition.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Computation by Abstract Devices.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Pattern Recognition.
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 700 |
1 |
|
|a Kari, Jarkko.
|e editor.
|
| 700 |
1 |
|
|a Manea, Florin.
|e editor.
|
| 700 |
1 |
|
|a Petre, Ion.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319587400
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 10307
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-58741-7
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
