9783540789680 - functional and logic programming: 9th international symposium, flops 2008, ise, japan, april 14-16, 2008, proceedings (lecture notes in computer science/programming and software engineering): 4989 (12 risultati)
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 27,45
EUR 7,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 354 Illus.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 32,02
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 354.
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 27,42
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 354.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,09
EUR 13,99 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,45
EUR 18,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,48
EUR 14,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2008 edition. 336 pages. 9.25x6.25x1.00 inches. In Stock.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,67 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14 16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functiona…l progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba(1999),Tokyo(2001),Aizu (2002),Nara(2004),and againFuji-Susono (2006). Since its 1999 edition, FLOPS proceedings have been published by Springer in itsLecture Notes in Computer Science series,as volumes 1722,2024, 2441, 2998 and 3945, respectively. In response to the call for papers, 59 papers were submitted. Each paper was reviewedbyatleastthreeProgramCommittee members,withthe helpofexpert external reviewers. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion,the ProgramCommittee selected20 papers(33%)for presentationat theconference.Inadditiontothe20contributedpapers,thesymposiumincluded talks by three invited speakers: Peter Dybjer (Chalmers University of Techn- ogy), Naoki Kobayashi (Tohoku University) and Torsten Schaub (University of Potsdam).
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Functional and Logic Programming | 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings | Jacques Garrigue (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2008 | Springer | EAN 9783540789680 | Verantwortliche Person für die EU: Springer Nature Customer…Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 23,46
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 352 | Sprache: Englisch | Produktart: Bücher | This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14¿16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concer…ning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba(1999),Tokyo(2001),Aizu (2002),Nara(2004),and againFuji-Susono (2006). Since its 1999 edition, FLOPS proceedings have been published by Springer in itsLecture Notes in Computer Science series,as volumes 1722,2024, 2441, 2998 and 3945, respectively. In response to the call for papers, 59 papers were submitted. Each paper was reviewedbyatleastthreeProgramCommittee members,withthe helpofexpert external reviewers. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion,the ProgramCommittee selected20 papers(33%)for presentationat theconference.Inadditiontothe20contributedpapers,thesymposiumincluded talks by three invited speakers: Peter Dybjer (Chalmers University of Techn- ogy), Naoki Kobayashi (Tohoku University) and Torsten Schaub (University of Potsdam).
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14 16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues conc…erning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba(1999),Tokyo(2001),Aizu (2002),Nara(2004),and againFuji-Susono (2006). Since its 1999 edition, FLOPS proceedings have been published by Springer in itsLecture Notes in Computer Science series,as volumes 1722,2024, 2441, 2998 and 3945, respectively. In response to the call for papers, 59 papers were submitted. Each paper was reviewedbyatleastthreeProgramCommittee members,withthe helpofexpert external reviewers. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion,the ProgramCommittee selected20 papers(33%)for presentationat theconference.Inadditiontothe20contributedpapers,thesymposiumincluded talks by three invited speakers: Peter Dybjer (Chalmers University of Techn- ogy), Naoki Kobayashi (Tohoku University) and Torsten Schaub (University of Potsdam). 352 pp. Englisch.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program… Analysis.- Refereed Papers.- Integrating.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program Analysis.- Referee…d Papers.- Integrating Answer Set Reasoning with Constraint Solving Techniques.- Optimizing Compilation of CHR with Rule Priorities.- Constructive Arithmetic.- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).- Dependent Types.- On-Demand Refinement of Dependent Types.- Proving Properties about Lists Using Containers.- Rewriting.- Termination of Narrowing in Left-Linear Constructor Systems.- Complexity Analysis by Rewriting.- Rewriting and Call-Time Choice: The HO Case.- Program Transformation.- Semantics and Pragmatics of New Shortcut Fusion Rules.- A Generalization of the Folding Rule for the Clark-Kunen Semantics.- Logic and Lambda-Calculus.- Types for Hereditary Head Normalizing Terms.- A New Translation for Semi-classical Theories - Backtracking without CPS.- Types.- Undoing Dynamic Typing (Declarative Pearl).- Typed Dynamic Control Operators for Delimited Continuations.- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.- Constraints II.- Quantitative Logic Programming Revisited.- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.- Debugging.- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.- EasyCheck - Test Data for Free.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch.
