Results
|
|
|
|
|
|
|
Resource Management for Big Data Platforms : Algorithms, Modelling, and High-Performance Computing Techniques / edited by Florin Pop, Joanna Kołodziej, Beniamino Di Martino
by SpringerLink (Online service) | Pop, Florin, editor literario | Kołodziej, Joanna, editor literario | Di Martino, Beniamino, editor literario. Material type:  E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.B45 R476 2016 EB |
reference |
|
|
|
|
|
|
Knowledge Engineering and Semantic Web : 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings / edited by Axel-Cyrille Ngonga Ngomo, Petr Kremen
by Kremen, Petr, editor literario | Ngonga Ngomo, Axel-Cyrille, editor literario | SpringerLink (Online service). Material type: E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.758 .K56 2016 EB |
reference |
|
|
|
|
|
|
Advanced Computer Architecture : 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings / edited by Junjie Wu, Lian Li
by Wu, Junjie, (Computer scientist), editor literario | Li, Lian, editor literario. Material type: E-book Publisher: Singapore : Springer, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.A73 A383 2016 EB |
reference |
|
|
|
|
|
|
Software : Practice & Experience Material type:  E-journal Publisher: Oxford : Wiley-Blackwell, 1996-Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.75 ES |
reference |
|
|
|
|
|
|
|
|
|
|
Software - Concepts & Tools Material type: E-journal; Type of continuing resource:
periodical
Publisher: Berlín : Springer-Verlag, 1982-Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.75 ES |
reference |
|
|
|
|
|
|
Virtual Reality Material type: E-journal Publisher: Londres : Springer London, 1995-Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.75 ES |
reference |
|
|
|
|
|
|
Trends in software testing / Hrushikesha Mohanty, J.R. Mohanty, Arunkumar Balakrishnan, editors.
by Balakrishnan, Arunkumar, editor literario | Mohanty, Hrushikesha, editor literario | Mohanty, J. R, editor literario. Material type: E-book Publisher: Singapore : Springer, [2016]Copyright date: 2017Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.T48 T746 2016 EB |
reference |
|
|
|
|
|
|
Formal verification of Simulink/Stateflow diagrams : a deductive approach / Naijun Zhan, Shuling Wang, Hengjun Zhao.
by Zhan, Naijun, autor | Wang, Shuling, autor | Zhao, Hengjun, autor. Material type: E-book Publisher: Cham, Switzerland : Springer, [2016]Copyright date: 2017Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.V47 Z436 2016 EB |
reference |
|
|
|
|
|
|
Computing platforms for software-defined radio / Waqar Hussain, Jari Nurmi, Jouni Isoaho, Fabio Garzia, editors.
by Garzia, Fabio | Hussain, Waqar, editor literario | Isoaho, Jouni | Nurmi, Jari. Material type: E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7888.4 C667 2016 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Advances in Data and Information Sciences : Proceedings of ICDIS-2017, Volume 1 / edited by Mohan L. Kolhe, Munesh C. Trivedi, Shailesh Tiwari, Vikash Kumar Singh.
by SpringerLink (Online service) | Kolhe, Mohan L, editor literario | Trivedi, Munesh C, editor literario | Tiwari, Shailesh, editor literario | Singh, Vikash Kumar, editor literario. Material type: E-book Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.751 2018 EB |
reference |
|
|
|
|
|
|
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers / by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
by SpringerLink (Online service) | Przigoda, Nils, autor. | Wille, Robert, autor. | Przigoda, Judith, autor. | Drechsler, Rolf, autor.. Material type: E-book Publisher: Cham : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.O35 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Data and Information Sciences : Proceedings of ICDIS 2019 / edited by Mohan L. Kolhe, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra.
by SpringerLink (Online service) | Kolhe, Mohan L, editor | Tiwari, Shailesh, editor | Trivedi, Munesh C, editor | Mishra, Krishn K, editor. Edition: First editionSource: Springer eBooksMaterial type: E-book Publisher: Singapore : Springer Singapore : Imprint Springer, 2020Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.751 2020 EB |
reference |
|
|
|
|
|
|
Distributed Computing and Internet Technology : 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7-10, 2021, Proceedings / edited by Diganta Goswami, Truong Anh Hoang
by Goswami, Diganta, editor literario | Hoang, Truong Anh, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105.5 2021 EB |
reference |
|
|
|
|
|
|
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Stefan Kiefer, Christine Tasson
by Kiefer, Stefan, editor literario | Tasson, Christine, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.754 2021 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Advances in Data and Information Sciences : Proceedings of ICDIS 2021 / edited by Shailesh Tiwari, Munesh C. Trivedi, Mohan Lal Kolhe, K.K. Mishra, Brajesh Kumar Singh.
by Tiwari, Shailesh, editor literario | Trivedi, Munesh C, editor literario | Kolhe, Mohan Lal, editor literario | Mishra, K. K, editor literario | Singh, Brajesh Kumar, editor literario. Edition: First edition 2022Material type: E-book Publisher: Singapore : Springer International Publishing, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.751 2022 EB |
reference |
|
|
|
|
|
|
Intelligent Crowdsourced Testing / by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng
by Wang, Qing, autor | Chen, Zhenyu, autor | Wang, Junjie, autor | Feng, Yang, (1987-), autor. Edition: First edition 2022Material type: E-book Publisher: Singapore : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.T48 2022 EB |
reference |
|
|
|
|
|
|
Verification and Evaluation of Computer and Communication Systems : 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers / edited by Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
by Nouri, Ayoub, editor literario | Wu, Weimin, editor literario | Barkaoui, Kamel, editor literario | Li, ZhiWu, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105.5 2022 EB |
reference |
|
|
|