TY - DATA AU - Schürr,Andy AU - Nagl,Manfred AU - Zündorf,Albert ED - SpringerLink (Online service) TI - Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers SN - 9783540890201 AV - QA75.5 S34 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Data structures (Computer science) KW - Computer software KW - Logic design KW - Computational complexity KW - Computer Science KW - Software Engineering KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Data Structures KW - Algorithm Analysis and Problem Complexity KW - Discrete Mathematics in Computer Science UR - http://dx.doi.org/10.1007/978-3-540-89020-1 ER -