Your search returned 12 results.

Not what you expected? Check for suggestions
Sort
Results
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.

by Pientka, Brigitte | Tinelli, Cesare.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Measure Theory in Non-Smooth Spaces.

by Gigli, Nicola.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Warschau/Berlin : Walter de Gruyter GmbH, 2017Copyright date: �2017Online access: Click to View Availability: No items available.

Anisotropy Across Fields and Scales.

by �Ozarslan, Evren | Schultz, Thomas | Zhang, Eugene | Fuster, Andrea.

Series: Mathematics and Visualization SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: {copy}2021Online access: Click to View Availability: No items available.

Esse 2017 : Proceedings of the International Conference on Environmental Science and Sustainable Energy Ed. by ZhaoYang Dong.

by Wang, Yong.

Series: De Gruyter Proceedings SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin/Boston : Walter de Gruyter GmbH, 2017Copyright date: �2018Online access: Click to View Availability: No items available.

Advances in Production Technology.

by Brecher, Christian.

Series: Lecture Notes in Production Engineering SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2014Copyright date: �2015Online access: Click to View Availability: No items available.

Recent Developments in Automatic Control Systems.

by Kondratenko, Yuriy P | Vsevolod M. Kuntsevich, Arkadii A. Chikrii.

Series: Automation, Control and Robotics SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Aalborg : River Publishers, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Innovations in Derivatives Markets : Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation.

by Glau, Kathrin | Grbac, Zorana | Scherer, Matthias | Zagst, Rudi.

Series: Springer Proceedings in Mathematics and Statistics SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2016Copyright date: �2016Online access: Click to View Availability: No items available.

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings.

by Kiefer, Stefan | Tasson, Christine.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Error-Correction Coding and Decoding : Bounds, Codes, Decoders, Analysis and Applications.

by Tomlinson, Martin | Tjhai, Cen Jung | Ambroze, Marcel A | Ahmed, Mohammed | Jibril, Mubarak.

Series: Signals and Communication Technology SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2017Copyright date: �2017Online access: Click to View Availability: No items available.

Structural Health Monitoring Damage Detection Systems for Aerospace.

by Sause, Markus G. R | Jasiūnienė, Elena.

Series: Springer Aerospace Technology SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3. 6.

by Linge, Svein | Langtangen, Hans Petter.

Series: Texts in Computational Science and Engineering SeriesEdition: 2nd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2019Copyright date: �2020Online access: Click to View Availability: No items available.

Social Work, Sociometry, and Psychodrama : Experiential Approaches for Group Therapists, Community Leaders, and Social Workers.

by Giacomucci, Scott.

Series: Psychodrama in Counselling, Coaching and Education SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Pages