Programming Languages

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Alberto Pardo,S. Doaitse Swierstra

Springer Nature Proceedings Computer Science

電子書籍を購入

15 % 引き販売価格　5,720 円4,862 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

コンパイラ

この書籍について

言語　English
商品番号：9783319240121
発売日　2017年5月20日
出版社：Springer International Publishing

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

関連書籍

Learning scikit-learn: Machine Learning in Python

Raúl Garreta, Guillermo Moncecchi

2,042 円

Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway

17,321 円

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 円

CUDA Application Design and Development

Rob Farber

5,282 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

Trends in Functional Programming Volume 6

Marko Van Eekelen

6,268 円

Formal Development of a Network-Centric RTOS

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

13,369 円

Detection of Intrusions and Malware, and Vulnerability Assessment

Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez

6,076 円

Artificial Intelligence Programming

Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan

13,297 円

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

48,619 円

The New Relational Database Dictionary

C.J. Date

2,446 円

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

6,076 円

FORTRAN 90 for Scientists and Engineers

Brian H. Hahn

7,200 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Transactions on Aspect-Oriented Software Development XII

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

6,076 円

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

18,231 円

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

5,105 円

Trends in Functional Programming Volume 7

Henrik Nilsson

6,376 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Data Management and Query Processing in Semantic Web Databases

Sven Groppe

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Provenance and Annotation of Data and Processes

Bertram Ludäscher, Beth Plale

6,076 円

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

6,076 円

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

5,105 円

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

6,076 円

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 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

6,076 円

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

4,862 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

6,076 円

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Effective Objective-C 2.0

Matt Galloway

5,863 円

Semantic Web-based Intelligent Geospatial Web Services

Peng Yue

6,076 円

Advances in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos

6,076 円

Advanced Applications of Natural Language Processing for Performing Information Extraction

Mário Rodrigues, António Teixeira

6,076 円

Clojure for the Brave and True

Daniel Higginbotham

5,454 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

PHPUnit Pocket Guide

Sebastian Bergmann

722 円

Introduction to Open Core Protocol

W David Schwaderer

12,154 円

Computer Security -- ESORICS 2015

Günther Pernul, Peter Y A Ryan, Edgar Weippl

6,076 円

Xamarin Mobile Application Development

Dan Hermes

10,331 円

Interactive 3D Multimedia Content

Wojciech Cellary, Krzysztof Walczak

12,154 円

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

9,723 円

Pro TypeScript

Steve Fenton

4,127 円

The Python Workbook

Ben Stephenson

5,469 円

Hands-On Sencha Touch 2

Lee Boonstra

1,813 円

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

5,834 円

Better, Faster, Lighter Java

Justin Gehtland, Bruce Tate

2,534 円

Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation

Stanisław Kozielski, Dariusz Mrozek, Paweł Kasprowski, Bożena Małysiak-Mrozek, Daniel Kostrzewa

6,076 円

PHP 8 Objects, Patterns, and Practice

Matt Zandstra

7,292 円

Database and Expert Systems Applications

Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker

6,076 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Distributed Programming

A. Udaya Shankar

6,076 円

The Blender Python API

Chris Conlan

9,116 円

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

9,820 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Embedded Software Verification and Debugging

Djones Lettnin, Markus Winterholer

10,938 円

Research in Attacks, Intrusions, and Defenses

Herbert Bos, Fabian Monrose, Gregory Blanc

6,076 円

Information Security

Yvo Desmedt

6,076 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Interaction Flow Modeling Language

Piero Fraternali, Marco Brambilla

6,339 円

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

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

日本のストアです。

Programming Languages

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Learning scikit-learn: Machine Learning in Python

Lisp in Small Pieces

Introduction to Information Retrieval

Modern Compiler Implementation in Java

Software Language Engineering

CUDA Application Design and Development

Systematic Program Design

Trends in Functional Programming Volume 6

Formal Development of a Network-Centric RTOS

Detection of Intrusions and Malware, and Vulnerability Assessment

Artificial Intelligence Programming

Handbook of Big Data Technologies

The New Relational Database Dictionary

Bridging Constraint Satisfaction and Boolean Satisfiability

FORTRAN 90 for Scientists and Engineers

Practical Aspects of Declarative Languages

Transactions on Aspect-Oriented Software Development XII

Clustering and Information Retrieval

Practical Aspects of Declarative Languages

Trends in Functional Programming Volume 7

Functional and Logic Programming

Data Management and Query Processing in Semantic Web Databases

Trustworthy Global Computing

Trustworthy Global Computing

Provenance and Annotation of Data and Processes

Modelling Foundations and Applications

Trends in Functional Programming

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

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

Declarative Programming and Knowledge Management

Advances in Databases and Information Systems

Formal Methods: Foundations and Applications

Programming Languages and Systems

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

Fundamental Approaches to Software Engineering

Logic-Based Program Synthesis and Transformation

Effective Objective-C 2.0

Semantic Web-based Intelligent Geospatial Web Services

Advances in Databases and Information Systems

Advanced Applications of Natural Language Processing for Performing Information Extraction

Clojure for the Brave and True

Specification of Software Systems

Formal Methods and Software Engineering

PHPUnit Pocket Guide

Introduction to Open Core Protocol

Computer Security -- ESORICS 2015

Xamarin Mobile Application Development

Interactive 3D Multimedia Content

Integrated Formal Methods

Pro TypeScript

The Python Workbook

Hands-On Sencha Touch 2

Formal Methods for Multicore Programming

Better, Faster, Lighter Java

Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation

PHP 8 Objects, Patterns, and Practice

Database and Expert Systems Applications

Logic-Based Program Synthesis and Transformation

Distributed Programming

The Blender Python API

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Topics in Cryptology - CT-RSA 2016

Embedded Software Verification and Debugging

Research in Attacks, Intrusions, and Defenses

Information Security

Programming Languages and Systems

Interaction Flow Modeling Language

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

電子書籍

楽天Koboで読む理由

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

最新のブログ記事