1
Được phát hành 2007
Mục lục: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
lấy văn bản
Điện tử eBook
2
Được phát hành 2013
Mục lục: ... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
lấy văn bản
Điện tử eBook
4
Được phát hành 2008
Mục lục: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
lấy văn bản
Điện tử eBook