Refine your search

Your search returned 111 results.

Sort
Results
Development of a Cyber Physical System for Fire Safety / by Rosalie Faith Wills, André Marshall.

by Wills, Rosalie Faith | Marshall, André.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TH9148 .W555 2016 EB reference

Computer and Computing Technologies in Agriculture IX : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II / edited by Daoliang Li, Zhenbo Li.

by Li, Daoliang, editor literario | Li, Zhenbo, editor literario.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) S494.5.D3 C667 2016 EB reference

Computer and Computing Technologies in Agriculture IX : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I / edited by Daoliang Li, Zhenbo Li.

by Li, Daoliang, editor literario | Li, Zhenbo, editor literario.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) S494.5.D3 C667 2016 EB reference

International Communities of Invention and Innovation : IFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016, Revised Selected Papers / edited by Arthur Tatnall, Christopher Leslie.

by Tatnall, Arthur, editor literario | Leslie, Christopher, editor literario.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.17 2016 EB reference

Sports Science Research and Technology Support : Third International Congress, icSPORTS 2015, Lisbon, Portugal, November 15-17, 2015, Revised Selected Papers / edited by Jan Cabri, Pedro Pezarat Correia.

by Cabri, Jan, editor literario | Pezarat Correia, Pedro, editor literario.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) GV557.5 S667 2016 EB reference

Decision Procedures : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. 2016.Material type: bookE-book Publisher: Berlin, Heidelberg : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA279.4 K764 2016 EB reference

Multimedia Tools and Applications

Material type: serialE-journal; Type of continuing resource: periodical Publisher: New York : Springer US, 1995-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.575 ES reference

Neuro-inspired computing using resistive synaptic devices / Shimeng Yu, editor.

by Yu, Shimeng, (Electrical engineer), editor literario.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2017Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.87 N487 2017 EB reference

Innovations in computer science and engineering : proceedings of the fourth ICICSE 2016 / H.S. Saini, Rishi Sayal, Sandeep Singh Rawat, editors.

by International Conference on Internet Computing in Science and Engineering ((4th : 2016 : Hyderabad, India)) | Rawat, Sandeep Singh, editor literario | Saini, H. S, editor literario | Sayal, Rishi, editor literario.

Material type: bookE-book Publisher: Singapore : Springer, [2017]Copyright date: 2017Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA75.5 I566 2017 EB reference

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 / edited by Franco Fummi, Robert Wille.

by Fummi, Franco, editor literario | Wille, Robert, editor literario.

Publisher: Cham : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.F67 L364 2018 EB reference

Symbolic Parallelization of Nested Loop Programs / by Alexandru-Petru Tanase, Frank Hannig, Jürgen Teich.

by Tanase, Alexandru-Petru, autor | Hannig, Frank, autor | Teich, Jürgen, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.642 2018 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: bookE-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

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: bookE-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

Formal Verification of Floating-Point Hardware Design : A Mathematical Approach / by David M. Russinoff.

by SpringerLink (Online service) | Russinoff, David M, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76 2019 EB reference

Approximate Circuits : Methodologies and CAD / edited by Sherief Reda, Muhammad Shafique

by SpringerLink (Online service) | Reda, Sherief, editor literario | Shafique, Muhammad, editor literario.

Material type: bookE-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

Advances in computational science and computing / edited by Ning Xiong, Zheng Xiao, Zhao Tong, Jiayi Du, Lipo Wang, Maozhen Li

by SpringerLink (Online service) | Xiong, Ning, editor literario | Xiao, Zheng, editor literario | Tong, Zhao, editor literario | Du, Jiayi, editor literario | Wang, Lipo, editor literario | Li, Maozhen, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76 2019 EB reference

Behaviourism in Studying Swarms : Logical Models of Sensing and Motoring / by Andrew Schumann.

by SpringerLink (Online service) | Schumann, Andrew, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.N37 S386 2019 reference

Smart Innovations in Communication and Computational Sciences : Proceedings of ICSICCS 2017, Volume 2 / edited by Bijaya Ketan Panigrahi, Munesh C. Trivedi, Krishn K. Mishra, Shailesh Tiwari, Pradeep Kumar Singh.

by Panigrahi, Bijaya Ketan, editor | Trivedi, Munesh C, editor | Mishra, Krishn K, editor | Tiwari, Shailesh, editor | Singh, Pradeep Kumar, editor | SpringerLink (Online service).

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76 2019 EB reference

Advanced computing and systems for security . Volume nine / edited by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

by Chaki, Rituparna, editor | Cortesi, Agostino, editor | Saeed, Khalid, editor | Chaki, Nabendu, editor.

Edition: First editionMaterial type: bookE-book Publisher: Singapore : Springer Singapore, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .A25 2020 EB reference

Advanced computing and systems for security . Volume ten / edited by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

by Chaki, Rituparna, editor | Cortesi, Agostino, editor | Saeed, Khalid, editor | Chaki, Nabendu, editor.

Edition: First editionMaterial type: bookE-book Publisher: Singapore : Springer Singapore, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .A25 2020 EB reference

Handbook of Microwave and Radar Engineering / by Anatoly Belous

by Belous, Anatoly, autor.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2021 EB reference

AC Electrical Circuit Analysis : Practice Problems, Methods, and Solutions / by Mehdi Rahmani-Andebili

by Rahmani-Andebili, Mehdi, autor.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2021 EB reference

ASIC Design and Synthesis : RTL Design Using Verilog / by Vaibbhav Taraate.

by Taraate, Vaibbhav, autor.

Edition: First edition 2021Material type: bookE-book Publisher: Singapore : Springer International Publishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2021 EB reference

Authentication of Embedded Devices : Technologies, Protocols and Emerging Applications / edited by Basel Halak.

by Halak, Basel, editor literario.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2021 EB reference

Cyber-physical systems : a model-based approach / by Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg

by Taha, Walid M, autor | Taha, Abd-Elhamid M, autor | Thunberg, Jonas, (1952-), autor | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .C643 2021 EB reference

Pages