Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Functional and Logic Programming John Patrick Gallagher

Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings

Autor: John Patrick Gallagher, Martin Sulzmann
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer International Publishing AG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.08 €
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...

Informácie o knihe

Autor
John Patrick Gallagher, Martin Sulzmann
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2018
Stránok
281
EAN
9783319906850
ISBN
3319906852
Enbook ID
19251152
Vydavateľ
Springer International Publishing AG
Hmotnosť
462
Rozmery
155 x 235 x 14

Kompletný popis

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.

Mohlo by vás zaujímať

Representing Communities

Ruth Sanz Sabido
103.01 €

Model-Free Stabilization by Extremum Seeking

Alexander Scheinker
67.62 €

The Emergency

Coomi Kapoor
20.28 €

PC Christian

Mike Gonzalez
10.67 €

Applied Graphology;

Albert J. Smith
19.59 €

Italian Paintings of the Early Renaissance: Twenty-four Paintings From the 14th to the Early 16th Century, Including Works by Sassetta, Fra Angelico,

Metropolitan Museum of Art (New York
24.79 €

The Lusiad; Or the Discovery of India: An Epic Poem

Luis De Camoes
35.28 €

Onyx Kids Shiloh's School Dayz: The Phantom of the School Play

Rita Onyx
9.50 €

Bluetooth Tutorial: Design, Protocol and Specifications for BLE - Bluetooth Low Energy 4.0 and Bluetooth 5

Gordon Colbach
26.06 €

Irresistible Bible Study Guide

Andy Stanley
9.69 €

The Vegetarian Bodybuilding Cookbook: 100 Delicious Vegetarian Recipes To Build Muscle, Burn Fat & Save Time

Jason Farley
12.44 €

Journey with Grace A Voice for God Commemorative Series

THERESA D. HAMMONDS
20.87 €

Intelligent Networks and Intelligence in Networks

Jorgen Norgaard
209.66 €

Wide Ruled Notebook - 1 Subject For Students

Speedy Publishing LLC
11.65 €

Introductory Organic Reaction Mechanisms: A color-coded approach to arrow pushing

Michael Leonard
107.42 €

Bible Studies in the Life of Paul

Henry T Sell
12.93 €

Mathematical Plato

Roger Sworder
16.07 €

Discourses of Martyrdom in English Literature, 1563-1694

John R. Knott
57.63 €

Impressions Of Western Africa, With Remarks On The Diseases Of The Climate

Thomas Joseph Hutchinson
29.98 €

Eternal Life and How to Enjoy it

Gordon Phinn
11.36 €

Fuzzy Chaotic Systems

Zhong Li
149.57 €

Oxford Reading Tree TreeTops Myths and Legends: Level 10: Wolf Fables

Pie Corbett
13.32 €

Big Book of Reincarnation

Roy Stemman
14.79 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Sprachdidaktik

Monika Budde
23.03 €

Von Zwanzig bis Dreissig

Theodor Fontane
25.87 €

Dichtung und Recht.

Michael Kloepfer
16.16 €

Chlamydia pneumoniae Longinfectie bij twee ingeteelde muizenstammen

Chengming Wang
42.43 €

Best of Cornwall und Südengland - 66 Highlights

Ruth Chitty
17.44 €

Religion (Heidentum: Die religioesen Verhaltnisse in den Provinzen [Forts.])

Wolfgang Haase
480.39 €

Bridgerton 3 - Te Doy Mi Corazon -V3*

Quinn
14.30 €

L'autonomie financière des métropoles internationales

Peggy Bachman
85.27 €

Gefahrliche Zettel

Lee Strauss
10.97 €

Basiswissen Lehrerbildung: Englisch unterrichten

Susanne Heinz
24.79 €

Factores de motivacion docente en la escuela secundaria

Luis Catalino Loeza Dorantes
33.81 €

La cocina aragonesa

Susaeta
12.73 €