1
Published 2013
Table of Contents: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
View full text
Electronic eBook