1
出版事項 2007
目次: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
全文の入手
電子媒体 eBook
2
出版事項 2013
目次: ... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....
全文の入手
電子媒体 eBook
3
出版事項 2005
目次: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
全文の入手
電子媒体 eBook
4
出版事項 2008
目次: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
全文の入手
電子媒体 eBook