Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
Dynamics of Adsorptive Systems for Heat Transformation : Optimization of Adsorber, Adsorbent and Cycle / by Alessio Sapienza, Andrea Frazzica, Angelo Freni, Yuri Aristov.
by SpringerLink (Online service) | Sapienza, Alessio, autor. | Frazzica, Andrea, autor. | Freni, Angelo, autor. | Aristov, Yuri, autor.. Material type: E-book Publisher: Cham : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TJ260 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational Approaches in the Transfer of Aesthetic Values from Paintings to Photographs Beyond Red, Green and Blue / by Xiaoyan Zhang, Martin Constable, Kap Luk Chan, Jinze Yu, Wang Junyan.
by Zhang, Xiaoyan, autor. | Constable, Martin, autor. | Chan, Kap Luk, autor. | Yu, Jinze, autor. | Junyan, Wang, autor. | SpringerLink (Online service). Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TA1637 .Z436 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
VLSI Design: Circuits, Systems and Applications : Select Proceedings of ICNETS2, Volume V / edited by Jie Li, A Ravi Sankar, P Augusta Sophy Beulet.
by SpringerLink (Online service) | Li, Jie | Sankar, A Ravi, editor literario | Beulet, P Augusta Sophy, editor literario. Material type: E-book Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7874.75 2018 EB |
reference |
|
|
|
|
|
|
Microelectronics, Electromagnetics and Telecommunications: Proceedings of ICMEET 2017 / edited by Jaume Anguera, Suresh Chandra Satapathy, Vikrant Bhateja, K.V.N. Sunitha.
by SpringerLink (Online service) | Anguera, Jaume, editor literario | Satapathy, Suresh Chandra, editor literario | Bhateja, Vikrant, editor literario | Sunitha, K.V.N, editor literario. Material type: E-book Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7874 2018 EB |
reference |
|
|
|
|
|
|
Innovative Techniques and Applications of Modelling, Identification and Control: Selected and Expanded Reports from ICMIC'17 / edited by Quanmin Zhu, Jing Na, Xing Wu.
by SpringerLink (Online service) | Zhu, Quanmin, editor literario | Na, Jing, editor literario | Wu, Xing, editor literario. Material type: E-book Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
T57.62 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Future Spacecraft Propulsion Systems and Integration. Enabling Technologies for Space Exploration / by Paul A. Czysz, Claudio Bruno, Bernd Chudoba
by SpringerLink (Online service) | Czysz, Paul A, autor | Bruno, Claudio, autor | Chudoba, Bernd, autor. Edition: 3rd editionMaterial type: E-book Publisher: Berlin, Heidelberg : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TL782 2018 EB |
reference |
|
|
|
|
|
|
High Tech Concrete: Where Technology and Engineering Meet Proceedings of the 2017 fib Symposium, held in Maastricht, The Netherlands, June 12-14, 2017 / edited by D.A. Hordijk, M. Luković.
by Hordijk, D.A, editor literario | Luković, M, editor literario. Publisher: Cham : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TA439 .H544 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Smart Computing and Informatics Proceedings of the First International Conference on SCI 2016, Volume 2 / edited by Suresh Chandra Satapathy, Vikrant Bhateja, Swagatam Das.
by Satapathy, Suresh Chandra, editor literario | Bhateja, Vikrant, editor literario | Das, Swagatam, editor literario | SpringerLink (Online service). Publisher: Singapore : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
Q334 .S637 2018 EB |
reference |
|
|
|