東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Fundamentals of computation theory =...

FCT (Symposium) (2017 :)

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Fundamentals of computation theory/ edited by Ralf Klasing, Marc Zeitoun.
Reminder of title:	21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
remainder title:	FCT 2017
other author:	Klasing, Ralf.
corporate name:	FCT (Symposium)
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2017.,
Description:	xxi, 432 p. :ill., digital ;24 cm.
[NT 15003449]:	Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.
Contained By:	Springer eBooks
Subject:	Computer science - Congresses. -
Online resource:	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)