國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Graph transformation11th Internation...

(1998 :)

Graph transformation11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Graph transformationedited by Leen Lambers, Jens Weber.
其他題名:	11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
其他題名:	ICGT 2018
其他作者:	Lambers, Leen.
團體作者:
出版者:	Cham :Springer International Publishing :2018.
面頁冊數:	xvi, 179 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Graph theoryCongresses.Data processing
電子資源:	https://doi.org/10.1007/978-3-319-92991-0
ISBN:	9783319929910$q(electronic bk.)

Graph transformation11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
Graph transformation11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /[electronic resource] :ICGT 2018edited by Leen Lambers, Jens Weber. - Cham :Springer International Publishing :2018. - xvi, 179 p. :ill., digital ;24 cm. - Lecture notes in computer science,108870302-9743 ;. - Lecture notes in computer science ;4891..

Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.

ISBN: 9783319929910$q(electronic bk.)

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

444844
Graph theory
--Data processing--Congresses.

LC Class. No.: QA166 / .I24 2018

Dewey Class. No.: 511.5

Graph transformation11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
LDR:01880nmm a2200385 a 4500 001 568591
003 DE-He213
005 20191023111650.0
006 m d
007 cr nn 008maaau
008 200707s2018 sz s 0 eng d
020 $a 9783319929910$q(electronic bk.)
020 $a 9783319929903$q(paper)
024 7 $a 10.1007/978-3-319-92991-0 $2 doi
035 $a 978-3-319-92991-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA166 $b .I24 2018
072 7 $a PBD $2 bicssc
072 7 $a COM018000 $2 bisacsh
072 7 $a PBD $2 thema
072 7 $a UYAM $2 thema
082 0 4 $a 511.5 $2 23
090 $a QA166 $b .I15 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Graph transformation $h [electronic resource] : $b 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / $c edited by Leen Lambers, Jens Weber.
246 3 $a ICGT 2018
246 3 $a STAF 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xvi, 179 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10887
490 1 $a Theoretical computer science and general issues
505 0 $a Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.
520 $a This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.
650 0 $a Graph theory $x Data processing $v Congresses. $3 444844
650 0 $a Computer science $3 252805
650 1 4 $a Discrete Mathematics in Computer Science. $3 274791
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Data Structures. $3 273992
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
700 1 $a Lambers, Leen. $3 854506
700 1 $a Weber, Jens. $3 854507
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-319-92991-0
950 $a Computer Science (Springer-11645)