Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

ebook,ebook

Simon Devitt,Ivan Lanese

Springer Nature Proceedings Computer Science

Comprar el eBook

ebook,ebook

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

Estás en la librería de Chile

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

Elige tu librería

Comprar ahora

¿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:9783319405780
Fecha de lanzamiento:3 jul 2016
Editorial:Springer International Publishing

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

Lecturas relacionadas

Transactions on Computational Science XXIV

Marina L. Gavrilova, Himanshu Thapliyal, Nagarajan Ranganathan, C.J. Kenneth Tan

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

$56.180

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

$56.180

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

$56.180

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

$56.180

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

$56.180

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

$56.180

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

Tiziana Margaria, Bernhard Steffen

$101.133

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

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

$56.180

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

$56.180

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

$56.180

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Learning and Intelligent Optimization

Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion

$56.180

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$56.180

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

$56.180

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

$56.180

Reachability Problems

Matthew Hague, Igor Potapov

$56.180

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

$56.180

Search Based Software Engineering

Federica Sarro, Kalyanmoy Deb

$56.180

Finite Difference Methods,Theory and Applications

Ivan Dimov, István Faragó, Lubin Vulkov

$56.180

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

$52.809

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

$56.180

Search-Based Software Engineering

Yvan Labiche, Márcio Barros

$56.180

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

$56.180

Fundamentals of Computation Theory

Ralf Klasing, Marc Zeitoun

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Foundational and Practical Aspects of Resource Analysis

Ugo Dal Lago, Ricardo Peña

$44.943

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

$56.180

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Learning and Intelligent Optimization

Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev

$56.180

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

$56.180

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

$56.180

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

$56.180

Computability and Complexity

Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond

$56.180

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$56.180

Algorithms for Sensor Systems

Marek Chrobak, Antonio Fernández Anta, Leszek Gąsieniec, Ralf Klasing

$56.180

Computational Autism

Boris Galitsky

$101.133

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

$56.180

Algorithms and Architectures for Parallel Processing

Jesus Carretero, Javier Garcia-Blas, Peter Mueller, Koji Nakano, Ryan K.L. Ko

$56.180

Genetic Programming

Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim

$56.180

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

$56.180

Learning and Intelligent Optimization

Mauricio G.C. Resende, Chrysafis Vogiatzis, Jose L. Walteros, Panos M. Pardalos

$56.180

Understanding Control Flow

Peter A. Buhr

$56.180

Parallel Problem Solving from Nature – PPSN XIV

Ben Paechter, Manuel López-Ibáñez, Peter R. Lewis, Emma Hart, Gabriela Ochoa, Julia Handl

$101.133

Artificial Evolution

Pierrick Legrand, Marc-Michel Corsini, Jin-Kao Hao, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer

$52.809

Cellular Automata and Discrete Complex Systems

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca

$56.180

Ver más por autor

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

$56.180