Cantitate/Preț
Produs
Total produse
Vezi coșul
Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings de Enrico Pontelli

Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings: Lecture Notes in Computer Science, cartea 9131

Editat de Enrico Pontelli, Tran Cao Son
en Limba Engleză Paperback – iun 2015
This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.
The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 26887 lei

Preț vechi: 33609 lei
-20% Nou

Puncte Express: 403
Preț estimativ în valută:
5145€ • 5365$ • 4276£

Carte tipărită la comandă

Livrare economică 21 martie-04 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319196855
ISBN-10: 3319196855
Pagini: 149
Ilustrații: X, 149 p. 29 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.24 kg
Ediția:2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Ontology-Driven Data Semantics Discovery for Cyber-Security.- State Space Planning Using Transaction Logic.- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule.- Declaratively Solving Google Code Jam Problems with Picat.- Reactive Single-Page Applications with Dynamic Dataflow.- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.- Implementation and Performance of Probabilistic Inference.- A Haskell Implementation of a Rule-Based Program Transformation for C Programs.- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization.- Programming Microcontrollers in OCaml: the OCaPICProject.

Textul de pe ultima copertă

This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.
The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.