Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

ebook,ebook,ebook

Bor-Yuh Evan Chang

Springer Nature Proceedings Computer Science

購買電子書

Ahorra 10 %Precio de venta: $1,010.00 MXN.$909.00MXN

Estás en la librería de México

¿No estás en México? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora Regala un libro

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319712376
Fecha de lanzamiento:21 nov 2017
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:10.27 MB
Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Static Analysis

Bor-Yuh Evan Chang

Lecturas relacionadas

Introduction to Information Retrieval

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

$1,125.00

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$1,462.00

Markov Logic

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

$592.00

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

$1,124.00

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$2,517.00

Machine Learning Algorithms

Giuseppe Bonaccorso

$857.00

o Gratis con Kobo Plus

Programming Languages and Systems

Atsushi Igarashi

$909.00

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$909.00

Programming Languages and Systems

Peter Thiemann

$968.00

Static Analysis

Xavier Rival

$909.00

Functional and Logic Programming

Andy King, Oleg Kiselyov

$854.00

Programming Languages and Systems

Hongseok Yang

$1,636.00

Static Analysis

Sandrine Blazy, Thomas Jensen

$909.00

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$909.00

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$909.00

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$909.00

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$727.00

Static Analysis

Francesco Ranzato

$909.00

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$909.00

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$909.00

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$1,636.00

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$909.00

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

$909.00

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$909.00

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou, Daniel Kroening

$854.00

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$854.00

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$909.00

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$909.00

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$727.00

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$909.00

The Semantic Web – ISWC 2016

Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil

$909.00

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$909.00

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$909.00

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$1,636.00

Practical Aspects of Declarative Languages

Yuliya Lierler, Walid Taha

$909.00

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$909.00

Public-Key Cryptography – PKC 2016

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

$909.00

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$909.00

Public-Key Cryptography – PKC 2017

Serge Fehr

$909.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

$909.00

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

$909.00

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$1,636.00

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

$909.00

Provably Correct Systems

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

$1,636.00

Raspberry Pi I/O Programming Using Python

Agus Kurniawan

$59.00

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

$909.00

Getting Started with Arduino and Python

Agus Kurniawan

$67.00

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$1,636.00

Mobile Design and Development

Brian Fling

$269.00

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$909.00

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$1,636.00

Getting Started with Intel IoT and Intel Galileo

Agus Kurniawan

$38.00

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$1,636.00

BeagleBone Cookbook

Jason Kridner, Mark A. Yoder

$413.00

Better, Faster, Lighter Java

Justin Gehtland, Bruce Tate

$269.00

Theory of Cryptography

Yael Kalai, Leonid Reyzin

$909.00

Theory of Cryptography

Martin Hirt, Adam Smith

$909.00

Modeling in Event-B

Jean-Raymond Abrial

$2,517.00

Requirements Engineering and Management for Software Development Projects

Murali Chemuturi

$909.00

Rewriting Logic and Its Applications

Dorel Lucanu

$909.00

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$909.00

MicroPython for the Internet of Things

Charles Bell

$1,070.00

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$909.00

Cryptography and Coding

Jens Groth

$909.00

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$909.00

Raspberry Pi Image Processing Programming

Ashwin Pajankar

$595.00

OpenMP: Heterogenous Execution and Data Movements

Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller

$854.00

Runtime Verification

Yliès Falcone, César Sánchez

$909.00

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

$909.00

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$1,636.00

Modelling Foundations and Applications

Anthony Anjorin, Huáscar Espinoza

$909.00

SOFSEM 2016: Theory and Practice of Computer Science

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

$909.00

Mastering Scale and Complexity in Software Reuse

Goetz Botterweck, Claudia Werner

$909.00

Information Security and Cryptology

Dongdai Lin, XiaoFeng Wang, Moti Yung

$909.00

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

$1,036.00

Euro-Par 2015: Parallel Processing

Jesper Larsson Träff, Sascha Hunold, Francesco Versaci

$909.00

Graph Transformation

Juan de Lara, Detlef Plump

$909.00

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$909.00

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

$909.00

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$909.00

Parallel Programming

Thomas Rauber, Gudula Rünger

$1,182.00

Understanding Control Flow

Peter A. Buhr

$909.00

Reasoning Web. Semantic Interoperability on the Web

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab

$909.00

Software Engineering for Resilient Systems

Alexander Romanovsky, Elena A. Troubitsyna

$909.00

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$1,636.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib

$909.00

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

$909.00

HPC@Green IT

Ralf Gruber, Erich Strohmaier, Vincent Keller

$909.00

Learn Electronics with Raspberry Pi

Stewart Watkiss

$968.00

Spatio-Temporal Data Streams

Zdravko Galić

$909.00

Foundational and Practical Aspects of Resource Analysis

Ugo Dal Lago, Ricardo Peña

$727.00

Information Security and Cryptology

Dongdai Lin, Shouhuai Xu, Moti Yung

$909.00

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de México.

Programming Languages and Systems

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

En esta serie

Static Analysis

Lecturas relacionadas

Introduction to Information Retrieval

The Functional Approach to Programming

Markov Logic

Readings in Artificial Intelligence and Software Engineering

Tractability

Machine Learning Algorithms

Programming Languages and Systems

Programming Languages and Systems

Programming Languages and Systems

Static Analysis

Functional and Logic Programming

Programming Languages and Systems

Static Analysis

Logic-Based Program Synthesis and Transformation

Perspectives of System Informatics

Verification, Model Checking, and Abstract Interpretation

Trustworthy Global Computing

Static Analysis

Trustworthy Global Computing

Specification of Software Systems

Advances in Cryptology – CRYPTO 2017

Interactive Theorem Proving

Logic-Based Program Synthesis and Transformation

Advances in Cryptology – CRYPTO 2016

Verified Software: Theories, Tools and Experiments

Declarative Programming and Knowledge Management

Theoretical Aspects of Computing – ICTAC 2017

Formal Methods and Software Engineering

Practical Aspects of Declarative Languages

Formal Methods and Software Engineering

The Semantic Web – ISWC 2016

Tools and Algorithms for the Construction and Analysis of Systems

Topics in Cryptology - CT-RSA 2016

Theory of Cryptography

Practical Aspects of Declarative Languages

Logic-Based Program Synthesis and Transformation

Public-Key Cryptography – PKC 2016

Advances in Cryptology – ASIACRYPT 2015

Public-Key Cryptography – PKC 2017

Advances in Cryptology – EUROCRYPT 2017

Theoretical Aspects of Computing – ICTAC 2016

Logic Programming and Nonmonotonic Reasoning

Meta-Programming and Model-Driven Meta-Program Development

Inductive Logic Programming

Provably Correct Systems

Raspberry Pi I/O Programming Using Python

Advances in Cryptology -- CRYPTO 2012

Getting Started with Arduino and Python

Advances in Cryptology – ASIACRYPT 2016

Mobile Design and Development

Theoretical Aspects of Computing - ICTAC 2015

Advances in Cryptology – EUROCRYPT 2016

Getting Started with Intel IoT and Intel Galileo

Advances in Cryptology – ASIACRYPT 2016

BeagleBone Cookbook

Better, Faster, Lighter Java

Theory of Cryptography

Theory of Cryptography

Modeling in Event-B

Requirements Engineering and Management for Software Development Projects

Rewriting Logic and Its Applications

Unifying Theories of Programming

MicroPython for the Internet of Things

Verified Software. Theories, Tools, and Experiments

Cryptography and Coding

Automated Technology for Verification and Analysis

Raspberry Pi Image Processing Programming

OpenMP: Heterogenous Execution and Data Movements

Runtime Verification

Interactive Theorem Proving