Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27β€“October 2, 2010. Proceedings

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings

Bibliographic Details
Main Author:	Ehrig, Hartmut
Corporate Author:	SpringerLink (Online service)
Other Authors:	Rensink, Arend, Rozenberg, Grzegorz, SchΓΌrr, Andy
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:	Lecture Notes in Computer Science 6372
Subjects:	Computer science Software engineering Data structures (Computer science) Computer software Logic design Computational complexity Computer Science Discrete Mathematics in Computer Science Software Engineering Data Structures Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages
Online Access:	http://dx.doi.org/10.1007/978-3-642-15928-2

Similar Items

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
by: HlinΔnΓ½, Petr
Published: (2010)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
by: Kaplan, Haim
Published: (2010)

Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
by: Lee, Mong Li
Published: (2010)

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
by: MΓΌller-Hannemann, Matthias
Published: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by: Frappier, Marc
Published: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
by: Ablayev, Farid
Published: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, ZarΓ³s, Crete, Greece, June 28-30, 2010 Revised Papers
by: Thilikos, Dimitrios M
Published: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by: KratochvΓl, Jan
Published: (2010)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
by: Dawar, Anuj
Published: (2010)

Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Εirince, Turkey, June 7-11, 2010. Proceedings
by: Patt-Shamir, Boaz
Published: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
by: Link, Sebastian
Published: (2010)

Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
by: Kutten, Shay
Published: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
by: Strichman, Ofer
Published: (2010)

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
by: Paul, Christophe
Published: (2010)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
by: Gao, Yuan
Published: (2010)

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
by: Calude, Cristian S
Published: (2010)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings
by: Serna, Maria, 1959-
Published: (2010)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
by: KuΔera, AntonΓn
Published: (2010)

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
by: Calamoneri, Tiziana
Published: (2010)

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings
by: Eisenbrand, Friedrich
Published: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
by: Cheong, Otfried
Published: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I
by: Berg, Mark de Mark Theodor, 1966-
Published: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II
by: Berg, Mark de Mark Theodor, 1966-
Published: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I
by: Cheong, Otfried
Published: (2010)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
by: Barringer, Howard
Published: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
by: MΓ©ry, Dominique
Published: (2010)

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
by: Fraser, Gordon
Published: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
by: Chatterjee, Krishnendu
Published: (2010)

Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
by: Bampis, Evripidis
Published: (2010)

Fun with Algorithms 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings
by: Boldi, Paolo
Published: (2010)

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
by: Chen, Bo
Published: (2010)

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
by: Dams, Dennis
Published: (2010)

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
by: Blass, Andreas
Published: (2010)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
by: Pol, Jaco
Published: (2010)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
by: Dawar, Anuj
Published: (2010)

A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
by: Caromel, Denis
Published: (2005)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
by: Giesl, JΓΌrgen
Published: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings /
Published: (2010)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
by: Puppis, Gabriele
Published: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών