|
|
|
|
LEADER |
02850nam a22006015i 4500 |
001 |
11249 |
003 |
DE-He213 |
005 |
20130725202016.0 |
007 |
cr nn 008mamaa |
008 |
100920s2010 gw | s |||| 0|eng d |
020 |
# |
# |
|a 9783642159282
|9 978-3-642-15928-2
|
024 |
7 |
# |
|a 10.1007/978-3-642-15928-2
|2 doi
|
050 |
# |
4 |
|a QA76.9.M35
|
072 |
# |
7 |
|a PBD
|2 bicssc
|
072 |
# |
7 |
|a UYAM
|2 bicssc
|
072 |
# |
7 |
|a COM018000
|2 bisacsh
|
072 |
# |
7 |
|a MAT008000
|2 bisacsh
|
082 |
0 |
4 |
|a 004.0151
|2 23
|
100 |
1 |
# |
|a Ehrig, Hartmut.
|e editor.
|
245 |
1 |
0 |
|a Graph Transformations
|b 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27<U+0013>October 2, 2010. Proceedings /
|c edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Sch<U+00fc>rr.
|h [electronic resource] :
|
264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
300 |
# |
# |
|a XII, 419p.
|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 Lecture Notes in Computer Science,
|v 6372
|x 0302-9743 ;
|
520 |
# |
# |
|a This book constitutes the proceedings of the 5th International Conference on Graph Transformations, ICGT 2010, held in Twente, The Netherlands, in September/October 2010. The 22 papers presented were carefully reviewed and selected from 48 submissions. These papers mirror the wide-ranged ongoing research activities in the theory and application of graph transformation. They are concerned with different kinds of graph transformation approaches, their algebraic foundations, composition and analysis, the relation to logic, as well as various applications, mainly to model transformation and distributed systems.
|
650 |
# |
0 |
|a Computer science.
|
650 |
# |
0 |
|a Software engineering.
|
650 |
# |
0 |
|a Data structures (Computer science).
|
650 |
# |
0 |
|a Computer software.
|
650 |
# |
0 |
|a Logic design.
|
650 |
# |
0 |
|a Computational complexity.
|
650 |
1 |
4 |
|a Computer Science.
|
650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
650 |
2 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Data Structures.
|
650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
700 |
1 |
# |
|a Rensink, Arend.
|e editor.
|
700 |
1 |
# |
|a Rozenberg, Grzegorz.
|e editor.
|
700 |
1 |
# |
|a Sch<U+00fc>rr, Andy.
|e editor.
|
710 |
2 |
# |
|a SpringerLink (Online service)
|
773 |
0 |
# |
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642159275
|
830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6372
|x 0302-9743 ;
|
856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15928-2
|
912 |
# |
# |
|a ZDB-2-SCS
|
912 |
# |
# |
|a ZDB-2-LNC
|
950 |
# |
# |
|a Computer Science (Springer-11645)
|