| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910132332303321 |
|
|
Titolo |
al-Tawḥīd |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Tehran, Iran], : [Islamic Propagation Organization, International Relations Dept.], [1983?-] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Islam |
Shīʻah |
Periodicals. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
"A quarterly journal of Islamic thought and culture." |
Title from cover. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910983314603321 |
|
|
Autore |
Yang Qingxin |
|
|
Titolo |
The Proceedings of the 19th Annual Conference of China Electrotechnical Society : Volume III / / edited by Qingxin Yang, Zhaohong Bie, Xu Yang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (945 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Electrical Engineering, , 1876-1119 ; ; 1310 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electrical engineering |
Electronics |
Electric power production |
Electronic circuits |
Electrical and Electronic Engineering |
Electronics and Microelectronics, Instrumentation |
Electrical Power Engineering |
Electronic Circuits and Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Vulnerability assessment method of distribution network including distributed power and energy storage access -- Research on Neutral Point Voltage Balancing in Single-phase Three-level NPC Inverter Based on H-SVPWM -- A coordinated control and protection strategy for renewable energy stations connected with active distribution grids -- Online Equalization Strategy for Lithium-ion Battery Packs Based on State-of-Charge. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book compiles exceptional papers presented at the 19th Annual Conference of the China Electrotechnical Society (CES), held in Xi'an, China, from September 20 to 22, 2024. It encompasses a wide range of topics, including electrical technology, power systems, electromagnetic emission technology, and electrical equipment. The book highlights |
|
|
|
|
|
|
|
|
|
|
|
|
|
innovative solutions that integrate concepts from various disciplines, making it a valuable resource for researchers, engineers, practitioners, research students, and interested readers. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910639887703321 |
|
|
Titolo |
Trends in Functional Programming : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / / edited by Wouter Swierstra, Nicolas Wu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (200 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13401 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Computer systems |
Natural language processing (Computer science) |
Microprogramming |
Programming languages (Electronic computers) |
Programming Techniques |
Computer System Implementation |
Natural Language Processing (NLP) |
Control Structures and Microprogramming |
Programming Language |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Embedding generic monadic transformer into Scala (Project Paper) -- Towards a Language for Defining Reusable Programming Language Components (Project Paper) -- Deep Embedding with Class -- Understanding Algebraic Effect Handlers via Delimited Control Operators -- Reducing the Power Consumption of IoT with Task-Oriented Programming -- Semantic equivalence of task-oriented |
|
|
|
|
|
|
|
|
|
|
|
programs in TopHat -- Algorithm Design with the Selection Monad -- Sound and Complete Type Inference for Closed Effect Rows -- Towards Efficient Adjustment of Effect Rows. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022. The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area. |
|
|
|
|
|
|
|
| |