R-Calculus, VI: Finite Injury Priority Method
Inbunden, Engelska, 2024
Av Wei Li, Yuefei Sui
2 119 kr
Produktinformation
- Utgivningsdatum2024-10-29
- Mått155 x 235 x 19 mm
- Vikt530 g
- FormatInbunden
- SpråkEngelska
- SeriePerspectives in Formal Induction, Revision and Evolution
- Antal sidor228
- FörlagSpringer Verlag, Singapore
- ISBN9789819758296
Tillhör följande kategorier
Mer från samma författare
Renewable Energy Microgeneration Systems
Qiang Yang, Ting Yang, Wei Li, Zhejiang University PRC) Yang, Qiang (Associate Professor, College of Electrical Engineering, China) Yang, Ting (School of Electrical Engineering and Automation, Tianjin University, Tianjin, Australia) Li, Wei (Research fellow in the Centre for Distributed and High Performance Computing, and school of Information Technologies in The University of Sydney
2 069 kr
Negative Emissions Technologies for Climate Change Mitigation
Steve A. Rackley, Tingzhen Ming, Wei Li, Michael Tyka, Adrienne Sewel, Diarmaid Clery, George Dowson, Peter Styring, Graham Andrews, Stephen McCord, Pol Knops, Renaud de Richter, Steve A. (Independent Consultant) Rackley, China) Ming, Tingzhen (School of Civil Engineering and Architecture, Wuhan University of Technology, Wuhan, UK) Li, Wei (Institute for Materials and Processes, School of Engineering, The University of Edinburgh, Edinburgh, USA) Tyka, Michael (Artist, Researcher and Google Engineer, UK) Sewel, Adrienne (Formerly, University of St Andrews; Robotics and Mechatronics Summer Schools, University of Glasgow, UK) Clery, Diarmaid (Tyndall Centre for Climate Change Research, University of Manchester, UK) Dowson, George (UK Centre for Carbon Dioxide Utilisation and the Sustain Manufacturing Hub, University of Sheffield, UK) Styring, Peter (UK Centre for Carbon Dioxide Utilization, The University of Sheffield, USA) Andrews, Graham (Department of Geology and Geography, West Virginia University, USA) McCord, Stephen (Research Fellow at the Global CO2 Initiative, Department of Mechanical Engineering, University of Michigan, Stephen Mccord
2 129 kr
AI Computing Systems
Yunji Chen, Ling Li, Wei Li, Qi Guo, Zidong Du, Zichen Xu, China) Chen, Yunji (Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Li, Ling (Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Beijing, China) Li, Wei (State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Guo, Qi (State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Du, Zidong (State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Xu, Zichen (School of Mathematics and Computer Science, The Nanchang University, Nanchang
1 309 kr
Far East, Down South
David M Reimers, Raymond A. Mohl, John E. Van Sant, Chizuru Saeki, Christopher A. Airriess, Daniel Bronstein, Angela Chia-Chen Chen, John Howard, John Jung, Verna M. Keith, Karen J. Leong, Wei Li, Vincent H. Melomo, Greg Robinson, Wenxian Zhang, Raymond A. Mohl, John E. Van Sant, Chizuru Saeki, John E. Van Sant, Raymond A Mohl, John E van Sant
489 kr