Declarative Programming and Knowledge Management

Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

電子書籍

Ricardo Rocha,Michael Hanus

Springer Nature Proceedings Computer Science

電子書籍を購入

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

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

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

シリーズの内容

Practical Aspects of Declarative Languages

Michael Hanus,Daniela Inclezan

Functional and Logic Programming

Michael Hanus,Atsushi Igarashi

Functional and Constraint Logic Programming

Michael Hanus,Claudio Sacerdoti Coen

関連書籍

Python Machine Learning

Sebastian Raschka

4,391 円

または Kobo Plus なら無料

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

9,194 円

Introduction to Information Retrieval

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

10,911 円

Software Language Engineering

Anneke Kleppe

3,417 円

Mastering Text Mining with R

KUMAR ASHISH

3,961 円

または Kobo Plus なら無料

Markov Logic

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

4,557 円

Practical Foundations for Programming Languages

Robert Harper

12,684 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

6,076 円

Principles of Data Mining

Max Bramer

5,464 円

Trends in Functional Programming Volume 6

Marko Van Eekelen

6,268 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

13,369 円

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka

27,900 円

Ontology Matching

Jérôme Euzenat, Pavel Shvaiko

20,662 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

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 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

5,105 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

4,862 円

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

6,076 円

Transactions on Aspect-Oriented Software Development XII

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

6,076 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

Number-Crunching

Paul J. Nahin

4,085 円

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

9,723 円

A Primer on Scientific Programming with Python

Hans Petter Langtangen

7,292 円

Big Data Integration Theory

Zoran Majkić

6,076 円

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

6,076 円

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

5,469 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Provably Correct Systems

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

12,154 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

6,076 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

Business Process Management

Josep Carmona, Gregor Engels, Akhil Kumar

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Computer Algebra in Scientific Computing

Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov

8,507 円

Constraint Theory

George J. Friedman, Phan Phan

9,359 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

An Introduction to Data Analysis using Aggregation Functions in R

Simon James

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

12,154 円

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

4,862 円

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr

6,076 円

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

6,076 円

Logic, Rationality, and Interaction

Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada

6,076 円

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao

7,292 円

Formal Grammar

Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla

6,076 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Supercomputing

Sergey Sobolev, Vladimir Voevodin

6,076 円

Introduction to MATLAB for Engineers and Scientists

Sandeep Nagar

4,254 円

Refinement in Z and Object-Z

Eerke A. Boiten, John Derrick

12,154 円

Graph Transformation

Juan de Lara, Detlef Plump

6,076 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Scalable Techniques for Formal Verification

Sandip Ray

12,154 円

Deterministic Global Optimization

Yaroslav D. Sergeyev, Dmitri E. Kvasov

6,685 円

Theory and Applications of Models of Computation

Rahul Jain, Sanjay Jain, Frank Stephan

6,076 円

Flexible Approaches in Data, Information and Knowledge Management

Olivier Pivert, Sławomir Zadrożny

12,154 円

Developments in Language Theory

Émilie Charlier, Julien Leroy, Michel Rigo

6,076 円

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

6,076 円

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

6,076 円

Fundamentals of Computation Theory

Igor Walukiewicz, Adrian Kosowski

6,076 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Public-Key Cryptography – PKC 2016

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

6,076 円

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

5,834 円

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

6,076 円

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

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

日本のストアです。

Declarative Programming and Knowledge Management

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Practical Aspects of Declarative Languages

Functional and Logic Programming

Functional and Constraint Logic Programming

関連書籍

Python Machine Learning

Information Modeling and Relational Databases

Introduction to Information Retrieval

Software Language Engineering

Mastering Text Mining with R

Markov Logic

Practical Foundations for Programming Languages

Tractability

Machine Learning Algorithms

Bridging Constraint Satisfaction and Boolean Satisfiability

Principles of Data Mining

Trends in Functional Programming Volume 6

Systematic Program Design

Formal Development of a Network-Centric RTOS

Handbook of Process Algebra

Ontology Matching

Programming Languages and Systems

Trustworthy Global Computing

Trustworthy Global Computing

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Unifying Theories of Programming

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Theoretical Aspects of Computing – ICTAC 2016

Applications of Declarative Programming and Knowledge Management

Verification, Model Checking, and Abstract Interpretation

Functional and Logic Programming

Logic for Programming, Artificial Intelligence, and Reasoning

Semantics, Logics, and Calculi

Theoretical Aspects of Computing - ICTAC 2015

Foundations of Information and Knowledge Systems

Automated Technology for Verification and Analysis

Interactive Theorem Proving

Practical Aspects of Declarative Languages

Specification of Software Systems

Formal Methods: Foundations and Applications

Theory and Practice of Formal Methods

Transactions on Aspect-Oriented Software Development XII

Model Checking Software

Public-Key Cryptography – PKC 2017

Number-Crunching

Integrated Formal Methods

A Primer on Scientific Programming with Python

Big Data Integration Theory

Verified Software: Theories, Tools, and Experiments

Applied Logic for Computer Scientists

Practical Aspects of Declarative Languages

Developments in Language Theory

Provably Correct Systems

Tests and Proofs

Descriptional Complexity of Formal Systems

Theory and Applications of Satisfiability Testing – SAT 2016

Business Process Management

Tools and Algorithms for the Construction and Analysis of Systems

Descriptional Complexity of Formal Systems

Mathematics of Program Construction

Verification, Model Checking, and Abstract Interpretation

Parallel Processing and Applied Mathematics

Inductive Logic Programming

Computer Aided Verification

Computer Algebra in Scientific Computing

Constraint Theory

Formal Methods and Software Engineering

An Introduction to Data Analysis using Aggregation Functions in R

Theory of Cryptography

Recent Trends in Algebraic Development Techniques

Parallel Processing and Applied Mathematics