|
|
|
|
| LEADER |
01026cam a2200265 7i4500 |
| 001 |
0000068872 |
| 005 |
20220602090000.0 |
| 020 |
|
|
|a 9783030784096 (electronic book)
|
| 090 |
0 |
0 |
|a TK3105
|b .A36 2022
|
| 100 |
1 |
|
|a Ahmed, Asad
|
| 245 |
1 |
0 |
|a Formal analysis of future energy systems using interactive theorem proving
|c Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.
|
| 264 |
|
|
|a Switzerland:
|b Springer,
|c 2022.
|
| 300 |
|
|
|a 1 online resource (xi, 79 pages):
|b text file, PDF.
|
| 336 |
|
|
|a text
|2 rdacontent
|
| 337 |
|
|
|a computer
|2 rdamedia
|
| 338 |
|
|
|a online resource
|2 rdacarrier
|
| 650 |
0 |
0 |
|a Smart power grids --
|x Mathematical models
|
| 650 |
0 |
0 |
|a Smart power grids --
|x Computer simulation
|
| 655 |
0 |
0 |
|a Electronic books
|
| 700 |
1 |
|
|a Hasan, Osman
|
| 700 |
1 |
|
|a Awwad, Falah
|
| 700 |
1 |
|
|a Bastaki, Nabil
|
| 856 |
4 |
2 |
|u http://library.unisel.edu.my/web/guest/mylibrary
|
| 997 |
|
|
|a Communication, Visual Art & Computing, Faculty
|b Computing, Department
|
| 999 |
|
|
|a EBO0012860
|b EBOOK
|c EBOOK
|e Electronic resources
|
