Related Books
Language: en
Pages: 227
Pages: 227
Type: BOOK - Published: 2011-08-23 - Publisher: Springer Science & Business Media
Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not dire
Language: en
Pages: 449
Pages: 449
Type: BOOK - Published: 2008-05-08 - Publisher: Springer Science & Business Media
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised f
Language: en
Pages: 300
Pages: 300
Type: BOOK - Published: 2007-09-04 - Publisher: Springer
This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were c
Language: en
Pages: 382
Pages: 382
Type: BOOK - Published: 2021-11-30 - Publisher: Springer Nature
This book describes new energy saving methods and technologies for heat power engineering. The book is devoted to topical issues of energy and related industrie
Language: en
Pages: 1063
Pages: 1063
Type: BOOK - Published: 2014-11-01 - Publisher: Springer
This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applicatio