Results
|
|
|
|
|
|
|
Características Hardware / Gustavo López Rubio
by López Rubio, Gustavo. Material type:  Printed books Publisher: Salamanca : Universidad Pontificia, 1986Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Depósito 2 (Alcobendas) |
TK7885 .L67 1986 |
available |
|
|
|
|
|
|
|
|
|
|
Safety-critical computer systems / Neil Storey
by Storey, Neil. Material type: Printed books Publisher: Harlow : Addison-Wesley, cop. 1996Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Depósito C (Villaviciosa de Odón) |
TA169.7 .S76 1996 |
available |
|
|
|
|
|
|
|
|
|
|
Computer Engineering and Technology : 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang
by SpringerLink (Online service) | Xu, Weixia, editor literario | Xiao, Liquan, editor literario | Li, Jinwen, editor literario | Zhang, Chengyi, editor literario. Edition: 1st ed.Material type:  E-book Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7885 .A1 2016 EB |
reference |
|
|
|
|
|
|
Leveraging aplications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht
by Lamprecht, Anna-Lena, editor literario. Material type: E-book Publisher: Cham (Alemania) : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TJ211.45 .L484 2016 EB |
reference |
|
|
|
|
|
|
Computer Engineering and Technology : 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu
by Xu, Weixia, editor literario | Xiao, Liquan, editor literario | Li, Jinwen, editor literario | Zhang, Chengyi, editor literario. Material type: E-book Publisher: Singapore : Springer, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7885 .A1 2016 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Analysis and Control of Coupled Neural Networks with Reaction-Diffusion Terms / by Jin-Liang Wang, Huai-Ning Wu, Tingwen Huang, Shun-Yan Ren.
by Wang, Jin-Liang, autor. | Wu, Huai-Ning, autor. | Huang, Tingwen, autor. | Ren, Shun-Yan, autor. | SpringerLink (Online service). Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.87 W364 2018 EB |
reference |
|
|
|
|
|
|
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2017 / edited by Sio-Iong Ao, Haeng Kon Kim, Oscar Castillo, Alan Hoi-Shou Chan, Hideki Katagiri.
by Ao, Sio-Iong, editor literario | Kim, Haeng Kon, editor literario | Castillo, Oscar, editor literario | Chan, Alan H. S | Katagiri, Hideki, editor literario. Material type: E-book Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TA5 .I58 2018 EB |
reference |
|
|
|
|
|
|
Advanced Computer and Communication Engineering Technology Proceedings of the 1st International Conference on Communication and Computer Engineering / edited by Hamzah Asyrani Sulaiman, Mohd Azlishah Othman, Mohd Fairuz Iskandar Othman, Yahaya Abd Rahim, Naim Che Pee.
by Sulaiman, Hamzah Asyrani, editor literario | Mohd Azlishah Othman, editor literario | Othman, Mohd Fairuz Iskandar, editor literario | Rahim, Yahaya Abd, editor literario | Pee, Naim Che, editor literario. Material type: E-book Publisher: Cham : Springer International Publishing, 2015Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7885 .A383 2015 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Advances in Dependability Engineering of Complex Systems: Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk.
by SpringerLink (Online service) | Zamojski, Wojciech, editor literario | Mazurkiewicz, Jacek, editor literario | Sugier, Jarosław, editor literario | Walkowiak, Tomasz, editor literario | Kacprzyk, Janusz, editor literario. Material type: E-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Innovative Computing Trends and Applications / Pandian Vasant, Igor Litvinchev, José Antonio Marmolejo-Saucedo, editors
by SpringerLink (Online service) | Litvinchev, Igor, editor literario | Marmolejo-Saucedo, José Antonio, editor literario | Vasant, Pandian, editor literario. Material type: E-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7885 .A1 2019 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test / Arun Chandrasekharan, Daniel Große, Rolf Drechsler
by Chandrasekharan, Arun, autor | Drechsler, Rolf, autor | Große, Daniel, autor | SpringerLink (Online service). Material type: E-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7888.4 2019 EB |
reference |
|
|
|
|
|
|
International Conference on Innovative Computing and Communications : Proceedings of ICICC 2018, Volume 2 / edited by Siddhartha Bhattacharyya, Aboul Ella Hassanien, Deepak Gupta, Ashish Khanna, Indrajit Pan
by SpringerLink (Online service) | Bhattacharyya, Siddhartha, (1975-), editor literario | Hassanien, Aboul-Ella, editor literario | Gupta, Deepak, editor literario | Khanna, Ashish, editor literario | Pan, Indrajit, editor literario. Material type: E-book Publisher: Singapore : Springer Singapore : Imprint: Springer, 2019Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA75.5 2019 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Analog/Digital Implementation of Fractional Order Chaotic Circuits and Applications / by Esteban Tlelo-Cuautle, Ana Dalia Pano-Azucena, Omar Guillén-Fernández, Alejandro Silva-Juárez
by SpringerLink (Online service) | Tlelo-Cuautle, Esteban | Dalia Pano-Azucena, Ana, autor | Guillén-Fernández, Omar, autor | Silva-Juárez, Alejandro, autor. Edition: Primera edición 2020Source: Springer eBooksMaterial type: E-book Publisher: Cham : Springer, 2020Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
Q172.5 .C45 2020 EB |
reference |
|
|
|
|
|
|
Intelligent Human Systems Integration 2020 : Proceedings of the 3rd International Conference on Intelligent Human Systems Integration (IHSI 2020): Integrating People and Intelligent Systems, February 19-21, 2020, Modena, Italy / edited by Tareq Ahram, Waldemar Karwowski, Alberto Vergnano, Francesco Leali, Redha Taiar.
by SpringerLink (Online service) | Ahram, Tareq, editor | Karwowski, Waldemar, editor | Vergnano, Alberto, editor | Leali, Francesco, editor | Taiar, Redha, editor. Edition: First editionSource: Springer eBooksMaterial type: E-book Publisher: Cham : Springer International Publishing : Imprint Springer, 2020Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
Q334 2020 EB |
reference |
|
|
|
|
|
|
InECCE2019 : Proceedings of the 5th International Conference on Electrical, Control & Computer Engineering, Kuantan, Pahang, Malaysia, 29th July 2019 / edited by Ahmad Nor Kasruddin Nasir, Mohd Ashraf Ahmad, Muhammad Sharfi Najib, Yasmin Abdul Wahab, Nur Aqilah Othman, Nor Maniha Abd Ghani, Addie Irawan, Sabira Khatun, Raja Mohd Taufika Raja Ismail, Mohd Mawardi Saari, Mohd Razali Daud, Ahmad Afif Mohd Faudzi.
by SpringerLink (Online service) | Kasruddin Nasir, Ahmad Nor, editor | Ahmad, Mohd Ashraf, editor | Najib, Muhammad Sharfi, editor | Abdul Wahab, Yasmin, editor | Othman, Nur Aqilah, editor | Abd Ghani, Nor Maniha, editor | Irawan, Addie, editor | Khatun, Sabira, editor | Raja Ismail, Raja Mohd Taufika, editor | Saari, Mohd Mawardi, editor | Daud, Mohd Razali, editor | Mohd Faudzi, Ahmad Afif, editor. Edition: First edition 2020.Source: Springer eBooksMaterial type: E-book Publisher: Singapore : Springer Singapore, 2020Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5 2020 EB |
reference |
|
|
|
|
|
|
Theory and Applications of Dependable Computer Systems : Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 - July 3, 2020, Brunów, Poland / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk
by Zamojski, Wojciech, editor | Mazurkiewicz, Jacek, editor | Sugier, Jarosław, editor | Walkowiak, Tomasz, editor | Kacprzyk, Janusz, editor | SpringerLink (Online service). Edition: First editionMaterial type: E-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76 2020 EB |
reference |
|
|
|