Product Description
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases, SDKB 2008, held in Nantes, France, on March 29, 2008. The 6 revised full papers presented together with 4 invited papers and a survey on the state of the art in the field, were carefully reviewed and selected for inclusion in the book. The SDKB workshop presented original contributions demonstrating the use of logic,… More >>

Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Finite Fields and Applications, Fq7, held in Toulouse, France, in May 2004. The 19 revised full papers presented were carefully selected from around 60 presentations at the conference during two rounds of reviewing and revision. Among the topics addressed are Weierstrass semigroups, Galois rings, hyperelliptic curves, polynomial irreducibility, pseudorandom number … More >>

Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the Third European Workshop on Software Architecture, EWSA 2006, held in Nantes, France in September 2006. The 13 revised full research papers and 5 revised position papers presented together with 1 invited talk were carefully reviewed and selected from 53 submissions. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues… More >>

Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing… More >>

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Artificial Evolution, EA 2003, held in Marseilles, France in October 2003. The 32 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on theoretical issues, algorithmic issues, applications, implementation issues, genetic programming, coevolution and agent system… More >>

Artificial Evolution: 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing… More >>

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing… More >>

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Artificial Evolution, EA 2003, held in Marseilles, France in October 2003. The 32 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on theoretical issues, algorithmic issues, applications, implementation issues, genetic programming, coevolution and agent system… More >>

Artificial Evolution: 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the Third European Workshop on Software Architecture, EWSA 2006, held in Nantes, France in September 2006. The 13 revised full research papers and 5 revised position papers presented together with 1 invited talk were carefully reviewed and selected from 53 submissions. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues… More >>

Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

Product Description
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Finite Fields and Applications, Fq7, held in Toulouse, France, in May 2004. The 19 revised full papers presented were carefully selected from around 60 presentations at the conference during two rounds of reviewing and revision. Among the topics addressed are Weierstrass semigroups, Galois rings, hyperelliptic curves, polynomial irreducibility, pseudorandom number … More >>

Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers