Fuyuki Ishikawa – författare
Visar alla böcker från författaren Fuyuki Ishikawa. Handla med fri frakt och snabb leverans.
17 produkter
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Ichiro Hasuo, Fuyuki Ishikawa
Inbunden, 2025
1826 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Ichiro Hasuo, Fuyuki Ishikawa
Häftad, 2026
822 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Trustworthy Cyber-Physical Systems Engineering
Av Alexander Romanovsky, Fuyuki Ishikawa
Häftad, 2020
735 kr
Lägg i varukorg
From the Foreword"Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who …
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Fuyuki Ishikawa, Ichiro Hasuo
E-bok, 2025
1022 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Fuyuki Ishikawa, Ichiro Hasuo
E-bok, 2025
989 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Enablers for Smart Cities
Av Hideyuki Tokuda, Laurent H rault m. fl.
E-bok, 2016
2265 kr
Lägg i varukorg
Smart cities are a new vision for urban development. They integrate information and communication technology infrastructures – in the domains of artificial intelligence, distributed and cloud computing, and sensor networks – into a city, to facilitate quality of life for its citizens and …
Enablers for Smart Cities
Av Hideyuki Tokuda, Laurent H rault m. fl.
E-bok, 2016
2265 kr
Lägg i varukorg
Smart cities are a new vision for urban development. They integrate information and communication technology infrastructures – in the domains of artificial intelligence, distributed and cloud computing, and sensor networks – into a city, to facilitate quality of life for its citizens and …
Trustworthy Cyber-Physical Systems Engineering
Av Fuyuki Ishikawa, Alexander Romanovsky
E-bok, 2016
866 kr
Lägg i varukorg
From the Foreword "Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who …
Trustworthy Cyber-Physical Systems Engineering
Av Fuyuki Ishikawa, Alexander Romanovsky
E-bok, 2016
866 kr
Lägg i varukorg
From the Foreword "Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who …
Enablers for Smart Cities
Av Amal El Fallah Seghrouchni, Fuyuki Ishikawa m. fl.
Inbunden, 2016
1892 kr
Lägg i varukorg
Smart cities are a new vision for urban development. They integrate information and communication technology infrastructures – in the domains of artificial intelligence, distributed and cloud computing, and sensor networks – into a city, to facilitate quality of life for its citizens and …
Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings
Av Guangdong Bai, Fuyuki Ishikawa m. fl.
Häftad, 2024
848 kr
Lägg i varukorg
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024. The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. …
Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings
Av George A. Papadopoulos, Yamine Ait-Ameur m. fl.
E-bok, 2024
1091 kr
Lägg i varukorg
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024. The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. …
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
Av Michael Leuschel, Fuyuki Ishikawa
Häftad, 2025
1861 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were …
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Dusseldorf, Germany, June 10-13, 2025, Proceedings
Av Fuyuki Ishikawa, Michael Leuschel
E-bok, 2025
1838 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were …
Rigorous State-Based Methods
12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings
Av Fuyuki Ishikawa, Alcino Cunha
Häftad, 2026
837 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from …
Rigorous State-Based Methods
12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings
Av Alcino Cunha, Fuyuki Ishikawa
E-bok, 2026
1056 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from …
Trustworthy Cyber-Physical Systems Engineering
Av Alexander Romanovsky, Fuyuki Ishikawa
Inbunden, 2016
1208 kr
Tillfälligt slut
From the Foreword"Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who …
