東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Fundamentals of computation theory =...

FCT (Symposium) (2017 :)

FindBook

Google Book

Amazon

博客來

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Fundamentals of computation theory/ edited by Ralf Klasing, Marc Zeitoun.
其他題名:	21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
其他題名:	FCT 2017
其他作者:	Klasing, Ralf.
團體作者:	FCT (Symposium)
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2017.,
面頁冊數:	xxi, 432 p. :ill., digital ;24 cm.
內容註:	Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.
Contained By:	Springer eBooks
標題:	Computer science - Congresses. -
電子資源:	http://dx.doi.org/10.1007/978-3-662-55751-8
ISBN:	9783662557518

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
Fundamentals of computation theory21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /[electronic resource] :FCT 2017edited by Ralf Klasing, Marc Zeitoun. - Berlin, Heidelberg :Springer Berlin Heidelberg :2017. - xxi, 432 p. :ill., digital ;24 cm. - Lecture notes in computer science,104720302-9743 ;. - Lecture notes in computer science ;10472..

Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.

This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

ISBN: 9783662557518

Standard No.: 10.1007/978-3-662-55751-8doiSubjects--Topical Terms:

606819
Computer science
--Congresses.

LC Class. No.: QA75.5

Dewey Class. No.: 004

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
LDR:01705nmm a2200361 a 4500 001 2106184
003 DE-He213
005 20170815193452.0
006 m d
007 cr nn 008maaau
008 180417s2017 gw s 0 eng d
020 $a 9783662557518 $q (electronic bk.)
020 $a 9783662557501 $q (paper)
024 7 $a 10.1007/978-3-662-55751-8 $2 doi
035 $a 978-3-662-55751-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA75.5
072 7 $a UM $2 bicssc
072 7 $a UYF $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a COM036000 $2 bisacsh
082 0 4 $a 004 $2 23
090 $a QA75.5 $b .F287 2017
111 2 $a FCT (Symposium) $n (21st : $d 2017 : $c Bordeaux, France) $3 3251837
245 1 0 $a Fundamentals of computation theory $h [electronic resource] : $b 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / $c edited by Ralf Klasing, Marc Zeitoun.
246 3 $a FCT 2017
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2017.
300 $a xxi, 432 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10472
505 0 $a Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.
520 $a This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
650 0 $a Computer science $v Congresses. $3 606819
650 0 $a Computer science $x Mathematics $x Congresses. $3 678603
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
650 2 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Computation by Abstract Devices. $3 891207
650 2 4 $a Discrete Mathematics in Computer Science. $3 892513
650 2 4 $a Software Engineering. $3 890874
700 1 $a Klasing, Ralf. $3 1619348
700 1 $a Zeitoun, Marc. $3 3251838
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10472. $3 3251839
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-55751-8
950 $a Computer Science (Springer-11645)