نتایج جستجو
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki, 2021
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki, 2021
Methodologies and Intelligent Systems for Technology Enhanced Learning, 11th International Conference
Fernando De la Prieta, Rosella Gennari, Marco Temperini, Tania Di Mascio, Pierpaolo Vittorini, Zuzana Kubincova, Elvira Popescu, Davide Rua Carneiro, Loreto Lancia, Agnese Addone, 2021
Methodologies and Intelligent Systems for Technology Enhanced Learning, 11th International Conference
Fernando De la Prieta, Rosella Gennari, Marco Temperini, Tania Di Mascio, Pierpaolo Vittorini, Zuzana Kubincova, Elvira Popescu, Davide Rua Carneiro, Loreto Lancia, Agnese Addone, 2021
Advances in Machine Learning/Deep Learning-based Technologies: Selected Papers in Honour of Professor Nikolaos G. Bourbakis – Vol. 2 (Learning and Analytics in Intelligent Systems, 23)
George A. Tsihrintzis (editor), Maria Virvou (editor), Lakhmi C. Jain (editor), 2021
Advances in Machine Learning/Deep Learning-based Technologies: Selected Papers in Honour of Professor Nikolaos G. Bourbakis – Vol. 2 (Learning and Analytics in Intelligent Systems, 23)
George A. Tsihrintzis (editor), Maria Virvou (editor), Lakhmi C. Jain (editor), 2021
Green Roofs, Facades, and Vegetative Systems: Safety Aspects in the Standards
Elena Giacomello, 2020
Tracking and Preventing Diseases with Artificial Intelligence (Intelligent Systems Reference Library, 206)
Mayuri Mehta (editor), Philippe Fournier-Viger (editor), Maulika Patel (editor), Jerry Chun-Wei Lin (editor), 2021
MIS 10 - Management Information Systems
Hossein Bidgoli, 2021
Optimal Control of Dynamic Systems Driven by Vector Measures: Theory and Applications
N. U. Ahmed, Shian Wang, 2021
Optimal Control of Dynamic Systems Driven by Vector Measures: Theory and Applications
N. U. Ahmed, Shian Wang, 2021
Advances in Databases and Information Systems: 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings
Ladjel Bellatreche, Marlon Dumas, Panagiotis Karras, Raimundas Matulevičius, 2021
Advances in Databases and Information Systems: 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings
Ladjel Bellatreche, Marlon Dumas, Panagiotis Karras, Raimundas Matulevičius, 2021
Physically Based Shader Development for Unity 2017: Develop Custom Lighting Systems
Claudia Doppioslash, 2017
Building Electrical Systems and Distribution Networks: An Introduction
Radian Belu, 2020
Information and Knowledge Systems. Digital Technologies, Artificial Intelligence and Decision Making: 5th International Conference, ICIKS 2021, ... Notes in Business Information Processing)
Inès Saad (editor), Camille Rosenthal-Sabroux (editor), Faiez Gargouri (editor), Pierre-Emmanuel Arduin (editor), 2021
Wireless Communications Systems: An Introduction
Randy L. Haupt, 2019
The Great Mental Models Volume 3: Systems and Mathematics
Rhiannon Beaubien; Rosie Leizrowice, 2021
Railway Transportation Systems: Design, Construction and Operation
Christos N. Pyrgidis, 2021
Innovations in Cyber Physical Systems: Select Proceedings of ICICPS 2020
Jawar Singh, Sudhir Kumar, Umakanta Choudhury, 2021
