Reversible Computation

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

電子書籍,電子書籍

Simon Devitt,Ivan Lanese

Springer Nature Proceedings Computer Science

電子書籍を購入

15 % 引き販売価格　7,149 円6,076 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319405780
発売日　2016年7月3日
出版社：Springer International Publishing

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

関連書籍

Computational Complexity

Sanjeev Arora, Boaz Barak

10,911 円

Art of Computer Programming, The

Donald Knuth

11,012 円

Parallel Scientific Computing in C++ and MPI

George Em Karniadakis, Robert M. Kirby II

14,867 円

Linear Programming and Network Flows

Mokhtar S. Bazaraa, John J. Jarvis, Hanif D. Sherali

21,154 円

Algebraic Geometry Modeling In Information Theory

Edgar Martinez-moro

4,718 円

Scientific Programming: C-language, Algorithms And Models In Science

Enzo Marinari, Luciano Maria Barone, Giovanni Organtini, Federico Ricci-tersenghi

6,768 円

Facets of Combinatorial Optimization

Michael Jünger, Gerhard Reinelt

12,154 円

Kernel-based Approximation Methods Using Matlab

Gregory E Fasshauer, Michael J Mccourt

3,487 円

Paradigms of Combinatorial Optimization

Vangelis Th. Paschos

52,111 円

Computation, Cryptography, and Network Security

Nicholas J. Daras, Michael Th. Rassias

12,154 円

Object Detection and Recognition in Digital Images

Boguslaw Cyganek

19,643 円

Handbook of Blind Source Separation

Pierre Comon, Christian Jutten

17,447 円

Graphs, Networks and Algorithms

Dieter Jungnickel

7,900 円

The Design of Approximation Algorithms

David P. Williamson, David B. Shmoys

11,593 円

Trends in PDE Constrained Optimization

Günter Leugering, Peter Benner, Sebastian Engell, Andreas Griewank, Helmut Harbrecht, Michael Hinze, Rolf Rannacher, Stefan Ulbrich

15,800 円

Graphical Models with R

Steffen Lauritzen, David Edwards, Søren Højsgaard

9,723 円

Algorithms for Sparsity-Constrained Optimization

Sohail Bahmani

18,231 円

Numerical Methods

George Lindfield, John Penny

10,040 円

Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications

Oleg P. Iliev, Svetozar D. Margenov, Peter D Minev, Panayot S. Vassilevski, Ludmil T Zikatanov

18,231 円

Randomized Algorithms

Rajeev Motwani, Prabhakar Raghavan

14,185 円

Applied and Computational Control, Signals, and Circuits

Biswa Nath Datta

12,154 円

Numerical Analysis and Optimization

Mehiddin Al-Baali, Lucio Grandinetti, Anton Purnama

12,154 円

Low Rank Approximation

Ivan Markovsky

13,630 円

Handbook on Semidefinite, Conic and Polynomial Optimization

Miguel F. Anjos, Jean B. Lasserre

30,386 円

Mathematical Aspects of Computer and Information Sciences

Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap

6,076 円

Integer Programming and Combinatorial Optimization

Quentin Louveaux, Martin Skutella

6,076 円

Advances in Network Complexity

Abbe Mowshowitz, Frank Emmert-Streib, Matthias Dehmer

16,234 円

Multiple Shooting and Time Domain Decomposition Methods

Thomas Carraro, Michael Geiger, Stefan Körkel, Rolf Rannacher

12,154 円

Academic Press Library in Signal Processing

Sergios Theodoridis, Rama Chellappa, Patrick A. Naylor, Johan Suykens, Paulo S.R. Diniz

31,192 円

Domain Decomposition Methods in Science and Engineering XXII

Thomas Dickopf, Martin J. Gander, Laurence Halpern, Rolf Krause, Luca F. Pavarino

18,231 円

Algorithms and Computation

Khaled Elbassioni, Kazuhisa Makino

10,696 円

Matrix Functions And Matrix Equations

Zhaojun Bai, Weiguo Gao, Yangfeng Su

3,693 円

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

5,834 円

Mathematical Foundations of Computer Science 2015

Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella

6,076 円

Recent Advances in Algorithmic Differentiation

Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther

12,154 円

A Unified Algebraic Approach To Control Design

Dimitri E. Grigoriadis

13,297 円

Stream Ciphers

Andreas Klein

9,116 円

Intelligent Big Multimedia Databases

Andreas Miroslaus Wichert

5,641 円

Efficient Algorithms for Global Optimization Methods in Computer Vision

Xue-Cheng Tai, Andrés Bruhn, Thomas Pock

4,862 円

Optimization in Science and Engineering

Christodoulos A. Floudas, Sergiy Butenko, Themistocles M. Rassias

12,154 円

Introduction to Time-Delay Systems

Emilia Fridman

14,585 円

Numerical Linear Algebra in Signals, Systems and Control

Paul Van Dooren, Shankar P. Bhattacharyya, Raymond H. Chan, Vadim Olshevsky, Aurobinda Routray

18,231 円

Cryptography and Coding

Jens Groth

6,076 円

Linear Parameter-Varying and Time-Delay Systems

Corentin Briat

12,154 円

Transactions on Computational Science XXIV

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

6,076 円

Nonlinear Systems and Optimization for the Chemical Engineer

Guido Buzzi-Ferraris, Flavio Manenti

18,832 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Computer Science – Theory and Applications

Pascal Weil

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Reconstruction and Analysis of 3D Scenes

Martin Weinmann

20,662 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Domain Decomposition Methods in Science and Engineering XXI

Jocelyne Erhel, Martin J. Gander, Laurence Halpern, Taoufik Sassi, Géraldine Pichot, Olof Widlund

24,309 円

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

Tiziana Margaria, Bernhard Steffen

6,076 円

Concepts of Combinatorial Optimization, Volume 1

Vangelis Th. Paschos

26,462 円

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

6,076 円

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

6,076 円

Advances in Unconventional Computing

Andrew Adamatzky

24,309 円

Language and Automata Theory and Applications

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

6,076 円

Excursions in Harmonic Analysis, Volume 4

Radu Balan, Matthew Begué, John J. Benedetto, Wojciech Czaja, Kasso A. Okoudjou

6,076 円

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

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

6,076 円

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

6,076 円

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Operations Research and Cyber-Infrastructure

John W. Chinneck, Bjarni Kristjansson, Matthew J. Saltzman

24,309 円

Scientific Computing, Computer Arithmetic, and Validated Numerics

Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker

6,076 円

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

6,076 円

Digital Geometry Algorithms

Reneta P. Barneva, Valentin E. Brimkov

12,154 円

Learning and Intelligent Optimization

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

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

Mathematical Control Theory I

M. Kanat Camlibel, A. Agung Julius, Ramkrishna Pasumarthy, Jacquelien M.A. Scherpen

12,154 円

Similarity-Based Pattern Recognition

Aasa Feragen, Marcello Pelillo, Marco Loog

5,834 円

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

6,076 円

An Introduction to Optimization

Edwin K. P. Chong, Stanislaw H. Zak

15,704 円

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

6,076 円

Compressed Sensing & Sparse Filtering

Avishy Y. Carmi, Simon J. Godsill, Lyudmila Mihaylova

18,231 円

Reachability Problems

Matthew Hague, Igor Potapov

6,076 円

System Modeling and Optimization

Christian Pötzsche, Clemens Heuberger, Barbara Kaltenbacher, Franz Rendl

6,076 円

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

6,076 円

Spectral Clustering and Biclustering

Marianna Bolla

12,020 円

Search Based Software Engineering

Federica Sarro, Kalyanmoy Deb

6,076 円

Mixed-Integer Representations in Control Design

Silviu-Iulian Niculescu, Florin Stoican, Sorin Olaru, Ionela Prodan

6,076 円

Finite Difference Methods,Theory and Applications

Ivan Dimov, István Faragó, Lubin Vulkov

6,076 円

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

6,076 円

Cellular Automata and Discrete Complex Systems

Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo

6,076 円

LATIN 2016: Theoretical Informatics

Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez

6,076 円

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

6,076 円

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

6,076 円

Numerical Methods and Optimization

Éric Walter

18,231 円

Hybrid Systems, Optimal Control and Hybrid Vehicles

Thomas J. Böhme, Benjamin Frank

15,800 円

Search-Based Software Engineering

Yvan Labiche, Márcio Barros

6,076 円

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

6,076 円

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

6,076 円

その他の著書

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

6,076 円

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

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

日本のストアです。

Reversible Computation

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Computational Complexity

Art of Computer Programming, The

Parallel Scientific Computing in C++ and MPI

Linear Programming and Network Flows

Algebraic Geometry Modeling In Information Theory

Scientific Programming: C-language, Algorithms And Models In Science

Facets of Combinatorial Optimization

Kernel-based Approximation Methods Using Matlab

Paradigms of Combinatorial Optimization

Computation, Cryptography, and Network Security

Object Detection and Recognition in Digital Images

Handbook of Blind Source Separation

Graphs, Networks and Algorithms

The Design of Approximation Algorithms

Trends in PDE Constrained Optimization

Graphical Models with R

Algorithms for Sparsity-Constrained Optimization

Numerical Methods

Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications

Randomized Algorithms

Applied and Computational Control, Signals, and Circuits

Numerical Analysis and Optimization

Low Rank Approximation

Handbook on Semidefinite, Conic and Polynomial Optimization

Mathematical Aspects of Computer and Information Sciences

Integer Programming and Combinatorial Optimization

Advances in Network Complexity

Multiple Shooting and Time Domain Decomposition Methods

Academic Press Library in Signal Processing

Domain Decomposition Methods in Science and Engineering XXII

Algorithms and Computation

Matrix Functions And Matrix Equations

Machines, Computations, and Universality

Mathematical Foundations of Computer Science 2015

Recent Advances in Algorithmic Differentiation

A Unified Algebraic Approach To Control Design

Stream Ciphers

Intelligent Big Multimedia Databases

Efficient Algorithms for Global Optimization Methods in Computer Vision

Optimization in Science and Engineering

Introduction to Time-Delay Systems

Numerical Linear Algebra in Signals, Systems and Control

Cryptography and Coding

Linear Parameter-Varying and Time-Delay Systems

Transactions on Computational Science XXIV

Nonlinear Systems and Optimization for the Chemical Engineer

Tools and Algorithms for the Construction and Analysis of Systems

Topics in Theoretical Computer Science

Computer Science – Theory and Applications

Tools and Algorithms for the Construction and Analysis of Systems

Reconstruction and Analysis of 3D Scenes

Developments in Language Theory

Domain Decomposition Methods in Science and Engineering XXI

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

Concepts of Combinatorial Optimization, Volume 1

Progress in Cryptology - AFRICACRYPT 2017

Selected Areas in Cryptography -- SAC 2014

Advances in Unconventional Computing

Language and Automata Theory and Applications

Excursions in Harmonic Analysis, Volume 4

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

Descriptional Complexity of Formal Systems

Unconventional Computation and Natural Computation

Descriptional Complexity of Formal Systems

Operations Research and Cyber-Infrastructure

Scientific Computing, Computer Arithmetic, and Validated Numerics

FM 2016: Formal Methods

Digital Geometry Algorithms

Learning and Intelligent Optimization

Unifying Theories of Programming

Mathematical Control Theory I

Similarity-Based Pattern Recognition