東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Theoretical aspects of computing - I...

ICTAC (Colloquium) (2017 :)

FindBook

Google Book

Amazon

博客來

Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Theoretical aspects of computing - ICTAC 2017/ edited by Dang Van Hung, Deepak Kapur.
其他題名:	14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
其他題名:	ICTAC 2017
其他作者:	Hung, Dang Van.
團體作者:	ICTAC (Colloquium)
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	xx, 305 p. :ill., digital ;24 cm.
內容註:	Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
Contained By:	Springer eBooks
標題:	Computer logic - Congresses. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-67729-3
ISBN:	9783319677293

Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
Theoretical aspects of computing - ICTAC 201714th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /[electronic resource] :ICTAC 2017edited by Dang Van Hung, Deepak Kapur. - Cham :Springer International Publishing :2017. - xx, 305 p. :ill., digital ;24 cm. - Lecture notes in computer science,105800302-9743 ;. - Lecture notes in computer science ;10580..

Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.

ISBN: 9783319677293

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

726280
Computer logic
--Congresses.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
LDR:01735nmm a2200361 a 4500 001 2108918
003 DE-He213
005 20170916082609.0
006 m d
007 cr nn 008maaau
008 180519s2017 gw s 0 eng d
020 $a 9783319677293 $q (electronic bk.)
020 $a 9783319677286 $q (paper)
024 7 $a 10.1007/978-3-319-67729-3 $2 doi
035 $a 978-3-319-67729-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.L63
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 005.1015113 $2 23
090 $a QA76.9.L63 $b I17 2017
111 2 $a ICTAC (Colloquium) $n (14th : $d 2017 : $c Hanoi, Vietnam) $3 3258746
245 1 0 $a Theoretical aspects of computing - ICTAC 2017 $h [electronic resource] : $b 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / $c edited by Dang Van Hung, Deepak Kapur.
246 3 $a ICTAC 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xx, 305 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10580
505 0 $a Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
520 $a This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
650 0 $a Computer logic $x Congresses. $3 726280
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 Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
700 1 $a Hung, Dang Van. $3 893474
700 1 $a Kapur, Deepak. $3 2072412
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10580. $3 3258747
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-67729-3
950 $a Computer Science (Springer-11645)