Programming Languages and Systems

13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Xinyu Feng,Sungwoo Park

Springer Nature Proceedings Computer Science

Comprar el eBook

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:9783319265292
Fecha de lanzamiento:9 dic 2015
Editorial:Springer International Publishing

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

En esta serie

Dependable Software Engineering. Theories, Tools, and Applications

Xinyu Feng,Markus Müller-Olm,Zijiang Yang

Lecturas relacionadas

Elements of Programming

Paul McJones, Alexander Stepanov

$586.00

Introduction to Information Retrieval

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

$1,125.00

Software Language Engineering

Anneke Kleppe

$459.00

Introduction to Compiler Design

Torben Ægidius Mogensen

$600.00

Why Programs Fail

Andreas Zeller

$765.00

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$1,462.00

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

$1,124.00

Markov Logic

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

$592.00

Systematic Program Design

Yanhong Annie Liu

$816.00

Model Driven Engineering and Ontology Development

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

$1,636.00

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$2,517.00

Big Data Integration Theory

Zoran Majkić

$909.00

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

$1,012.00

Trends in Functional Programming Volume 6

Marko Van Eekelen

$814.00

Practical Foundations for Programming Languages

Robert Harper

$1,308.00

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

$909.00

Machine Learning Algorithms

Giuseppe Bonaccorso

$857.00

o Gratis con Kobo Plus

Programming Languages and Systems

Peter Thiemann

$968.00

Programming Languages and Systems

Hongseok Yang

$1,636.00

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$727.00

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$909.00

Functional and Logic Programming

Andy King, Oleg Kiselyov

$854.00

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$854.00

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

$909.00

Public-Key Cryptography – PKC 2016

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

$909.00

Static Analysis

Sandrine Blazy, Thomas Jensen

$909.00

Public-Key Cryptography – PKC 2017

Serge Fehr

$909.00

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$1,636.00

Public-Key Cryptography – PKC 2016

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

$909.00

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$909.00

Provable Security

Man-Ho Au, Atsuko Miyaji

$968.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$909.00

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$909.00

Transactions on Aspect-Oriented Software Development XII

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

$909.00

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$909.00

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

$727.00

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

$909.00

Software Verification and Analysis

Janusz Laski, William Stanley

$909.00

Beginning Julia Programming

Sandeep Nagar

$1,359.00

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

$909.00

Practical Signcryption

Alexander W. Dent, Yuliang Zheng, Moti Yung

$1,636.00

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

$1,258.00

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

$909.00

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$1,636.00

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

$1,036.00

Rewriting Logic and Its Applications

Dorel Lucanu

$909.00

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$909.00

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

$909.00

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$909.00

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

$1,636.00

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$909.00

Programming Languages

Fernando Castor, Yu David Liu

$909.00

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

$1,454.00

Small Dynamic Complexity Classes

Thomas Zeume

$909.00

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

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

$909.00

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$727.00

Applications of Declarative Programming and Knowledge Management

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

$909.00

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

$909.00

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

$909.00

Transactions on Petri Nets and Other Models of Concurrency X

Maciej Koutny, Jörg Desel, Serge Haddad

$909.00

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$909.00

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

$909.00

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

$909.00

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$909.00

Introduction to Scilab

Sandeep Nagar

$799.00

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

$909.00

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$909.00

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

$774.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

$909.00

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$909.00

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

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

$909.00

Theory and Practice of Formal Methods

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

$909.00

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An

$909.00

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

$2,545.00

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$909.00

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

$909.00

Static Analysis

Francesco Ranzato

$909.00

Principles of Security and Trust

Frank Piessens, Luca Viganò

$909.00

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$909.00

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$909.00

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

$909.00

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

$1,454.00

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

$909.00

Programming Languages and Operational Semantics

Maribel Fernández

$727.00

Intelligent Computer Mathematics

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

$909.00

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

$1,636.00

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

$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

Dependable Software Engineering. Theories, Tools, and Applications

Lecturas relacionadas

Elements of Programming

Introduction to Information Retrieval

Software Language Engineering

Introduction to Compiler Design

Why Programs Fail

The Functional Approach to Programming

Readings in Artificial Intelligence and Software Engineering

Markov Logic

Systematic Program Design

Model Driven Engineering and Ontology Development

Tractability

Big Data Integration Theory

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Trends in Functional Programming Volume 6

Practical Foundations for Programming Languages

Bridging Constraint Satisfaction and Boolean Satisfiability

Machine Learning Algorithms

Programming Languages and Systems

Programming Languages and Systems

Trustworthy Global Computing

Trustworthy Global Computing

Functional and Logic Programming

Declarative Programming and Knowledge Management

Logic-Based Program Synthesis and Transformation

Public-Key Cryptography – PKC 2016

Static Analysis

Public-Key Cryptography – PKC 2017

Theory of Cryptography

Public-Key Cryptography – PKC 2016

Verification, Model Checking, and Abstract Interpretation

Provable Security

Advances in Cryptology – EUROCRYPT 2017

Logic-Based Program Synthesis and Transformation

Topics in Cryptology - CT-RSA 2016

Transactions on Aspect-Oriented Software Development XII

Specification of Software Systems

Practical Aspects of Declarative Languages

Theoretical Aspects of Computing – ICTAC 2016

Software Verification and Analysis

Beginning Julia Programming

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

Practical Signcryption

NASA Formal Methods

Formal Aspects of Component Software

Advances in Cryptology -- ASIACRYPT 2015

Compiler Design

Rewriting Logic and Its Applications

Theory of Cryptography

Hardware and Software: Verification and Testing

Interactive Theorem Proving

Schema Matching and Mapping

Advances in Cryptology – ASIACRYPT 2015

Programming Languages

Integrated Formal Methods

Small Dynamic Complexity Classes

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

Practical Aspects of Declarative Languages

Applications of Declarative Programming and Knowledge Management

Formal Modeling and Analysis of Timed Systems

Structured Object-Oriented Formal Language and Method

Transactions on Petri Nets and Other Models of Concurrency X

Formal Methods and Software Engineering

Interactive Theorem Proving

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Unifying Theories of Programming

Introduction to Scilab

Logic for Programming, Artificial Intelligence, and Reasoning

Automated Technology for Verification and Analysis

Formal Methods: Foundations and Applications

Advances in Cryptology – EUROCRYPT 2017