Rakuten Kobo

Skip side bar filters

Modeling and Verification of Real-time Systems

Formalisms and Software Tools

Edited by Nicolas Navet, Stephan Merz ...

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and ... Read more

$220.00 USD

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and
... Read more
Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Edited by Stephan Merz, Jasmin Christian Blanchette ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and
... Read more

Quantitative Evaluation of Systems

14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Edited by Nathalie Bertrand, Luca Bortolussi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and ... Read more

$49.99 USD

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and
... Read more
Космические Качества как Основа энергоинформационного проявления всех Формо-систем Мироздания.

by Oris ...

Series series Ииссиидиология. Основы.
Пусть многими представителями от науки этот том «Основ ииссиидиологии», как и все прочие книги этого многотомного цикла, под общим названием «Благая Весть» будет восприниматься не более, чем «научная фантастика» – каждый из нас вправе веровать лишь в то, что его наиболее всего убеждает. Но всякий, имеющий развитый Интеллект и обладающий хотя бы зачатками познавательной Интуиции, сможет узреть в ... Read more

Free

Пусть многими представителями от науки этот том «Основ ииссиидиологии», как и все прочие книги этого многотомного цикла, под общим названием «Благая Весть» будет восприниматься не более, чем «научная фантастика» – каждый из нас вправе веровать лишь в то, что его наиболее всего убеждает. Но всякий, имеющий развитый Интеллект и обладающий хотя бы зачатками познавательной Интуиции, сможет узреть в
... Read more
Parallel Computational Technologies

11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers

Edited by Mikhail Zymbler, Leonid Sokolinsky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017.The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017.The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms
... Read more
The Seneca Effect

Why Growth is Slow but Collapse is Rapid

by Ugo Bardi ...

Series series Physics and Astronomy (R0)
The essence of this book can be found in a line written by the ancient Roman Stoic Philosopher Lucius Annaeus Seneca: "Fortune is of sluggish growth, but ruin is rapid". This sentence summarizes the features of the phenomenon that we call "collapse," which is typically sudden and often unexpected, like the proverbial "house of cards." But why are such collapses so common, and what generates them? ... Read more

$89.99 USD

The essence of this book can be found in a line written by the ancient Roman Stoic Philosopher Lucius Annaeus Seneca: "Fortune is of sluggish growth, but ruin is rapid". This sentence summarizes the features of the phenomenon that we call "collapse," which is typically sudden and often unexpected, like the proverbial "house of cards." But why are such collapses so common, and what generates them?
... Read more
Computer Performance Engineering

14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Edited by Philipp Reinecke, Antinisca Di Marco ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.The 18 papers presented together with the abstracts of two invited talks in this volumewere carefully reviewed and selected from 30 submissions.The papers presented at the workshop reflect the diversity of modern performanceengineering ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.The 18 papers presented together with the abstracts of two invited talks in this volumewere carefully reviewed and selected from 30 submissions.The papers presented at the workshop reflect the diversity of modern performanceengineering
... Read more
High Performance Computing for Computational Science -- VECPAR 2014

11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Edited by Kengo Nakajima, Osni Marques, Michel Daydé ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.The 25 papers presented were carefully reviewed and selected of numerous submissions. The papers are organized in topical sections on algorithms for GPU and manycores, large ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.The 25 papers presented were carefully reviewed and selected of numerous submissions. The papers are organized in topical sections on algorithms for GPU and manycores, large
... Read more
Simulating Knowledge Dynamics in Innovation Networks

Edited by Andreas Pyka, Petra Ahrweiler, Nigel Gilbert ...

Series series Business and Management (R0)
The competitiveness of firms, regions and countries greatly depends on the generation, dissemination and application of new knowledge. Modern innovation research is challenged by the need to incorporate knowledge generation and dissemination processes into the analysis so as to disentangle the complexity of these dynamic processes. With innovation, however, strong uncertainty, nonlinearities and ... Read more

$89.99 USD

The competitiveness of firms, regions and countries greatly depends on the generation, dissemination and application of new knowledge. Modern innovation research is challenged by the need to incorporate knowledge generation and dissemination processes into the analysis so as to disentangle the complexity of these dynamic processes. With innovation, however, strong uncertainty, nonlinearities and
... Read more
Quantitative Evaluation of Systems

12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Edited by Javier Campos, Boudewijn R. Haverkort ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing ... Read more

$49.49 USD

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
... Read more
Dynamic Modeling and Predictive Control in Solid Oxide Fuel Cells

First Principle and Data-based Approaches

by Biao Huang, Yutong Qi, A. K. M. Monjur Murshed ...

The high temperature solid oxide fuel cell (SOFC) is identified as one of the leading fuel cell technology contenders to capture the energy market in years to come. However, in order to operate as an efficient energy generating system, the SOFC requires an appropriate control system which in turn requires a detailed modelling of process dynamics.Introducting state-of-the-art dynamic modelling, ... Read more

$153.95 USD

The high temperature solid oxide fuel cell (SOFC) is identified as one of the leading fuel cell technology contenders to capture the energy market in years to come. However, in order to operate as an efficient energy generating system, the SOFC requires an appropriate control system which in turn requires a detailed modelling of process dynamics.Introducting state-of-the-art dynamic modelling,
... Read more
Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Edited by Alessandro Abate, Gilles Geeraerts ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Modeling and Verification of Real-time Systems

Interactive Theorem Proving

People who read these also enjoyed

Quantitative Evaluation of Systems

Космические Качества как Основа энергоинформационного проявления всех Формо-систем Мироздания.

Parallel Computational Technologies

The Seneca Effect

Computer Performance Engineering

High Performance Computing for Computational Science -- VECPAR 2014

Simulating Knowledge Dynamics in Innovation Networks

Quantitative Evaluation of Systems

Dynamic Modeling and Predictive Control in Solid Oxide Fuel Cells

Formal Modeling and Analysis of Timed Systems

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed