Helene Kirchner – författare
Visar alla böcker från författaren Helene Kirchner. Handla med fri frakt och snabb leverans.
10 produkter
Algebraic Methodology and Software Technology
9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
Av Helene Kirchner, Christophe Ringeissen
Häftad, 2002
550 kr
Lägg i varukorg
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R´eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead …
Algebraic Methodology and Software Technology
9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
Av Christophe Ringeissen, Helene Kirchner
E-bok, 2003
734 kr
Lägg i varukorg
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R´eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead …
Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
Av Christophe Ringeissen, Helene Kirchner
E-bok, 2006
734 kr
Lägg i varukorg
Algebraic and Logic Programming
Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Av Helene Kirchner, Wolfgang Wechler
Häftad, 1990
566 kr
Lägg i varukorg
This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.
Algebraic and Logic Programming
Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Av Helene Kirchner, Giorgio Levi
Häftad, 1992
566 kr
Lägg i varukorg
This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held in Pisa, Italy, September 2-4, 1992. Like the twoprevious conferences in Germany in 1988 and France in 1990,the third conference aims at strengthening the connectionsbetweenalgebraic …
Trees in Algebra and Programming - CAAP '96
21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings
Häftad, 1996
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linköping, Sweden, in April 1996.The 21 full revised papers presented were selected from 44 submissions; also included are invited papers by Samson Abramsky and …
Automated Deduction - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Av Claude Kirchner, Helene Kirchner
Häftad, 1998
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected …
Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
Av Helene Kirchner, Christophe Ringeissen
Häftad, 2000
550 kr
Lägg i varukorg
This volume contains the proceedings of FroCoS2000, the 3rd International WorkshoponFrontiersofCombiningSystems,heldMarch22-24,2000,inNancy, France. Like its predecessors organized in Munich (1996) and in Amsterdam (1998), FroCoS2000 is intended to o?er a common forum for research activities …
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Av Hubert Comon-Lundh, Claude Kirchner m. fl.
Häftad, 2007
566 kr
Lägg i varukorg
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its …
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Av Helene Kirchner, Claude Kirchner m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its …
