The Least-Squares Finite Element Method: Theory and Applications in Computational Fluid Dynamics and Electromagnetics

The Least-Squares Finite Element Method: Theory and Applications in Computational Fluid Dynamics and Electromagnetics

Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Toward Trustworthy Adaptive Learning: Explainable Learner Models

Toward Trustworthy Adaptive Learning: Explainable Learner Models

Advances in Brain Inspired Cognitive Systems: 14th International Conference, BICS 2024, Hefei, China, December 6?8, 2024, Proceedings, Part II

Advances in Brain Inspired Cognitive Systems: 14th International Conference, BICS 2024, Hefei, China, December 6?8, 2024, Proceedings, Part I

Computational Geometry, Graphs and Applications: International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers

The Sublime Continuum Super?Commentary (theg pa chen po rgyud bla ma`i tikka) with the Sublime Continuum Treatise Commentary (Mahayanottaratantra

Malicious Attack Propagation and Source Identification

Quality, Reliability, Security and Robustness in Heterogeneous Systems: 15th EAI International Conference, QShine 2019, Shenzhen, China, November 22?23, 2019, Proceedings

Rapid On-Site Evaluation (ROSE) in Diagnostic Interventional Pulmonology: Volume 4: Metagenomic Sequencing Application in Difficult Cases of Infectious Diseases

Rapid On-Site Evaluation (ROSE) in Diagnostic Interventional Pulmonology: Volume 4: Metagenomic Sequencing Application in Difficult Cases of Infectious Diseases

Green Space and Human Health in China

Science-Fiction aus China: Sechs Geschichten von heute über morgen

Bioactive Proteins and Peptides as Functional Foods and Nutraceuticals

Mathematical Problems in Data Science: Theoretical and Practical Methods

Mathematical Problems in Data Science: Theoretical and Practical Methods