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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ehrig, Hartmut
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Rensink, Arend, Rozenberg, Grzegorz, SchΓΌrr, Andy
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6372
Θέματα:	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:	http://dx.doi.org/10.1007/978-3-642-15928-2

Παρόμοια τεκμήρια

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ανά: HlinΔnΓ½, Petr
Έκδοση: (2010)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
ανά: Kaplan, Haim
Έκδοση: (2010)

Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
ανά: Lee, Mong Li
Έκδοση: (2010)

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
ανά: MΓΌller-Hannemann, Matthias
Έκδοση: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ανά: Frappier, Marc
Έκδοση: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, ZarΓ³s, Crete, Greece, June 28-30, 2010 Revised Papers
ανά: Thilikos, Dimitrios M
Έκδοση: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
ανά: Dawar, Anuj
Έκδοση: (2010)

Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Εirince, Turkey, June 7-11, 2010. Proceedings
ανά: Patt-Shamir, Boaz
Έκδοση: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
ανά: Link, Sebastian
Έκδοση: (2010)

Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
ανά: Kutten, Shay
Έκδοση: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Strichman, Ofer
Έκδοση: (2010)

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
ανά: Paul, Christophe
Έκδοση: (2010)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
ανά: Gao, Yuan
Έκδοση: (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
ανά: Calude, Cristian S
Έκδοση: (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
ανά: Serna, Maria, 1959-
Έκδοση: (2010)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ανά: KuΔera, AntonΓn
Έκδοση: (2010)

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
ανά: Calamoneri, Tiziana
Έκδοση: (2010)

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings
ανά: Eisenbrand, Friedrich
Έκδοση: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
ανά: Cheong, Otfried
Έκδοση: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I
ανά: Berg, Mark de Mark Theodor, 1966-
Έκδοση: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II
ανά: Berg, Mark de Mark Theodor, 1966-
Έκδοση: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I
ανά: Cheong, Otfried
Έκδοση: (2010)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ανά: Barringer, Howard
Έκδοση: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ανά: MΓ©ry, Dominique
Έκδοση: (2010)

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
ανά: Fraser, Gordon
Έκδοση: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ανά: Chatterjee, Krishnendu
Έκδοση: (2010)

Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
ανά: Bampis, Evripidis
Έκδοση: (2010)

Fun with Algorithms 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings
ανά: Boldi, Paolo
Έκδοση: (2010)

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
ανά: Chen, Bo
Έκδοση: (2010)

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά: Dams, Dennis
Έκδοση: (2010)

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ανά: Blass, Andreas
Έκδοση: (2010)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ανά: Pol, Jaco
Έκδοση: (2010)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ανά: Dawar, Anuj
Έκδοση: (2010)

A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
ανά: Caromel, Denis
Έκδοση: (2005)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ανά: Giesl, JΓΌrgen
Έκδοση: (2010)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
ανά: Puppis, Gabriele
Έκδοση: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings /
Έκδοση: (2010)

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