Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Alessandro Abate,Sylvie Boldo

Springer Nature Proceedings Computer Science

電子書籍を購入

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

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

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

ストアを選ぶ

購入する

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319635019
発売日　2017年7月11日
出版社：Springer International Publishing

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

シリーズの内容

Quantitative Evaluation of Systems

Alessandro Abate,Andrea Marin

Hybrid Systems Biology

Alessandro Abate,David Safranek

Computational Methods in Systems Biology

Alessandro Abate,Tatjana Petrov,Verena Wolf

Formal Modeling and Analysis of Timed Systems

Alessandro Abate,Gilles Geeraerts

関連書籍

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

6,076 円

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

6,076 円

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

6,076 円

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

12,154 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Learning and Intelligent Optimization

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

6,076 円

Multi-Agent Systems and Agreement Technologies

Michael Rovatsos, George Vouros, Vicente Julian

6,076 円

Parallel Computational Technologies

Mikhail Zymbler, Leonid Sokolinsky

6,076 円

Computational Methods in Systems Biology

Jérôme Feret, Heinz Koeppl

6,076 円

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

6,076 円

Learning and Intelligent Optimization

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

6,076 円

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

6,076 円

Cellular Automata and Discrete Complex Systems

Matthew Cook, Turlough Neary

6,076 円

Intelligent Computer Mathematics

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

6,076 円

Recent Trends in Algebraic Development Techniques

Phillip James, Markus Roggenbach

6,076 円

Multi-Agent Systems and Agreement Technologies

Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada

6,076 円

Intelligent Computer Mathematics

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

5,105 円

Emotion Modeling

Tibor Bosse, Joost Broekens, João Dias, Janneke van der Zwaan

6,076 円

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

6,076 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

6,076 円

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

6,076 円

Supercomputing

Vladimir Voevodin, Sergey Sobolev

6,076 円

Cellular Automata and Discrete Complex Systems

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

6,076 円

Guide to Scientific Computing in C++

Joe Pitt-Francis, Jonathan Whiteley

4,248 円

Multi-Agent Systems

Nils Bulling

6,076 円

Computer Algebra in Scientific Computing

Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov

6,076 円

Latent Variable Analysis and Signal Separation

Emmanuel Vincent, Arie Yeredor, Petr Tichavský, Zbyněk Koldovský

6,076 円

Formal Aspects of Component Software

José Proença, Markus Lumpe

6,076 円

Adaptive Resource Management and Scheduling for Cloud Computing

Maria Potop-Butucaru, Florin Pop

4,862 円

Computer Performance Engineering

Philipp Reinecke, Antinisca Di Marco

6,076 円

High Performance Computing for Computational Science -- VECPAR 2014

Kengo Nakajima, Osni Marques, Michel Daydé

6,076 円

Automated Deduction – CADE 26

Leonardo de Moura

9,723 円

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

6,076 円

Business Process Management

Josep Carmona, Gregor Engels, Akhil Kumar

6,076 円

Advances in Swarm Intelligence

Ying Tan, Yuhui Shi, Ben Niu

6,076 円

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

6,076 円

Recent Trends in Computational Engineering - CE2014

Miriam Mehl, Manfred Bischoff, Michael Schäfer

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

6,076 円

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

6,076 円

Advances in Swarm Intelligence

Ying Tan, Hideyuki Takagi, Yuhui Shi

6,076 円

Large-Scale Scientific Computing

Jerzy Waśniewski, Ivan Lirkov, Svetozar Margenov

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Static Analysis

Xavier Rival

6,076 円

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

6,076 円

Advanced Computing

Hans-Joachim Bungartz, Michael Bader, Tobias Weinzierl

12,154 円

Analytical and Computational Methods in Probability Theory

Vladimir V. Rykov, Nozer D. Singpurwalla, Andrey M. Zubkov

6,076 円

その他の著書

Computer Arithmetic and Formal Proofs

Guillaume Melquiond, Sylvie Boldo

15,861 円

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

6,076 円

Computational Methods in Systems Biology

Alessandro Abate, Tatjana Petrov, Verena Wolf

6,076 円

Hybrid Systems Biology

Alessandro Abate, David Safranek

5,834 円

Quantitative Evaluation of Systems

Alessandro Abate, Andrea Marin

10,938 円

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

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

日本のストアです。

Numerical Software Verification

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Quantitative Evaluation of Systems

Hybrid Systems Biology

Computational Methods in Systems Biology

Formal Modeling and Analysis of Timed Systems

関連書籍

ModelEd, TestEd, TrustEd

Interactive Theorem Proving

Logic and Its Applications

Using Event-B for Critical Device Software Systems

Leveraging Applications of Formal Methods, Verification, and Validation

Learning and Intelligent Optimization

Multi-Agent Systems and Agreement Technologies

Parallel Computational Technologies

Computational Methods in Systems Biology

Dependable Software Engineering: Theories, Tools, and Applications

Learning and Intelligent Optimization

Learning and Intelligent Optimization

Cellular Automata and Discrete Complex Systems

Intelligent Computer Mathematics

Recent Trends in Algebraic Development Techniques

Multi-Agent Systems and Agreement Technologies

Intelligent Computer Mathematics

Emotion Modeling

Dependable Software Engineering. Theories, Tools, and Applications

Tests and Proofs

Formal Methods: Foundations and Applications

Application and Theory of Petri Nets and Concurrency

Supercomputing

Cellular Automata and Discrete Complex Systems

Guide to Scientific Computing in C++

Multi-Agent Systems

Computer Algebra in Scientific Computing

Latent Variable Analysis and Signal Separation

Formal Aspects of Component Software

Adaptive Resource Management and Scheduling for Cloud Computing

Computer Performance Engineering

High Performance Computing for Computational Science -- VECPAR 2014

Automated Deduction – CADE 26

Quantitative Evaluation of Systems

Business Process Management

Advances in Swarm Intelligence

Model-Based Safety and Assessment

Recent Trends in Computational Engineering - CE2014

Tools and Algorithms for the Construction and Analysis of Systems

Semantics, Logics, and Calculi

Unconventional Computation and Natural Computation

Advances in Swarm Intelligence

Large-Scale Scientific Computing

Formal Methods and Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Static Analysis

Implementation and Application of Automata

Advanced Computing

Analytical and Computational Methods in Probability Theory

その他の著書

Computer Arithmetic and Formal Proofs

Formal Modeling and Analysis of Timed Systems

Computational Methods in Systems Biology

Hybrid Systems Biology

Quantitative Evaluation of Systems

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

電子書籍

楽天Koboで読む理由

関連書籍

ModelEd, TestEd, TrustEd

Interactive Theorem Proving

Logic and Its Applications

Using Event-B for Critical Device Software Systems

Leveraging Applications of Formal Methods, Verification, and Validation

Learning and Intelligent Optimization

Multi-Agent Systems and Agreement Technologies

Parallel Computational Technologies