國立虎尾科技大學 |

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Unveiling dynamics and complexity/ edited by Jarkko Kari, Florin Manea, Ion Petre.
其他題名:	13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
其他題名:	CiE 2017
其他作者:	Kari, Jarkko.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	xiii, 401 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Computable functions - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-319-58741-7
ISBN:	9783319587417

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /[electronic resource] :CiE 2017edited by Jarkko Kari, Florin Manea, Ion Petre. - Cham :Springer International Publishing :2017. - xiii, 401 p. :ill., digital ;24 cm. - Lecture notes in computer science,103070302-9743 ;. - Lecture notes in computer science ;6140..

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.

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.

ISBN: 9783319587417

Standard No.: 10.1007/978-3-319-58741-7doiSubjects--Topical Terms:

675085
Computable functions
--Congresses.

LC Class. No.: QA9.59 / .C66 2017

Dewey Class. No.: 511.352

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
LDR:02015nam a2200361 a 4500 001 940086
003 DE-He213
005 20190619105412.0
006 m d
007 cr nn 008maaau
008 200417s2017 gw s 0 eng d
020 $a 9783319587417 $q (electronic bk.)
020 $a 9783319587400 $q (paper)
024 7 $a 10.1007/978-3-319-58741-7 $2 doi
035 $a 978-3-319-58741-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.59 $b .C66 2017
072 7 $a UYZG $2 bicssc
072 7 $a COM037000 $2 bisacsh
072 7 $a UYZG $2 thema
082 0 4 $a 511.352 $2 23
090 $a QA9.59 $b .C748 2017
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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.
246 3 $a CiE 2017
260 $a Cham : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
300 $a xiii, 401 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10307
490 1 $a Theoretical computer science and general issues
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 Computable functions $v Congresses. $3 675085 $3 727862
650 0 $a Algorithms $v Congresses. $3 527696
650 0 $a Information theory $v Congresses. $3 665444 $3 727788
650 0 $a Computer science $3 675907
650 0 $a Biology $x Computer simulation $v Congresses. $3 857012
650 0 $a Computer science. $3 573171
650 0 $a Computers. $3 565115
650 0 $a Algorithms. $3 527865
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Computer science $x Mathematics. $3 528496
650 0 $a Artificial intelligence. $3 559380
650 0 $a Pattern perception. $3 591865
650 1 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Kari, Jarkko. $3 1078521
700 1 $a Manea, Florin. $3 1067820
700 1 $a Petre, Ion. $3 792769
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
830 0 $a Theoretical computer science and general issues. $3 1208307
856 4 0 $u https://doi.org/10.1007/978-3-319-58741-7
950 $a Computer Science (Springer-11645)