1
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... scarcity including virtual water trading -- Water footprints of nations: Water use by people as a function...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Formal Verification for Inter-Partitions Communication of RTOS supporting IMA; S.Park, G.Kwon -- 3D Face...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...Component-Based Architectures and Change -- Data Encapsulation in Software Components -- Binary...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... -- Redesign of Organizations as a Basis for Organizational Change -- MODELLING AND ANALYZING INSTITUTIONS...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...: A Case-Study with Organisations -- Enacting and Deacting Roles in Agent Programming -- A Platform...
View full text
Electronic eBook
10
Published 2013
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... regarding Evolvability -- Functional Architecture Modeling for the Software Product Industry -- Experiences...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Community Core Members Based on Gene Expression Programming -- Posters -- Integration of a Cryptographic...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Process Areas spEcification -- Requirement Changes and Project Success: The Moderating Effects of Agile...
View full text
Electronic eBook
19
Subjects: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... in Information and Communication Technology on the Validity of the Construct Information Literacy in Higher...
View full text
Electronic eBook