Reachability Problems

14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings

Sylvain Schmitz,Igor Potapov

Springer Nature Proceedings Computer Science

Comprar el 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:9783030617394
Fecha de lanzamiento:15 oct 2020
Editorial:Springer International Publishing

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

Lecturas relacionadas

Art of Computer Programming, Volume 2

Donald Knuth

$73.300

Computational Number Theory and Modern Cryptography

Song Y. Yan

$87.162

Algebraic Geometry Modeling In Information Theory

Edgar Martinez-moro

$44.372

Computational Complexity

Sanjeev Arora, Boaz Barak

$70.309

Object Detection and Recognition in Digital Images

Boguslaw Cyganek

$116.486

Hashing in Computer Science

Alan G. Konheim

$136.549

Kernel-based Approximation Methods Using Matlab

Gregory E Fasshauer, Michael J Mccourt

$32.796

An Introduction to Support Vector Machines and Other Kernel-based Learning Methods

Nello Cristianini, John Shawe-Taylor

$102.827

An Introduction to Optimization

Edwin K. P. Chong, Stanislaw H. Zak

$108.770

Computation, Cryptography, and Network Security

Nicholas J. Daras, Michael Th. Rassias

$101.133

Generalized Principal Component Analysis

René Vidal, Yi Ma, Shankar Sastry

$78.657

Theory of Fuzzy Computation

Apostolos Syropoulos

$56.180

Algebraic Geometry for Coding Theory and Cryptography

Kristin E. Lauter, Everett W. Howe, Judy L. Walker

$179.802

An Introduction to Kolmogorov Complexity and Its Applications

Ming Li, Paul M.B. Vitányi

$84.276

Fundamental Concepts In Computer Science

Erol Gelenbe, Jean-pierre Kahane

$40.514

Discrete Calculus

Leo J. Grady, Jonathan R. Polimeni

$191.039

Computation in Science

Konrad Hinsen

$24.694

Facets of Combinatorial Optimization

Michael Jünger, Gerhard Reinelt

$101.133

Nonlinear Model Predictive Control

Lars Grüne, Jürgen Pannek

$168.562

Algorithms for Sparsity-Constrained Optimization

Sohail Bahmani

$157.324

Predictive Control for Linear and Hybrid Systems

Francesco Borrelli, Alberto Bemporad, Manfred Morari

$74.703

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

$52.809

Low Rank Approximation

Ivan Markovsky

$123.609

Mathematical Aspects of Computer and Information Sciences

Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos

$56.180

Handbook on Semidefinite, Conic and Polynomial Optimization

Miguel F. Anjos, Jean B. Lasserre

$268.595

Parallelism in Matrix Computations

Ahmed H. Sameh, Bernard Philippe, Efstratios Gallopoulos

$101.133

Computer Algebra in Scientific Computing

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

$56.180

Matrix Functions And Matrix Equations

Zhaojun Bai, Weiguo Gao, Yangfeng Su

$34.727

Mathematical Aspects of Computer and Information Sciences

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

$56.180

Recent Advances in Algorithmic Differentiation

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

$101.133

Computer Science – Theory and Applications

Pascal Weil

$56.180

Analysis and Synthesis of Dynamic Systems with Positive Characteristics

Jun Shen

$101.133

Iterative Methods and Preconditioning for Large and Sparse Linear Systems with Applications

Daniele Bertaccini, Fabio Durastante

$251.859

Mixed-Integer Representations in Control Design

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

$56.180

Control Subject to Computational and Communication Constraints

Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel

$157.324

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

$56.180

Number-Theoretic Methods in Cryptology

Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała

$56.180

Reversible Computation

Simon Devitt, Ivan Lanese

$56.180

Limits of Computation

Bernhard Reus

$50.561

Optimization of Polynomials in Non-Commuting Variables

Sabine Burgdorf, Igor Klep, Janez Povh

$56.180

Numerical Linear Algebra in Signals, Systems and Control

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

$157.324

Efficient Algorithms for Global Optimization Methods in Computer Vision

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

$44.943

Advances in Information Systems Science

Julius T. Tou

$56.180

Stream Ciphers

Andreas Klein

$84.276

Mathematical Modelling for Next-Generation Cryptography

Tsuyoshi Takagi, Kazufumi Kimoto, Dung Hoang Duong, Noboru Kunihiro, Keisuke Tanaka, Masato Wakayama

$112.372

Handbook of Discrete and Combinatorial Mathematics

Kenneth H. Rosen

$401.919

Linear Parameter-Varying and Time-Delay Systems

Corentin Briat

$101.133

Markov Models for Pattern Recognition

Gernot A. Fink

$64.047

Quantitative Evaluation of Systems

Nathalie Bertrand, Luca Bortolussi

$56.180

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

$56.180

Compressed Sensing and its Applications

Holger Boche, Giuseppe Caire, Robert Calderbank, Maximilian März, Gitta Kutyniok, Rudolf Mathar

$101.133

Fundamentals of Computation Theory

Ralf Klasing, Marc Zeitoun

$56.180

Applications of Computer Algebra

Ilias S. Kotsireas, Edgar Martínez-Moro

$157.324

Selected Areas in Cryptography – SAC 2017

Carlisle Adams, Jan Camenisch

$56.180

Mathematical Software – ICMS 2016

Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese

$56.180

Cryptography and Coding

Jens Groth

$56.180

Discrete Event Systems in Dioid Algebra and Conventional Algebra

Philippe Declerck

$137.321

Optimization and Control Techniques and Applications

Honglei Xu, Kok Lay Teo, Yi Zhang

$101.133

Scientific Computing

John A. Trangenstein

$73.037

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan, Shuling Wang, Hengjun Zhao

$123.609

Machines, Computations, and Universality

Jérôme Durand-Lose, Sergey Verlan

$56.180

Mathematical Adventures in Performance Analysis

Eitan Bachmat

$101.133

Graph Transformation

Juan de Lara, Detlef Plump

$56.180

Numerical Software Verification

Alessandro Abate, Sylvie Boldo

$56.180

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

$56.180

Language and Automata Theory and Applications

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

$56.180

Numerical Methods and Optimization

Éric Walter

$157.324

Practical Mathematical Optimization

Jan A Snyman, Daniel N Wilke

$95.514

Scientific Computing, Computer Arithmetic, and Validated Numerics

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

$56.180

Numerical and Symbolic Scientific Computing

Peter Paule, Ulrich Langer

$101.133

Spanning Tree Results For Graphs And Multigraphs: A Matrix-theoretic Approach

Daniel J Gross, John T Saccoman, Charles L Suffel

$32.796

Nonlinear Systems and Optimization for the Chemical Engineer

Guido Buzzi-Ferraris, Flavio Manenti

$94.106

Arithmetic of Finite Fields

Sylvain Duquesne, Svetla Petkova-Nikova

$56.180

Formal Concept Analysis

Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré

$56.180

Applied and Computational Control, Signals, and Circuits

Biswa Nath Datta

$101.133

Modern Algorithms of Cluster Analysis

Mieczyslaw Kłopotek, Slawomir Wierzchoń

$191.039

SOFSEM 2017: Theory and Practice of Computer Science

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

$56.180

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Selected Areas in Cryptography – SAC 2016

Howard Heys, Roberto Avanzi

$56.180

Static Analysis

Sandrine Blazy, Thomas Jensen

$56.180

Nonlinear Model Predictive Control

Lars Grüne, Jürgen Pannek

$123.609

Scalable Algorithms for Contact Problems

Zdeněk Dostál, Tomáš Kozubek, Marie Sadowská, Vít Vondrák

$134.848

Post-Quantum Cryptography

Tanja Lange, Tsuyoshi Takagi

$56.180

Optimization and Optimal Control

Altannar Chinchuluun, Panos M. Pardalos, Rentsen Enkhbat, Ider Tseveendorj

$224.754

Analytical and Stochastic Modelling Techniques and Applications

Nigel Thomas, Matthew Forshaw

$56.180

Networks of Dissipative Systems

Andrew Packard, Chris Meissen, Murat Arcak

$56.180

Ver más por autor