Certifying System Translations Using Higher Order Theorem Provers

Fundamentals, Techniques and Applications

Edited by Zhangwei Chen Edited by Paolo Colombo

By (author) Pratibha S. Agrawal By (author) Richa Tiwari By (author) Pramod Belkhode By (author)…

The Role of Language Models in Discovery and Design

By (author) Xue Jiang By (author) Yanjing Su

Advanced Techniques and Applications

By (author) Ning Li By (author) Liang Zhang

A Comprehensive Guide to Technology, Policy, and Global Implementation

By (author) Xiao Lin By (author) Ilai Bendavid By (author) Bin Wu By (author) Shengrui…

By (author) Xiao Lin By (author) Xue Wang By (author) Shuoyuan Zhang By (author) Yingying…

By (author) Garima Awasthi By (author) Mohit Nigam

Methods and Principles

By (author) Maiyong Zhu By (author) Zigao Wang

Pathways to Net-Zero Carbon Emissions

By (author) Sandra Kiessling By (author) Hamidreza Gohari Darabkhani By (author) Abdel-Hamid Soliman

Scale-bridging atoms and microstructure

By (author) Ebert Daniel Macedo Alvares

Edited by Yoshiki Chujo

From Mechanical Principles to Engineering Applications

By (author) Yao Yao By (author) Hu Fang By (author) Hongcun Guo By (author) Tao…

From Fundamentals to Applications

By (author) Shreya Sharma By (author) Peeyush Phogat By (author) Jahanvi Thakur By (author) N.…

Statistical Learning, Monitoring and Understanding

By (author) José M. González-Martínez By (author) José Camacho By (author) Joan Borràs-Ferrís By (author)…

A Dynamical Systems Approach

Volume 27

By (author) Xiang Chen

By (author) Matthias Köhler

An Introduction

By (author) Anna Köhler By (author) Heinz Bässler

Advances in Chemical Propulsion and Power Generation

Edited by Luigi T. DeLuca Edited by Ruth M. Doherty

From Theory to Experiments and Modeling

Edited by Sulalit Bandyopadhyay

Design and Operation

By (author) Jia Wei Chew By (author) Ray Cocco

Fundamentals and Technologies

By (author) Wenfeng Ding By (author) Qing Miao By (author) Yao Sun By (author) Ning…

Designing and Optimizing Architectures for Sustainable Energy Systems

Edited by Shrikaant Kulkarni Edited by Susanta Das

Fabrication, Characterization and Device Applications

Edited by Xubing Lu

Manufacturing and Applications

Edited by Lifei Wang

Edited by Chien-Te Hsieh Edited by Pradeep Kumar Panda Edited by Arpan Kumar Nayak

Inclusion Behavior and Metallurgical Strategies

By (author) Linzhu Wang By (author) Chaoyi Chen By (author) Ruizhi Gao By (author) Jun…

Design, Preparation, and Applications

By (author) Shuguang Hu By (author) Fazhou Wang

From Sustainable Syntheses to Applications

Edited by Sheraz Ahmad Edited by Faheem Ahmad Edited by Yasir Nawab Edited by Farooq…

Volume 22

By (author) Christoph Heimbucher

Preparation, Characterization, Structure, and Applications

By (author) Jinlong Zheng

Edited by Marta Noińska Edited by Urszula Patocka-Sigłowy Edited by Żanna Sładkiewicz

Polymers, Metals, and Ceramics

Edited by Daniel Moreno Nieto Edited by Daniel Moreno Sánchez Edited by Ahmed A. Hassen…

Edited by Hal S. Alper

Mechanisms and AI-Driven Solutions

By (author) Chao Liu By (author) Bingqin Wang By (author) Xiaogang Li By (author) Shasha…

By (author) Junhua Hu By (author) Hongjie Xu By (author) Jinjin Ban By (author) Fanfan…

Synthesis, Characterization, Modelling, and Applications

Edited by Takuma Kureha Edited by Daisuke Suzuki

4 Volume Set

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Volume 1: Herbicides

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Volume 2: Fungicides

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Volume 3: Insecticides, 2 Volume Set

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Properties and Design

By (author) Rui Xiao

Low-Carbon, Eco-Friendly, and Sustainable Solutions

Edited by Jun-Wei Zha