Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka 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
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.13 zł
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...

Informacje o książce

Autor
John Patrick Gallagher, Martin Sulzmann
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2018
strony
281
EAN
9783319906850
ISBN
3319906852
Enbook ID
19251152
Wydawca
Springer International Publishing AG
Waga
462
Wymiary
155 x 235 x 14

Pełny opis

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.

Możesz być zainteresowany

Representing Communities

Ruth Sanz Sabido
436.61 zł

Model-Free Stabilization by Extremum Seeking

Alexander Scheinker
272.40 zł

The Emergency

Coomi Kapoor
86.03 zł

PC Christian

Mike Gonzalez
45.10 zł

Applied Graphology;

Albert J. Smith
87.20 zł

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
110.43 zł

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

Luis De Camoes
157.10 zł

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

Rita Onyx
42.38 zł

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

Gordon Colbach
116.36 zł

Irresistible Bible Study Guide

Andy Stanley
43.74 zł

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

Jason Farley
55.31 zł

Journey with Grace A Voice for God Commemorative Series

THERESA D. HAMMONDS
93.13 zł

Intelligent Networks and Intelligence in Networks

Jorgen Norgaard
930.49 zł

Wide Ruled Notebook - 1 Subject For Students

Speedy Publishing LLC
52.78 zł

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

Michael Leonard
429.80 zł

Bible Studies in the Life of Paul

Henry T Sell
57.55 zł

Mathematical Plato

Roger Sworder
71.64 zł

Discourses of Martyrdom in English Literature, 1563-1694

John R. Knott
244.21 zł

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

Thomas Joseph Hutchinson
133.67 zł

Eternal Life and How to Enjoy it

Gordon Phinn
51.03 zł

Fuzzy Chaotic Systems

Zhong Li
633.67 zł

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

Pie Corbett
56.38 zł

Big Book of Reincarnation

Roy Stemman
66.68 zł

Klienci, którzy kupili tę książkę, kupili również

Sprachdidaktik

Monika Budde
97.41 zł

Von Zwanzig bis Dreissig

Theodor Fontane
109.75 zł

Dichtung und Recht.

Michael Kloepfer
68.72 zł

Chlamydia pneumoniae Longinfectie bij twee ingeteelde muizenstammen

Chengming Wang
179.65 zł

Best of Cornwall und Südengland - 66 Highlights

Ruth Chitty
73.78 zł

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

Wolfgang Haase
2 035.69 zł

Bridgerton 3 - Te Doy Mi Corazon -V3*

Quinn
64.84 zł

L'autonomie financière des métropoles internationales

Peggy Bachman
361.26 zł

Gefahrliche Zettel

Lee Strauss
49.67 zł

Basiswissen Lehrerbildung: Englisch unterrichten

Susanne Heinz
104.99 zł

Factores de motivacion docente en la escuela secundaria

Luis Catalino Loeza Dorantes
143.20 zł

La cocina aragonesa

Susaeta
53.75 zł