國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Theoretical aspects of computing - I...

(1998 :)

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Theoretical aspects of computing - ICTAC 2017edited by Dang Van Hung, Deepak Kapur.
其他題名:	14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
其他題名:	ICTAC 2017
其他作者:	Hung, Dang Van.
團體作者:
出版者:	Cham :Springer International Publishing :2017.
面頁冊數:	xx, 305 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Computer logicCongresses.
電子資源:	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)