KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
Band 9131

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Aus der Reihe Lecture Notes in Computer Science

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.2015

Abbildungen

X, 149 p. 29 illus.

Herausgeber

Enrico Pontelli + weitere

Verlag

Springer

Seitenzahl

149

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

254 g

Sprache

Englisch

ISBN

978-3-319-19685-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.2015

Abbildungen

X, 149 p. 29 illus.

Herausgeber

Verlag

Springer

Seitenzahl

149

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

254 g

Sprache

Englisch

ISBN

978-3-319-19685-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages

  • 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.