Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 57,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 60,07
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,04
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 83,97
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Functional and Logic Programming: 6th International Symposium, Flops 2002, Aizu, Japan, September 15-17, 2002. Proceedings. Book.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15 17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12 14. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular, it aims to stimulate the cro- fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), and Tokyo (2001). The proceedings of FLOPS 99 and FLOPS 2001 were published by Springer-Verlag as Lecture Notes in Computer Science, Vols. 1722 and 2024, respectively. There were 27 submissions, and these came from Australia (1), Brazil (1), 1 China (1), Denmark (2), Germany (1 ), Italy (1), Japan (6), Korea (1), Por- 2 2 1 1 tugal (2), Russia ( ), Spain (6), Sweden (1), the UK (2 ), and the USA ( ).
Librería: preigu, Osnabrück, Alemania
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Functional and Logic Programming | 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings | Zhenjiang Hu (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540442332 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 118,87
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 109,37
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 140,00
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2002, 2002
ISBN 10: 3540442332 ISBN 13: 9783540442332
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15 17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12 14. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular, it aims to stimulate the cro- fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), and Tokyo (2001). The proceedings of FLOPS 99 and FLOPS 2001 were published by Springer-Verlag as Lecture Notes in Computer Science, Vols. 1722 and 2024, respectively. There were 27 submissions, and these came from Australia (1), Brazil (1), 1 China (1), Denmark (2), Germany (1 ), Italy (1), Japan (6), Korea (1), Por- 2 2 1 1 tugal (2), Russia ( ), Spain (6), Sweden (1), the UK (2 ), and the USA ( ). 320 pp. Englisch.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2002
ISBN 10: 3540442332 ISBN 13: 9783540442332
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes supplementary material: sn.pub/extrasInvited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Gates of HAL: A HAL Tutorial.- Tutorial Paper.- Functional Logic Design Patterns.- Constraints.- On Consi.
Idioma: Inglés
Publicado por Springer, Springer Sep 2002, 2002
ISBN 10: 3540442332 ISBN 13: 9783540442332
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Gates of HAL: A HAL Tutorial.- Tutorial Paper.- Functional Logic Design Patterns.- Constraints.- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms.- Program Transformation and Analysis.- On the Correctness of the Factoring Transformation.- Lambda-Lifting in Quadratic Time.- Semantics.- The Well-Founded Semantics in Normal Logic Programs with Uncertainty.- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.- Coinductive Interpreters for Process Calculi.- Rewriting.- Descendants and Head Normalization of Higher-Order Rewrite Systems.- Narrowing Failure in Functional Logic Programming.- Compilation Techniques.- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.- Dynamic-Cut with Definitional Trees.- Programming Methodology.- The Head Condition and Polymorphic Recursion.- Structural Abstraction and Application in Logic Programming.- VM : A Functional Calculus for Scientific Discovery.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch.