Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Skip side bar filters

Formalized Probability Theory and Applications Using Theorem Proving

by Osman Hasan, Sofiène Tahar ...

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve. Formalized Probability Theory and Applications Using Theorem Proving discusses some ... Read more

$206.39 CAD

PRE-ORDER

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve. Formalized Probability Theory and Applications Using Theorem Proving discusses some
... Read more
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki ...

Series series Energy (R0)
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to ... Read more

$83.29 CAD

This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to
... Read more
Formal Techniques for Safety-Critical Systems

7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Edited by Osman Hasan, Frédéric Mallet ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the
... Read more
Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of
... Read more
International Journal of Electronics, Mechanical and Mechatronics Engineering

IJEMME

Edited by Osman Nuri UCAN, Hasan Saygin ...

Series Book 2014 - Volume 4
It is our great pleasure to publish new issue of international journal, “International Journal of Electronics, Mechanical and Mechatronics Engineering” (IJEMME) of Istanbul Aydin University. Our sustainable strategy is to demonstrate new trends in science and technology subject to high quality standards by ensuring a stringent peer review process.The scope of the International Journal of ... Read more

$4.11 CAD

It is our great pleasure to publish new issue of international journal, “International Journal of Electronics, Mechanical and Mechatronics Engineering” (IJEMME) of Istanbul Aydin University. Our sustainable strategy is to demonstrate new trends in science and technology subject to high quality standards by ensuring a stringent peer review process.The scope of the International Journal of
... 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

$64.09 CAD

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
The Biobased Economy

Biofuels, Materials and Chemicals in the Post-oil Era

Edited by Johan Sanders, Marieke Meeusen, Hans Langevald, Peter Kuikman, Gerwin Meijer ...

The impending threats of catastrophic climate change and peak oil are driving our society towards increased use of biomass for energy, chemical compounds and other materials - the beginnings of a biobased economy. As alternative development models for the biobased economy emerge, we need to determine potential applications, their perspectives and possible impacts as well as policies that can steer ... Read more

$101.68 CAD

The impending threats of catastrophic climate change and peak oil are driving our society towards increased use of biomass for energy, chemical compounds and other materials - the beginnings of a biobased economy. As alternative development models for the biobased economy emerge, we need to determine potential applications, their perspectives and possible impacts as well as policies that can steer
... Read more
ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Edited by Arend Rensink, Joost-Pieter Katoen, Rom Langerak ...

Series series Computer Science (R0)
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The ... Read more

$64.09 CAD

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The
... Read more
Fueling Freedom

Exposing the Mad War on Energy

by Stephen Moore, Kathleen Hartnett White ...

Fossil fuel energy is the lifeblood of the modern world. Before the Industrial Revolution, humanity depended on burning wood and candle wax. But with the ability to harness the energy in oil and other fossil fuels, quality of life and capacity for progress increased exponentially. Thanks to incredible innovations in the energy industry, fossil fuels are as promising, safe, and clean an energy ... Read more

$19.99 CAD

Also available as: Audiobook

Fossil fuel energy is the lifeblood of the modern world. Before the Industrial Revolution, humanity depended on burning wood and candle wax. But with the ability to harness the energy in oil and other fossil fuels, quality of life and capacity for progress increased exponentially. Thanks to incredible innovations in the energy industry, fossil fuels are as promising, safe, and clean an energy
... Read more

Also available as: Audiobook
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Edited by Phillip James, Markus Roggenbach ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Read more

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Read more
Killing for Coal

America’s Deadliest Labor War

by Thomas G. Andrews ...

On a spring morning in 1914, in the stark foothills of southern Colorado, members of the United Mine Workers of America clashed with guards employed by the Rockefeller family, and a state militia beholden to Colorado’s industrial barons. When the dust settled, nineteen men, women, and children among the miners’ families lay dead. The strikers had killed at least thirty men, destroyed six mines, ... Read more

$29.69 CAD

Also available as: Audiobook

On a spring morning in 1914, in the stark foothills of southern Colorado, members of the United Mine Workers of America clashed with guards employed by the Rockefeller family, and a state militia beholden to Colorado’s industrial barons. When the dust settled, nineteen men, women, and children among the miners’ families lay dead. The strikers had killed at least thirty men, destroyed six mines,
... Read more

Also available as: Audiobook
Intelligent Computer Mathematics

9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

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

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital ... Read more

$51.29 CAD

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital
... 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 Canada

Energy (R0)

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Formalized Probability Theory and Applications Using Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Techniques for Safety-Critical Systems

Intelligent Computer Mathematics

International Journal of Electronics, Mechanical and Mechatronics Engineering

People who read these also enjoyed

Formal Modeling and Analysis of Timed Systems

The Biobased Economy

ModelEd, TestEd, TrustEd

Fueling Freedom

Recent Trends in Algebraic Development Techniques

Killing for Coal

Intelligent Computer Mathematics

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 Canada

Energy (R0)

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed