Type | Book |
ชื่อเรื่อง | Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró |
ISBN | 9783642341755 |
| 9783642341762 |
พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012 |
รูปเล่ม | 1 online resource |
หัวเรื่อง | Algorithm analysis and problem complexity |
| Computational complexity |
| Computer science |
| Computer science |
| Computer software |
| Congresses |
| Data structures (Computer science) |
| Data structures |
| Discrete mathematics in computer science |
| Electronic books |
| Logic design |
| Logics and meanings of programs |
| Mathematical logic and formal languages |
| Software engineering |
| Software engineering |