Results
|
|
|
|
|
|
|
Decidability of Parameterized Verification / by Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
by Bloem, Roderick P, autor | Jacobs, Swen, autor | Kalimov, Ayrat, autor | Konnov, Igor, (1958-), autor. Edition: 1st edition 2015Material type: E-book Publisher: Cham : Springer International Publishing, 2015Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.V47 2015 EB |
reference |
|
|
|
|
|
|
Introduction to Distributed Self-Stabilizing Algorithms / by Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
by Altisen, Karine, autor | Devismes, Stéphane, autor | Dubois, Swan, autor | Petit, Franck, autor. Edition: 1st edition 2019Material type: E-book Publisher: Cham : Springer International Publishing, 2019Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D5 2019 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Understanding Circuits / by Khalid Sayood
by Sayood, Khalid, autor. Edition: 1st edition 2005Material type: E-book Publisher: Cham : Springer International Publishing, 2005Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK454 2005 EB |
reference |
|
|
|
|
|
|
Learning Programming Using Matlab / by Khalid Sayood
by Sayood, Khalid, autor. Edition: 1st edition 2007Material type: E-book Publisher: Cham : Springer International Publishing, 2007Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.6 2007 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Spoof Plasmons / by Tatjana Gric
by Gric, Tatjana, autor. Edition: 1st edition 2020Material type: E-book Publisher: Cham : Springer International Publishing, 2020Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7871.15.M48 2020 EB |
reference |
|
|
|
|
|
|
Theory of Graded-Bandgap Thin-Film Solar Cells / by Faiz Ahmad, Akhlesh Lakhtakia, Peter B. Monk
by Faiz, Ahmad, autor | Lakhtakia, A.(Akhlesh), (1957-), autor | Monk, Peter, (1956-), autor. Edition: 1st edition 2021Material type: E-book Publisher: Cham : Springer International Publishing, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK2960 2021 |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Compound Semiconductor Materials and Devices / by Zhaojun Liu, Tongde Huang, Qiang Li, Xing Lu, Xinbo Zou
by Liu, Zhaojun, (Electronics engineer), autor | Huang, Tongde, autor | Li, Q.(Qiang), (1943-), autor | Xing, Lu, autor | Zou, Xinbo, autor. Edition: 1st edition 2016Material type: E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7871.99.C65 2016 EB |
reference |
|
|
|
|
|
|
Resistive Random Access Memory (RRAM) / by Shimeng Yu
by Yu, Shimeng, (Electrical engineer), autor. Edition: 1st edition 2016Material type: E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7895.M4 2016 EB |
reference |
|
|
|
|
|
|
Non-Volatile In-Memory Computing by Spintronics / by Hao Yu, Leibin Ni, Yuhao Wang
by Yu, Hao, (Electrical engineer), autor | Ni, Leibin, autor | Wang, Yuhao, (Electrical engineer), autor. Edition: 1st edition 2017Material type: E-book Publisher: Cham : Springer International Publishing, 2017Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7874.887 2017 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|