1
Published 2008
Table of Contents: ... Perceptual Similarity Learning -- A Temporal Dominant Relationship Analysis Method -- Leakage-Aware Energy...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...
View full text
Electronic eBook
3
Published 2011
Table of Contents: ...From the content: Patterns improving the Common Criteria compliant IT security development process...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ... on the relationships between humanity and nature in Japan -- 2. Eco-cultural diversity in island and coastal landscapes...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Transfer -- Information Relationship Identification in Team Innovation -- Agile Knowledge Supply Chain...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ...Preface -- Foreword -- Never Fear--You Already Model! -- A Collaborative Process...
View full text
Electronic eBook