Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Sergiy Bogomolov,Matthieu Martel,Pavithra Prabhakar

Springer Nature Proceedings Computer Science

電子書籍を購入

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319542928
発売日　2017年2月17日
出版社：Springer International Publishing

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

シリーズの内容

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov,David Parker

関連書籍

Fundamentals of Massive MIMO

Thomas L. Marzetta, Erik G. Larsson, Hong Yang, Hien Quoc Ngo

13,639 円

Pattern Recognition

Konstantinos Koutroumbas, Sergios Theodoridis

11,314 円

Linear Programming and Network Flows

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

21,154 円

Machine Learning in Complex Networks

Thiago Christiano Silva, Liang Zhao

13,369 円

Optimization in Engineering Sciences

Pierre Borne, Dumitru Popescu, Dan Stefanoiu, Florin Gheorghe Filip

23,377 円

Cyber Physical Systems. Design, Modeling, and Evaluation

Mohammad Reza Mousavi, Christian Berger

4,862 円

Metaheuristic Optimization for the Design of Automatic Control Laws

Guillaume Sandou

22,757 円

Computation, Cryptography, and Network Security

Nicholas J. Daras, Michael Th. Rassias

12,154 円

Data Analytics

Thomas A. Runkler

4,618 円

Applied Integer Programming

Der-San Chen, Robert G. Batson, Yu Dang

21,429 円

Gmdh-methodology And Implementation In Matlab

Godfrey C Onwubolu

4,410 円

Introduction to HPC with MPI for Data Science

Frank Nielsen

4,861 円

Facets of Combinatorial Optimization

Michael Jünger, Gerhard Reinelt

12,154 円

Nonlinear Model Predictive Control

Lars Grüne, Jürgen Pannek

19,447 円

Pattern Recognition and Machine Learning

Y. Anzai

15,000 円

Quantitative Evaluation of Systems

Gul Agha, Benny Van Houdt

6,076 円

Controllability, Identification, and Randomness in Distributed Systems

Marzieh Nabi-Abdolyousefi

12,154 円

Principles of Optimal Design

Panos Y. Papalambros, Douglass J. Wilde

12,957 円

Advances in Stochastic and Deterministic Global Optimization

Julius Žilinskas, Anatoly Zhigljavsky, Panos M. Pardalos

12,154 円

Information and Control in Networks

Giacomo Como, Bo Bernhardsson, Anders Rantzer

12,154 円

Optimal Time-Domain Noise Reduction Filters

Jacob Benesty, Jingdong Chen

6,076 円

Submodularity in Dynamics and Control of Networked Systems

Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran, John Baillieul

12,154 円

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

6,076 円

Uncertainty and Optimization in Structural Mechanics

Abdelkhalak El Hami, Bouchaib Radi

22,757 円

High-Performance Scientific Computing

Michael W. Berry, Kyle A. Gallivan, Efstratios Gallopoulos, Ananth Grama, Bernard Philippe, Yousef Saad, Faisal Saied

12,154 円

Constructive Side-Channel Analysis and Secure Design

Emmanuel Prouff

5,834 円

Communications in Interference Limited Networks

Wolfgang Utschick

18,231 円

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

6,076 円

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

6,076 円

Analytical and Stochastic Modelling Techniques and Applications

Sabine Wittevrongel, Tuan Phung-Duc

6,076 円

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

6,076 円

Physical and Data-Link Security Techniques for Future Communication Systems

Marco Baldi, Stefano Tomasin

18,231 円

Dynamics of Information Systems: Mathematical Foundations

Alexey Sorokin, Panos M. Pardalos, Robert Murphey, My T. Thai

12,154 円

Concepts of Combinatorial Optimization, Volume 1

Vangelis Th. Paschos

26,462 円

Speech Enhancement

Jacob Benesty, Jesper Rindom Jensen, Mads Graesboll Christensen, Jingdong Chen

6,868 円

Multidisciplinary Design Optimization in Computational Mechanics

Piotr Breitkopf, Rajan Filomeno Coelho

34,416 円

Wireless Communications

Keith Q. T. Zhang

16,559 円

Mathematical Problems in Data Science

Li M. Chen, Zhixun Su, Bo Jiang

14,585 円

Applied and Computational Control, Signals, and Circuits

Biswa Nath Datta

12,154 円

Compressive Sensing for Wireless Networks

Zhu Han, Husheng Li, Wotao Yin

16,367 円

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

6,076 円

Probabilistic Search for Tracking Targets

Irad Ben-Gal, Eugene Kagan

17,200 円

Numerical Methods and Optimization

Éric Walter

18,231 円

Computer-hardware Evaluation Of Mathematical Functions

Amos R Omondi

6,564 円

Distributed Computer and Communication Networks

Vladimir Vishnevsky, Dmitry Kozyrev

6,076 円

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

6,076 円

Networks of Dissipative Systems

Andrew Packard, Chris Meissen, Murat Arcak

6,076 円

Software Technologies: Applications and Foundations

Manuel Wimmer, Dániel Varró, Paolo Milazzo

6,076 円

Similarity-Based Pattern Recognition

Aasa Feragen, Marcello Pelillo, Marco Loog

5,834 円

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

6,076 円

Nonlinear Model Predictive Control

Lars Grüne, Jürgen Pannek

14,585 円

Models of Strategic Reasoning

Johan van Benthem, Sujata Ghosh, Rineke Verbrugge

6,076 円

Innovative Issues in Intelligent Systems

Vassil Sgurev, Ronald R. Yager, Janusz Kacprzyk, Vladimir Jotsov

12,154 円

Graph Structures for Knowledge Representation and Reasoning

Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton

6,076 円

Algorithms and Models for Network Data and Link Analysis

François Fouss, Marco Saerens, Masashi Shimbo

16,640 円

Information Security

Yvo Desmedt

6,076 円

Machine Learning and Knowledge Discovery in Databases

Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken

12,154 円

Delays and Networked Control Systems

Alexandre Seuret, Laurentiu Hetel, Jamal Daafouz, Karl H. Johansson

12,154 円

Implementation and Application of Automata

Arnaud Carayol, Cyril Nicaud

6,076 円

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

6,076 円

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Anne Remke, Boudewijn R. Haverkort

6,076 円

Fundamentals of Stochastic Networks

Oliver C. Ibe

21,754 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Algorithmic Aspects in Information and Management

Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri

6,076 円

Business Process Management

Josep Carmona, Gregor Engels, Akhil Kumar

6,076 円

Blind Identification and Separation of Complex-valued Signals

Eric Moreau, Tulay Adali

22,757 円

Inductive Logic Programming

Gerson Zaverucha, Vítor Santos Costa, Aline Paes

4,862 円

Simplicial Global Optimization

Remigijus Paulavičius, Julius Žilinskas

6,076 円

Logics in Artificial Intelligence

Loizos Michael, Antonis Kakas

6,076 円

On the Move to Meaningful Internet Systems: OTM 2016 Workshops

Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal

6,076 円

Operational Research and Networks

Gerd Finke

23,052 円

OWL: Experiences and Directions – Reasoner Evaluation

Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz

6,076 円

Cognitive Radio Communication and Networking

Robert Caiming Qiu, Zhen Hu, Husheng Li, Michael C. Wicks

17,046 円

Interoperability and Open-Source Solutions for the Internet of Things

Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano

6,076 円

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

6,076 円

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

6,076 円

Principles and Practice of Constraint Programming

Michel Rueher

12,154 円

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr

6,076 円

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr

6,076 円

Distributed Computer and Communication Networks

Vladimir Vishnevsky, Dmitry Kozyrev, Andrey Larionov

6,076 円

Graph Theoretic Methods in Multiagent Networks

Mehran Mesbahi, Magnus Egerstedt

13,366 円

Implementation and Application of Functional Languages

Ralf Hinze

5,591 円

Applications of Combinatorial Optimization, Volume 3

Vangelis Th. Paschos

26,462 円

Rule Technologies. Research, Tools, and Applications

Jose Julio Alferes, Guido Governatori, Paul Fodor, Dumitru Roman, Leopoldo Bertossi

12,154 円

Similarity Search and Applications

Laurent Amsaleg, Michael E. Houle, Erich Schubert

6,076 円

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

6,076 円

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić

6,076 円

Hashing in Computer Science

Alan G. Konheim

22,757 円

Algorithms, Probability, Networks, and Games

Christos Zaroliagis, Spyros Kontogiannis, Grammati Pantziou

6,076 円

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

6,076 円

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

6,076 円

Modern Algorithms of Cluster Analysis

Mieczyslaw Kłopotek, Slawomir Wierzchoń

21,878 円

Semantics, Logics, and Calculi

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

6,076 円

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

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

日本のストアです。

Numerical Software Verification

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Formal Modeling and Analysis of Timed Systems

関連書籍

Fundamentals of Massive MIMO

Pattern Recognition

Linear Programming and Network Flows

Machine Learning in Complex Networks

Optimization in Engineering Sciences

Cyber Physical Systems. Design, Modeling, and Evaluation

Metaheuristic Optimization for the Design of Automatic Control Laws

Computation, Cryptography, and Network Security

Data Analytics

Applied Integer Programming

Gmdh-methodology And Implementation In Matlab

Introduction to HPC with MPI for Data Science

Facets of Combinatorial Optimization

Nonlinear Model Predictive Control

Pattern Recognition and Machine Learning

Quantitative Evaluation of Systems

Controllability, Identification, and Randomness in Distributed Systems

Principles of Optimal Design

Advances in Stochastic and Deterministic Global Optimization

Information and Control in Networks

Optimal Time-Domain Noise Reduction Filters

Submodularity in Dynamics and Control of Networked Systems

Dependable Software Engineering: Theories, Tools, and Applications

Uncertainty and Optimization in Structural Mechanics

High-Performance Scientific Computing

Constructive Side-Channel Analysis and Secure Design

Communications in Interference Limited Networks

Formal Modeling and Analysis of Timed Systems

FM 2016: Formal Methods

Analytical and Stochastic Modelling Techniques and Applications

Progress in Cryptology - AFRICACRYPT 2017

Physical and Data-Link Security Techniques for Future Communication Systems

Dynamics of Information Systems: Mathematical Foundations

Concepts of Combinatorial Optimization, Volume 1

Speech Enhancement

Multidisciplinary Design Optimization in Computational Mechanics

Wireless Communications

Mathematical Problems in Data Science

Applied and Computational Control, Signals, and Circuits

Compressive Sensing for Wireless Networks

Quantitative Evaluation of Systems

Probabilistic Search for Tracking Targets

Numerical Methods and Optimization

Computer-hardware Evaluation Of Mathematical Functions

Distributed Computer and Communication Networks

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Networks of Dissipative Systems

Software Technologies: Applications and Foundations

Similarity-Based Pattern Recognition

Formal Techniques for Distributed Objects, Components, and Systems

Nonlinear Model Predictive Control

Models of Strategic Reasoning

Innovative Issues in Intelligent Systems

Graph Structures for Knowledge Representation and Reasoning

Algorithms and Models for Network Data and Link Analysis

Information Security

Machine Learning and Knowledge Discovery in Databases

Delays and Networked Control Systems

Implementation and Application of Automata

Software Engineering for Resilient Systems

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Fundamentals of Stochastic Networks

Hardware and Software: Verification and Testing

Algorithmic Aspects in Information and Management

Business Process Management

Blind Identification and Separation of Complex-valued Signals

Inductive Logic Programming

Simplicial Global Optimization

Logics in Artificial Intelligence

On the Move to Meaningful Internet Systems: OTM 2016 Workshops