國立虎尾科技大學 |

Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Theoretical Aspects of Computing - ICTAC 2015/ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
其他題名:	12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
其他作者:	Leucker, Martin.
面頁冊數:	XXIV, 620 p. 142 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer logic. -
電子資源:	https://doi.org/10.1007/978-3-319-25150-9
ISBN:	9783319251509

Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
Theoretical Aspects of Computing - ICTAC 201512th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /[electronic resource] :edited by Martin Leucker, Camilo Rueda, Frank D. Valencia. - 1st ed. 2015. - XXIV, 620 p. 142 illus. in color.online resource. - Theoretical Computer Science and General Issues ;9399. - Theoretical Computer Science and General Issues ;9163.

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.

ISBN: 9783319251509

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

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
LDR:02085nam a22004215i 4500 001 961183
003 DE-He213
005 20200705015433.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319251509 $9 978-3-319-25150-9
024 7 $a 10.1007/978-3-319-25150-9 $2 doi
035 $a 978-3-319-25150-9
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Theoretical Aspects of Computing - ICTAC 2015 $h [electronic resource] : $b 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / $c edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XXIV, 620 p. 142 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 9399
520 $a This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Leucker, Martin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 793773
700 1 $a Rueda, Camilo. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069387
700 1 $a Valencia, Frank D. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069388
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319251493
776 0 8 $i Printed edition: $z 9783319251516
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-25150-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)