Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 16,61
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
EUR 12,20
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 34,91
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Langue: espagnol
Edité par GRUPO EDITORIAL LETRAS NEGRAS S.A.S, 2023
ISBN 10 : 6287628766 ISBN 13 : 9786287628762
Vendeur : KALAMO BOOKS, Burriana, CS, Espagne
EUR 13
Quantité disponible : 1 disponible(s)
Ajouter au panierTapa blanda. Etat : Nuevo.
Langue: espagnol
Edité par GRUPO EDITORIAL LETRAS NEGRAS S.A.S, 2024
ISBN 10 : 6287680954 ISBN 13 : 9786287680951
Vendeur : KALAMO BOOKS, Burriana, CS, Espagne
EUR 13,50
Quantité disponible : 1 disponible(s)
Ajouter au panierTapa blanda. Etat : Nuevo.
Langue: espagnol
Edité par GRUPO EDITORIAL LETRAS NEGRAS S.A.S, 2024
ISBN 10 : 6287680873 ISBN 13 : 9786287680876
Vendeur : KALAMO BOOKS, Burriana, CS, Espagne
EUR 13,50
Quantité disponible : 1 disponible(s)
Ajouter au panierTapa blanda. Etat : Nuevo.
Edité par PADILLA LIBROS
ISBN 10 : 8484344770 ISBN 13 : 9788484344773
Vendeur : Padilla Libros, Sevilla, SE, Espagne
EUR 5
Quantité disponible : 4 disponible(s)
Ajouter au panierRústica BC. Etat : New. Etat de la jaquette : Nuevo. 1. Libros.
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
EUR 44,51
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 56,03
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 60,65
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 74,19
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 60,64
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 78,63
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 300.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 66,77
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Libros librones libritos y librazos, León, GUA, Mexique
EUR 32,22
Quantité disponible : 1 disponible(s)
Ajouter au panierBlanda. Etat : Usado. NOTA: EL COSTO DEL ENVÍO SOLAMENTE AMPARA 0.9 KILOS DE PESO. EN CASO DE QUE EL LIBRO PESE MÁS DE 0.9 KILOS, SE TE SOLICITARÁ PAGAR UN COSTO EXTRA. ESTADO: USADO. TÍTULO: SER PENALISTA. AUTOR: DANIEL F. CABEZA DE VACA. EDITORIAL: INSTITUTO NACIONAL DE CIENCIAS PENALES. IDIOMA: ESPAÑOL. EDICIÓN: 1. AÑO: 2006. REIMPRESIÓN: NO. ISBN: NO. APARIENCIA: BUENA. ENCUADERNACIÓN: BLANDA. PÁGINAS: 150. MEDIDAS: 23 X 17 X 1 CM. PESO: 324 GRS. UNIÓN: COSIDO. CANTOS: CON LEVES SIGNOS DE USO. INTERIORES: COMPLETOS E ÍNTEGROS. NOTAS: NO. SELLOS: NO. SUBRAYADOS: NO. FIRMAS O DEDICATORIA: NO. PARTICULARIDADES EXTRAS: EL LIBRO TIENE SOLAP.
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
EUR 18,51
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Langue: anglais
Edité par Springer Berlin Heidelberg, 2005
ISBN 10 : 3540243623 ISBN 13 : 9783540243625
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts,includingfunctional,logic,constraints,etc.Declarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di erent real-world situations, including database management, active networks, software engineering, decision support systems, or music c- position; whereas new developments in theory and implementation have opened up new application areas. Inversely, applications often drive the progress in the theory and implementation of declarative systems, as well as bene t from this progress. The 7th PADL Symposium was held in Long Beach, California on January 10 11, 2005, and was co-located with ACM s Principles of Programming L- guages(POPL).From36 submitted papers,the ProgramCommittee selected 17 papers for presentation at the symposium, based upon at least three reviews for eachpaper,providedfromProgramCommitteemembersandadditionalreferees. Two invited talks were presented at the conference: one by Norman R- sey (Harvard University) entitled Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction ; and a second by Saumya Debray (University of Arizona) entitled Code Compression. Following what has become a tradition in PADL symposia, the Program Committee selected one paper to receive the Most Practical Paper award. This year the paper judged the best in terms of practicality, originality, and claritywas AProvablyCorrectCompilerforE cientModelCheckingofMobile Processes, byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.
Vendeur : preigu, Osnabrück, Allemagne
EUR 50,25
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Practical Aspects of Declarative Languages | 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings | Manuel Hermenegildo (u. a.) | Taschenbuch | viii | Englisch | 2005 | Springer | EAN 9783540243625 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 16,39
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 21,03
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 204 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 26,45
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 204.
EUR 21,29
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 204.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 2005, 2005
ISBN 10 : 3540243623 ISBN 13 : 9783540243625
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts,includingfunctional,logic,constraints,etc.De clarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di erent real-world situations, including database management, active networks, software engineering, decision support systems, or music c- position; whereas new developments in theory and implementation have opened up new application areas. Inversely, applications often drive the progress in the theory and implementation of declarative systems, as well as bene t from this progress. The 7th PADL Symposium was held in Long Beach, California on January 10 11, 2005, and was co-located with ACM s Principles of Programming L- guages(POPL).From36 submitted papers,the ProgramCommittee selected 17 papers for presentation at the symposium, based upon at least three reviews for eachpaper,providedfromProgramCommitteemembersandadditionalreferees. Two invited talks were presented at the conference: one by Norman R- sey (Harvard University) entitled Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction ; and a second by Saumya Debray (University of Arizona) entitled Code Compression. Following what has become a tradition in PADL symposia, the Program Committee selected one paper to receive the Most Practical Paper award. This year the paper judged the best in terms of practicality, originality, and claritywas AProvablyCorrectCompilerforE cientModelCheckingofMobile Processes, byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka. 296 pp. Englisch.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 77,93
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 300 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 78,33
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 300.
Langue: anglais
Edité par Springer Berlin Heidelberg, 2005
ISBN 10 : 3540243623 ISBN 13 : 9783540243625
Vendeur : moluna, Greven, Allemagne
EUR 48,37
Quantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.- Code Compression.- Papers.- Functional Framework for Sound Synthesis.- Specializing Narrowing for Timetable Generation: A Case Study.- Cha.
Langue: anglais
Edité par Springer, Springer Jan 2005, 2005
ISBN 10 : 3540243623 ISBN 13 : 9783540243625
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.- Code Compression.- Papers.- Functional Framework for Sound Synthesis.- Specializing Narrowing for Timetable Generation: A Case Study.- Character-Based Cladistics and Answer Set Programming.- Role-Based Declarative Synchronization for Reconfigurable Systems.- Towards a More Practical Hybrid Probabilistic Logic Programming Framework.- Safe Programming with Pointers Through Stateful Views.- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.- A Provably Correct Compiler for Efficient ModelChecking of MobileProcesses.- An Ordered Logic Program Solver.- Improving Memory Usage in the BEAM.- Solving Constraints on Sets of Spatial Objects.- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.- Solving Collaborative Fuzzy Agents Problems with CLP( ).- Improved Fusion for Optimizing Generics.- The Program Inverter LRinv and Its Structure.- A Full Pattern-Based Paradigm for XML Query Processing.- Type Class Directives.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 296 pp. Englisch.