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 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN:3540311424
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN:3540262865
STUDIES IN THE HISTORY OF THE LANGUAGE SCIENCES 120 ON LANGUAGE DIVERSITY AND RELATIONSHIP FROM BIB
GEORGE J.METCALF TOON VAN HAL AND RAG VAN ROOY2013 年出版181 页ISBN:9027246110
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X