Formal methods and software engineering: proceedings by International Conference on Formal Engineering Methods, Schanghai fromLecture Notes in Computer Science 0 Type: Book
Search based software engineering: third international symposium ; proceedings by SSBSE, Szeged fromLecture Notes in Computer Science 0 Type: Book
Logic programming and nonmonotonic reasoning: 11th international conference ; proceedings by LPNMR, Vancouver, British Columbia fromLecture Notes in Computer Science 0 Type: Book
Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancou… by LPNMR, Vancouver, British Columbia fromLecture notes in computer sacience 0 Type: Book