Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /

<p>This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. <br>The 13 revised full papers presented together with 2 invited talks, 2 app...

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Varró, Dániel, Varró, Gergely, Schürr, Andy
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Imprint: Springer 2012.
シリーズ:	Lecture Notes in Computer Science 7233
主題:	Computer science. Software engineering. Data structures (Computer science). Computer software. Logic design. Computational complexity.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Graph transformations 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010. Proceedings /
出版事項: (2010)

Graph transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
出版事項: (2014)

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
出版事項: (2012)

Graph drawing : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers /
出版事項: (2012)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
出版事項: (2012)

Graph drawing : 21st international symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers /
出版事項: (2013)

Graph drawing 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. revised papers /
出版事項: (2010)

Graph drawing : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers /
出版事項: (2007)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
出版事項: (2013)

Graph drawing (vol. # 3383) 12th international symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, revised selected papers
著者:: Pach, J©Łnos
出版事項: (2005)

Graph structures for knowledge representation and reasoning : Second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
出版事項: (2012)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
出版事項: (2012)

Graph drawing (vol. # 3843) : 13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers /

Fundamentals of computation theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
著者:: Csuhaj-Varju, Erzsebet
出版事項: (2007)

Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers /
出版事項: (2013)

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
出版事項: (2010)

Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
出版事項: (2013)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
出版事項: (2012)

Graph drawing 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers /
出版事項: (2009)

The multivariate algorithmic revolution and beyond : Essays dedicated to Michael R. fellows on the occasion of his 60th birthday /
出版事項: (2012)

Combinatorial geometry and graph theory Indonesia-Japan joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, revised selected papers
出版事項: (2005)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
出版事項: (2013)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
出版事項: (2013)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
出版事項: (2012)

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
出版事項: (2007)

Graph-theoretic concepts in computer science : 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers /
出版事項: (2014)

Central European functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, revised selected papers /
出版事項: (2012)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
出版事項: (2012)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
出版事項: (2012)

Discrete and computational geometry and graphs : 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers /
出版事項: (2014)

Graph transformations and model-driven engineering essays dedicated to manfred nagl on the occasion of his 65th birthday /
出版事項: (2010)

Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
出版事項: (2010)

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
出版事項: (2012)

Parameterized and exact computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers /
出版事項: (2014)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
出版事項: (2012)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
出版事項: (2005)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
出版事項: (2012)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
出版事項: (2014)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
出版事項: (2012)