國立高雄大學圖資館 |

Language: English

Back

Theoretical aspects of computing - I...

(1998 :)

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Theoretical aspects of computing - ICTAC 2017edited 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:
Published:	Cham :Springer International Publishing :2017.
Description:	xx, 305 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer logicCongresses.
Online resource:	http://dx.doi.org/10.1007/978-3-319-67729-3
ISBN:	9783319677293$q(electronic bk.)

Theoretical aspects of computing - ICTAC 201714th 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 ;4891..

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$q(electronic bk.)

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

443053
Computer logic
--Congresses.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Theoretical aspects of computing - ICTAC 201714th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
LDR:01735nmm a2200361 a 4500 001 522162
003 DE-He213
005 20170916082609.0
006 m d
007 cr nn 008maaau
008 180521s2017 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $v Congresses. $3 443053
650 0 $a Computer science $x Mathematics $3 253427
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Hung, Dang Van. $3 285190
700 1 $a Kapur, Deepak. $3 683661
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-67729-3
950 $a Computer Science (Springer-11645)