Lecture Notes in Computer Science 3459 Scale Space and PDE Methods in Computer Vision 5th Internatio
Scale-Space 20052005 年出版634 页ISBN:3540255478
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN:0792393710
Lecture Notes in Computer Science 3711 Entertainment Computing-ICEC 2005 4th International Conferenc
2005 年出版540 页ISBN:3540290346
Lecture Notes in Computer Science 4698 Algorithms-ESA 2007 15th Annual European Symposium
2007 年出版769 页ISBN:9783540755197