Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Graph transformation11th Internation...
~
(1998 :)
Graph transformation11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Graph transformationedited by Leen Lambers, Jens Weber.
Reminder of title:
11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
remainder title:
ICGT 2018
other author:
Lambers, Leen.
corporate name:
Published:
Cham :Springer International Publishing :2018.
Description:
xvi, 179 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Graph theoryCongresses.Data processing
Online resource:
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 transformation
11th 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)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000177033
電子館藏
1圖書
電子書
EB QA166 .I15 2018 2018
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-319-92991-0
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login