1
Published 2008
Table of Contents: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems -- Concept for Controlled Self...
View full text
Electronic eBook