東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Theoretical aspects of computing - I...

ICTAC (Colloquium) (2017 :)

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Theoretical aspects of computing - ICTAC 2017/ edited by Dang Van Hung, Deepak Kapur.
Reminder of title:	14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
remainder title:	ICTAC 2017
other author:	Hung, Dang Van.
corporate name:	ICTAC (Colloquium)
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xx, 305 p. :ill., digital ;24 cm.
[NT 15003449]:	Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
Contained By:	Springer eBooks
Subject:	Computer logic - Congresses. -
Online resource:	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)