Loại tài liệu:
Chỉ tìm trong:
111-120 trong số 208 kết quả
|
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
|
|
Tác giả:
Dirk Pattinson, Lutz Schröder
|
|
Xuất bản:
Berlin, Heidelberg:
Springer Berlin Heidelberg : Imprint: Springer
,
2012.
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|