Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Functional and Logic Programming John Patrick Gallagher

Functional and Logic Programming

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

Szerző: John Patrick Gallagher, Martin Sulzmann
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer International Publishing AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 643 Ft
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...

Információk a könyvről

Szerző
John Patrick Gallagher, Martin Sulzmann
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2018
oldal
281
EAN
9783319906850
ISBN
3319906852
Enbook ID
19251152
Kiadó
Springer International Publishing AG
Súly
462
Méretek
155 x 235 x 14

Teljes leírás

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.

Érdekelheti

Model-Free Stabilization by Extremum Seeking

Alexander Scheinker
24 885 Ft

Representing Communities

Ruth Sanz Sabido
40 356 Ft

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

Jason Farley
5 227 Ft

Kabbalah Handbook

Gabrielle Samuel
8 699 Ft

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

Michael Leonard
40 562 Ft

Wide Ruled Notebook - 1 Subject For Students

Speedy Publishing LLC
4 949 Ft

Palmetto

Martin Hicks
7 572 Ft

Mobile App Development with React Native

Greyson Chesterfield
7 323 Ft

The Emergency

Coomi Kapoor
7 975 Ft

Journey with Grace A Voice for God Commemorative Series

THERESA D. HAMMONDS
8 570 Ft

David L. Yulee vs. Francis Vose

Dickerson & Dickerson
5 455 Ft

Suit

Suzanne D Williams
3 907 Ft

Translations of Christian Literature. Series II

Ebo
8 267 Ft

Don't Tell a Soul

S K McClafferty
5 281 Ft

Intelligent Networks and Intelligence in Networks

Jorgen Norgaard
86 189 Ft

Michigan Man

Amanda Maccormac
6 254 Ft

Irresistible Bible Study Guide

Andy Stanley
4 096 Ft

PC Christian

Mike Gonzalez
3 866 Ft

Applied Graphology;

Albert J. Smith
8 018 Ft

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

Gordon Colbach
10 741 Ft

Our Mothers, Ourselves

Henry Cloud
4 620 Ft

Conflict Thesaurus

Becca Puglisi
7 515 Ft

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

Rita Onyx
3 907 Ft

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

Luis De Camoes
14 448 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leitfaden für Laserschutzbeauftragte

Jürgen Eichler
17 994 Ft

Dibebaskan Dari Kuasa Kegelapan - Edisi Lanjutan 2025

Emmanuel Eni
7 265 Ft

Margarida e o Arco Azul

ngela Grangeia Carvalho
3 909 Ft

Sčítání a odčítání - Moje první úkoly

1 765 Ft

Chlamydia pneumoniae Longinfectie bij twee ingeteelde muizenstammen

Chengming Wang
16 747 Ft

A Man and his Cat 12

Verena Maser
3 549 Ft

Божественная комедия. Коллекционное издание с иллюстрациями Гюстава Доре

Данте Алигьери
22 454 Ft

Historia De San Martín Y De La Emancipación Sud-Americana, Volumes 5-6

Bartolomé Mitre
11 582 Ft

Slabye i sil'nye storony, integrirowat', dezintegrirowat' i reintegrirowat'

Armando Barraza Cuellar
8 527 Ft

Paris à l'époque gallo-romaine

Théodore Vacquer
10 579 Ft

Historia política del pantalón

Christine Bard
8 191 Ft

Sprachdidaktik

Monika Budde
9 030 Ft

Dichtung und Recht.

Michael Kloepfer
5 774 Ft

Behandlung von steuerlichen Verlustvortragen im Zusammenhang mit Umstrukturierungen

Andreas Krause
9 595 Ft

Best of Cornwall und Südengland - 66 Highlights

Ruth Chitty
6 888 Ft

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

Wolfgang Haase
188 150 Ft

Factores de motivacion docente en la escuela secundaria

Luis Catalino Loeza Dorantes
13 347 Ft

Von Zwanzig bis Dreissig

Theodor Fontane
10 220 Ft

Etienne de Grellet, Evangeliste Francais Au 19e Siecle

Guillaume Felice
5 544 Ft

La liebre y el petirrojo

Baguley
3 299 Ft

Frédéric Dard ou la vie privée de San Antonio

François Rivière
8 412 Ft

La cocina aragonesa

Susaeta
4 518 Ft

Basiswissen Lehrerbildung: Englisch unterrichten

Susanne Heinz
9 740 Ft

Gefahrliche Zettel

Lee Strauss
4 661 Ft