大葉大學圖書館 |

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /

纪录类型:	书目-语言数据,印刷品 : Monograph/item
[NT 15000414] null:	004
[NT 47271] Title/Author:	Fundamentals of computation theory : 20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings // edited by Adrian Kosowski, Igor Walukiewicz.
[NT 51403] remainder title:	FCT 2015
[NT 51406] other author:	Kosowski, Adrian.
[NT 51402] corporate name:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面页册数:	xix, 395 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
标题:	Computer science
标题:	Computer Science.
标题:	Algorithm Analysis and Problem Complexity.
标题:	Computer Communication Networks.
标题:	Logics and Meanings of Programs.
标题:	Discrete Mathematics in Computer Science.
标题:	Software Engineering.
ISBN:	9783319221779
ISBN:	9783319221762
[NT 15000229] null:	This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdansk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms; complexity and Boolean functions; languages; set algorithms, covering, and traversal; graph algorithms and networking applications; anonymity and indistinguishability; graphs, automata, and dynamics; and logic and games.
电子资源:	http://dx.doi.org/10.1007/978-3-319-22177-9

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
Fundamentals of computation theory20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /[electronic resource] :FCT 2015edited by Adrian Kosowski, Igor Walukiewicz. - Cham :Springer International Publishing :2015. - xix, 395 p. :ill., digital ;24 cm. - Lecture notes in computer science,92100302-9743 ;. - Lecture notes in computer science ;7103..

This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdansk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms; complexity and Boolean functions; languages; set algorithms, covering, and traversal; graph algorithms and networking applications; anonymity and indistinguishability; graphs, automata, and dynamics; and logic and games.

ISBN: 9783319221779

Standard No.: 10.1007/978-3-319-22177-9doiSubjects--Topical Terms:

149894
Computer science

LC Class. No.: QA75.5

Dewey Class. No.: 004

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
LDR:01759nam a2200325 a 4500 001 443373
003 DE-He213
005 20160315162515.0
006 m d
007 cr nn 008maaau
008 160715s2015 gw s 0 eng d
020 $a 9783319221779 $q (electronic bk.)
020 $a 9783319221762 $q (paper)
024 7 $a 10.1007/978-3-319-22177-9 $2 doi
035 $a 978-3-319-22177-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA75.5
072 7 $a UMB $2 bicssc
072 7 $a COM051300 $2 bisacsh
082 0 4 $a 004 $2 23
090 $a QA75.5 $b .F287 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Fundamentals of computation theory $h [electronic resource] : $b 20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings / $c edited by Adrian Kosowski, Igor Walukiewicz.
246 3 $a FCT 2015
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xix, 395 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9210
520 $a This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdansk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms; complexity and Boolean functions; languages; set algorithms, covering, and traversal; graph algorithms and networking applications; anonymity and indistinguishability; graphs, automata, and dynamics; and logic and games.
650 0 $a Computer science $3 149894
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 463701
650 2 4 $a Computer Communication Networks. $3 464535
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Discrete Mathematics in Computer Science. $3 464912
650 2 4 $a Software Engineering. $3 464601
700 1 $a Kosowski, Adrian. $3 633971
700 1 $a Walukiewicz, Igor. $3 633972
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-22177-9
950 $a Computer Science (Springer-11645)