0
Your cart

Your cart is empty

Browse All departments
  • All departments
Price
  • R500 - R1,000 (1)
  • R1,000 - R2,500 (5)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 8 of 8 matches in All departments

Logic-Based Program Synthesis and Transformation - 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18,... Logic-Based Program Synthesis and Transformation - 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Paperback, 2009 ed.)
Michael Hanus
R1,752 R1,465 Discovery Miles 14 650 Save R287 (16%) Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.

The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel,... Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Paperback, 2014 ed.)
Michael Hanus, Ricardo Rocha
R1,888 R1,626 Discovery Miles 16 260 Save R262 (14%) Ships in 10 - 15 working days

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.

Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP,... Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017, Revised Selected Papers (Paperback, 1st ed. 2018)
Dietmar Seipel, Michael Hanus, Salvador Abreu
R1,325 Discovery Miles 13 250 Ships in 7 - 11 working days

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.

Applications of Declarative Programming and Knowledge Management - 17th International Conference, INAP 2007, and 21st Workshop... Applications of Declarative Programming and Knowledge Management - 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Papers (Paperback, 2009 ed.)
Dietmar Seipel, Michael Hanus, Armin Wolf
R2,134 Discovery Miles 21 340 Ships in 7 - 11 working days

This volume contains a selection of papers presented at the 17th International Conference on Applications of Declarative Programming and Knowledge M- agement INAP 2007 and the 21st Workshop on Logic Programming WLP 2007, which were held jointly in Wu ]rzburg, Germany, during October 4-6, 2007. Declarative programming is anadvancedparadigmforthe modelingandso- ing of complex problems. This speci?cation method has become more and more attractiveoverthelastyears, e.g., inthedomainsofdatabases, fortheprocessing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impactof programmablelogic solversin the Internetsociety, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and societal services. The WorkshopsonLogicProgrammingarethe annualmeeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria and Switzerland. The topics of the selected papers of this year's joint conference concentrated on three currently important ?elds: constraint programming and constraint solving, databases and data mining, and declarative programming with logic languages. Duringthelastcoupleofyearsalotofresearchhasbeenconductedonthe- ageof declarativeprogrammingfor databases and data mining. Reasoning about knowledgewrappedinrules, databases, ortheWeballowsonetoexploreintere- ing hidden knowledge.Declarativetechniques for the transformation, deduction, induction, visualization, or querying of knowledge, or data mining techniques for exploring knowledge have the advantage of high transparency and better maintainability compared to procedural approaches.

Practical Aspects of Declarative Languages - 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007,... Practical Aspects of Declarative Languages - 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Paperback, 2007 ed.)
Michael Hanus
R2,155 Discovery Miles 21 550 Ships in 7 - 11 working days

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages.

The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming.

Applications of Declarative Programming and Knowledge Management - 15th International Conference on Applications of Declarative... Applications of Declarative Programming and Knowledge Management - 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers (Paperback, 2005 ed.)
Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
R2,443 Discovery Miles 24 430 Ships in 7 - 11 working days

This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear'sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.

Algebraic and Logic Programming - 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996.... Algebraic and Logic Programming - 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Paperback, 1996 ed.)
Michael Hanus, Mario Rodriguez- Artalejo
R2,460 Discovery Miles 24 600 Ships in 7 - 11 working days

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems." The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.

Problemloesen Mit PROLOG (German, Paperback, 2nd 2.Aufl. 1987 ed.): Michael Hanus Problemloesen Mit PROLOG (German, Paperback, 2nd 2.Aufl. 1987 ed.)
Michael Hanus
R962 Discovery Miles 9 620 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Sackboy: A Big Adventure
R1,199 R1,089 Discovery Miles 10 890
Abominable
Jill Culton DVD  (2)
R160 R30 Discovery Miles 300
Critical As Water
Jeremy Loops CD  (2)
R123 Discovery Miles 1 230
Bennett Read Personal Air Cooler
 (4)
R393 Discovery Miles 3 930
Loot
Nadine Gordimer Paperback  (2)
R336 R283 Discovery Miles 2 830
Bantex PP Economy Folder (A4)(Orange)
R6 Discovery Miles 60
Cook, Eat, Repeat - Ingredients, Recipes…
Nigella Lawson Hardcover R620 R419 Discovery Miles 4 190
Angelcare On-the-Go Dispenser
 (2)
R141 R113 Discovery Miles 1 130
ZA Tummy Control, Bust Enhancing & Waist…
R570 R399 Discovery Miles 3 990
Spindel 6.5kg Laundry Spin Dryer
 (8)
R2,799 R2,499 Discovery Miles 24 990

 

Partners