Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Andy King,Oleg Kiselyov

Springer Nature Proceedings Computer Science

電子書籍を購入

15 % 引き販売価格　6,864 円5,834 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319296043
発売日　2017年11月12日
出版社：Springer International Publishing

出版社： Springer
ファイル形式　EPUB2
サイズ　4.15 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

シリーズの内容

Programming Languages and Systems

Oleg Kiselyov

関連書籍

Elements of Programming

Paul McJones, Alexander Stepanov

5,506 円

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

10,911 円

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

15,821 円

Software Language Engineering

Anneke Kleppe

3,417 円

Introduction to Compiler Design

Torben Ægidius Mogensen

4,248 円

Why Programs Fail

Andreas Zeller

6,762 円

Software Abstractions: Logic, Language, and Analysis

Daniel Jackson

4,088 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Trends in Functional Programming Volume 6

Marko Van Eekelen

6,268 円

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

9,934 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Big Data Integration Theory

Zoran Majkić

6,076 円

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

9,820 円

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

4,557 円

Model Driven Engineering and Ontology Development

Jean Bézivin, Dragan Djuric, Dragan Gaševic, Bran V. Selic, Vladan Devedžic

12,154 円

FORTRAN 90 for Scientists and Engineers

Brian H. Hahn

7,200 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

5,105 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

5,105 円

Beginning Julia Programming

Sandeep Nagar

9,116 円

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link

6,076 円

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

6,928 円

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

5,834 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Model Checking Software

Dragan Bošnački, Anton Wijs

6,078 円

Formal Aspects of Component Software

José Proença, Markus Lumpe

6,076 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

6,076 円

Applications of Declarative Programming and Knowledge Management

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf

6,076 円

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

6,076 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Programming Languages

Fernando Castor, Yu David Liu

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Reliable Software Technologies – Ada-Europe 2016

Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna

6,076 円

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

6,076 円

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

12,154 円

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

6,076 円

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

6,076 円

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

6,076 円

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

Abdelkader Hameurlain, Josef Küng, Roland Wagner

6,076 円

Static Analysis

Xavier Rival

6,076 円

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld

6,076 円

Introduction to Scilab

Sandeep Nagar

5,469 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Rewriting Logic and Its Applications

Santiago Escobar

5,834 円

Software Verification and Analysis

Janusz Laski, William Stanley

6,076 円

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

6,076 円

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

6,076 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Trends in Functional Programming Volume 7

Henrik Nilsson

6,376 円

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

6,076 円

Programming Languages and Operational Semantics

Maribel Fernández

4,861 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

4,862 円

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

6,076 円

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

6,076 円

SOFSEM 2016: Theory and Practice of Computer Science

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania

6,076 円

MATLAB Deep Learning

Phil Kim

7,292 円

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

6,076 円

Implementation and Application of Functional Languages

Ralf Hinze

5,591 円

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

6,076 円

Essentials of Constraint Programming

Thom Frühwirth, Slim Abdennadher

6,076 円

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

12,154 円

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

18,231 円

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

6,076 円

その他の著書

Baking By Hand

Andy King, Jackie King

2,195 円

England and Scotland, 1286-1603

Andy King, Claire Etty

3,786 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Functional and Logic Programming

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Programming Languages and Systems

関連書籍

Elements of Programming

Introduction to Information Retrieval

Modern Compiler Implementation in Java

Software Language Engineering

Introduction to Compiler Design

Why Programs Fail

Software Abstractions: Logic, Language, and Analysis

The Functional Approach to Programming

Trends in Functional Programming Volume 6

Readings in Artificial Intelligence and Software Engineering

Systematic Program Design

Machine Learning Algorithms

Big Data Integration Theory

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Markov Logic

Model Driven Engineering and Ontology Development

FORTRAN 90 for Scientists and Engineers

Tractability

Specification of Software Systems

Practical Aspects of Declarative Languages

Programming Languages and Systems

Programming Languages and Systems

Logic-Based Program Synthesis and Transformation

Static Analysis

Programming Languages and Systems

Interactive Theorem Proving

Trustworthy Global Computing

Declarative Programming and Knowledge Management

Trends in Functional Programming

Trustworthy Global Computing

Practical Aspects of Declarative Languages

Beginning Julia Programming

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Compiler Design

Formal Methods for Multicore Programming

Tests and Proofs

Model Checking Software

Formal Aspects of Component Software

Topics in Cryptology - CT-RSA 2016

Hardware and Software: Verification and Testing

Applications of Declarative Programming and Knowledge Management

Structured Object-Oriented Formal Language and Method

Logic-Based Program Synthesis and Transformation

Programming Languages

Verification, Model Checking, and Abstract Interpretation

Reliable Software Technologies – Ada-Europe 2016

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Meta-Programming and Model-Driven Meta-Program Development

Modelling Foundations and Applications

Software Engineering for Resilient Systems

Logic Programming and Nonmonotonic Reasoning

Automated Technology for Verification and Analysis

Formal Modeling and Analysis of Timed Systems

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

Static Analysis

Transactions on Aspect-Oriented Software Development XII

Introduction to Scilab

Formal Methods and Software Engineering

Rewriting Logic and Its Applications

Software Verification and Analysis

Critical Systems: Formal Methods and Automated Verification

Perspectives of System Informatics

Small Dynamic Complexity Classes

Trends in Functional Programming Volume 7

Theoretical Aspects of Computing – ICTAC 2017

Programming Languages and Operational Semantics

Topics in Theoretical Computer Science

Formal Methods: Foundations and Applications

Fundamental Approaches to Software Engineering

Formal Methods and Software Engineering