Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications Chuchu Fan
ACM Books - ชุดหนังสือ
- โดย
- Chuchu Fan
- Brad A. Myers
- Ronald M. Baecker
- Domenico Talia
- Manish Raghavan
- Jayadev Misra
- Tony Hoare
- Krzysztof R. Apt
- Brygg Ullmer
- Orit Shaer
- Ali Mazalek
- Caroline Hummels
- Andrew L. Russell
- James L. Pelkey
- Loring G. Robbins
- Sharon Oviatt
- Leimin Tian
- Michal Muszynski
- Brent Chamberlain
- Jennifer Healey
- Akane Sano
- Kim W. Tracy
- สำนักพิมพ์
- ซีรีส์
- 57
- หมวดหมู่
- นอนฟิกชั่น
- ภาษา
- ภาษาอังกฤษ
- รูปแบบ
แท็ก
ACM Books - ชุดหนังสือ
- โดย
- Chuchu Fan
- Brad A. Myers
- Ronald M. Baecker
- Domenico Talia
- Manish Raghavan
- Jayadev Misra
- Tony Hoare
- Krzysztof R. Apt
- Brygg Ullmer
- Orit Shaer
- Ali Mazalek
- Caroline Hummels
- Andrew L. Russell
- James L. Pelkey
- Loring G. Robbins
- Sharon Oviatt
- Leimin Tian
- Michal Muszynski
- Brent Chamberlain
- Jennifer Healey
- Akane Sano
- Kim W. Tracy
- สำนักพิมพ์
- ซีรีส์
- 57
- หมวดหมู่
- นอนฟิกชั่น
- ภาษา
- ภาษาอังกฤษ
- รูปแบบ
แท็ก
ACM Books หนังสือตามลำดับ
- Rendering History: The Women of ACM-W
- Pick, Click, Flick!: The Story of Interaction Techniques Brad A. Myers
- Digital Dreams Have Become Nightmares: What We Must Do Ronald M. Baecker
- Spatial Gems: Volume 2
- From Algorithms to Thinking Machines: The New Digital Power Domenico Talia
- Linking the World's Information: Essays on Tim Berners-Lee's Invention of the World Wide Web
- The Societal Impacts of Algorithmic Decision-Making Manish Raghavan
- Geospatial Data Science: A Hands-on Approach for Building Geospatial Applications using Linked Data Technologies
- Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
- Effective Theories in Programming Practice Jayadev Misra
- Democratizing Cryptography: The Work of Whitfield Diffie and Martin Hellman
- Spatial Gems, Volume 1
- Edsger Wybe Dijkstra: His Life, Work, and Legacy Tony Hoare
- Weaving Fire into Form: Aspirations for Tangible and Embodied Interaction Brygg Ullmer
- Circuits, Packets, and Protocols: Entrepreneurs and Computer Communications, 1968-1988 Andrew L. Russell
- Applied Affective Computing Sharon Oviatt
- Theories of Programming: The Life and Works of Tony Hoare
- Software: A Technical History Kim W. Tracy
- The Handbook on Socially Interactive Agents: 20 years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 1: Methods, Behavior, Cognition
ฟังและอ่าน
ก้าวเข้าสู่โลกแห่งเรื่องราวอันไม่มีที่สิ้นสุด
- อ่านและฟังได้มากเท่าที่คุณต้องการ
- มากกว่า 1 ล้านชื่อ
- Storytel Originals ผลงานเฉพาะบน Storytel
- 199บ./ด.
- ยกเลิกได้ทุกเมื่อ
ลิงค์ที่เป็นประโยชน์
ภาษาและภูมิภาค
ภาษาไทย
ประเทศไทย
