Giorgio Levi – författare
Visar alla böcker från författaren Giorgio Levi. Handla med fri frakt och snabb leverans.
10 produkter
Advances in Logic Programming Theory
Av Giorgio Levi
Inbunden, 1994
2044 kr
Lägg i varukorg
Logic programming has emerged over the last 15 years as one of most promising new programming paradigms and as a very active research area.The PROGLOG experience has shown that relevant problems in areas such as expert systems, deductive databases, knowledge representation, and rapid prototyping …
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Av Hartmut Ehrig, Robert A. Kowalski m. fl.
Häftad, 1987
399 kr
Lägg i varukorg
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
Av Hartmut Ehrig, Robert Kowalski m. fl.
Häftad, 1987
399 kr
Lägg i varukorg
Foundations of Logic and Functional Programming
Workshop, Trento, Italy, December 15-19, 1986. Proceedings
Av Mauro Boscarol, Luigia Carlucci Aiello m. fl.
Häftad, 1988
566 kr
Lägg i varukorg
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book …
Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Av Bernhard Steffen, Giorgio Levi
Häftad, 2004
566 kr
Lägg i varukorg
This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11-13,2004,inconjunctionwithPOPL2004,the31stAnnual SymposiumonPrinciplesofProgrammingLanguages,January14-16,2004.The …
Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Av Giorgio Levi, Bernhard Steffen
E-bok, 2003
755 kr
Lägg i varukorg
Static Analysis
5th International Symposium, SAS''98, Pisa, Italy, September 14-16, 1998, Proceedings
Av Giorgio Levi
E-bok, 2003
755 kr
Lägg i varukorg
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 …
Algebraic and Logic Programming
4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Av Giorgio Levi, Mario Rodriguez-Artalejo
Häftad, 1994
566 kr
Lägg i varukorg
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic …
Static Analysis
5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
Av Giorgio Levi
Häftad, 1998
566 kr
Lägg i varukorg
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS'98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP'98 and several wo- shops. SAS'98isthe annualconferenceandforumforresearchersinallaspectsof …
