Menu
Виж статуса на поръчката
Свържете се с нас
Книга Functional and Logic Programming John Patrick Gallagher

Functional and Logic Programming

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

Автор: John Patrick Gallagher, Martin Sulzmann
Език: Английски език
Корици: С меки корици
Издател: Springer International Publishing AG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.77 € 103.22 лв
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...

Информация за книгата

Автор
John Patrick Gallagher, Martin Sulzmann
Език
Английски език
Корици
Книга - С меки корици
Издадена
2018
страници
281
EAN
9783319906850
ISBN
3319906852
Enbook ID
19251152
Издател
Springer International Publishing AG
Теглоt
462
Размери
155 x 235 x 14

Пълно описание

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.

Може също да ви хареса

Representing Communities

Ruth Sanz Sabido
108.56 € 212.33 лв

Model-Free Stabilization by Extremum Seeking

Alexander Scheinker
71.09 € 139.03 лв

The Emergency

Coomi Kapoor
21.47 € 41.99 лв

PC Christian

Mike Gonzalez
11.28 € 22.07 лв

Applied Graphology;

Albert J. Smith
20.61 € 40.32 лв

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
26.08 € 51.01 лв

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

Luis De Camoes
37.12 € 72.60 лв

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

Rita Onyx
10.03 € 19.61 лв

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

Gordon Colbach
27.49 € 53.76 лв

Irresistible Bible Study Guide

Andy Stanley
10.33 € 20.20 лв

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

Jason Farley
13.09 € 25.60 лв

Journey with Grace A Voice for God Commemorative Series

THERESA D. HAMMONDS
22.02 € 43.07 лв

Intelligent Networks and Intelligence in Networks

Jorgen Norgaard
229.72 € 449.30 лв

Wide Ruled Notebook - 1 Subject For Students

Speedy Publishing LLC
12.49 € 24.42 лв

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

Michael Leonard
113.48 € 221.95 лв

Bible Studies in the Life of Paul

Henry T Sell
13.59 € 26.58 лв

Mathematical Plato

Roger Sworder
16.90 € 33.06 лв

Discourses of Martyrdom in English Literature, 1563-1694

John R. Knott
60.45 € 118.23 лв

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

Thomas Joseph Hutchinson
31.60 € 61.81 лв

Eternal Life and How to Enjoy it

Gordon Phinn
12.79 € 25.01 лв

Fuzzy Chaotic Systems

Zhong Li
157.83 € 308.69 лв

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

Pie Corbett
13.94 € 27.27 лв

Big Book of Reincarnation

Roy Stemman
16.65 € 32.57 лв

Клиенти, които купиха тази книга, купиха също

Sprachdidaktik

Monika Budde
24.28 € 47.48 лв

Von Zwanzig bis Dreissig

Theodor Fontane
27.44 € 53.66 лв

Dichtung und Recht.

Michael Kloepfer
17.05 € 33.35 лв

Chlamydia pneumoniae Longinfectie bij twee ingeteelde muizenstammen

Chengming Wang
44.95 € 87.91 лв

Best of Cornwall und Südengland - 66 Highlights

Ruth Chitty
18.46 € 36.10 лв

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

Wolfgang Haase
506.16 € 989.96 лв

Bridgerton 3 - Te Doy Mi Corazon -V3*

Quinn
15.30 € 29.92 лв

L'autonomie financière des métropoles internationales

Peggy Bachman
90.35 € 176.71 лв

Gefahrliche Zettel

Lee Strauss
11.73 € 22.95 лв

Basiswissen Lehrerbildung: Englisch unterrichten

Susanne Heinz
26.23 € 51.31 лв

Factores de motivacion docente en la escuela secundaria

Luis Catalino Loeza Dorantes
35.82 € 70.05 лв

La cocina aragonesa

Susaeta
13.29 € 25.99 лв