Results
|
|
|
The Journal of Supercomputing Material type:  E-journal Publisher: New York : Springer US, 1987-Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.7 ES |
reference |
|
|
|
|
|
|
|
|
|
|
Ethereum smart contract development in solidity / by Gavin Zheng, Longxiang Gao, Liqun Huang, Jian Guan
by Zheng, Gavin, autor | Gao, Longxiang, autor | Huang, Liqun, autor | Guan, Jian, autor | SpringerLink. Edition: First edition 2021Material type:  E-book Publisher: Singapore : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76 .A65 2021 EB |
reference |
|
|
|
|
|
|
Evaluation of novel approaches to software engineering : 15th international conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers / edited by Raian Ali, Hermann Kaindl, Leszek A Maciaszek
by Ali, Raian, editor literario | Kaindl, Hermann, editor literario | Maciaszek, Leszek A, 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.758 2021 EB |
reference |
|
|
|
|
|
|
Programming languages and systems : 30th European Symposium on Programming, ESOP 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 Nobuko Yoshida
by Yoshida, Nobuko, 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.7 2021 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / edited by José F Morales, Dominic Orchard
by Morales, José F, editor literario | Orchard, Dominic, 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.7 2021 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers / edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill
by van Sinderen, Marten, editor literario | Fill, Hans-Georg, editor literario. Edition: First edition 2021Material type: E-book Publisher: Cham : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.758 2021 EB |
reference |
|
|
|
|
|
|
Domain-Specific Languages in Practice with JetBrains MPS / edited by Antonio Bucchiarone, Antonio Cicchetti, Federico Ciccozzi, Alfonso Pierantonio.
by Bucchiarone, Antonio, editor literario | Cicchetti, Antonio, editor literario | Ciccozzi, Federico, editor literario | Pierantonio, Alfonso, editor literario. Edition: First edition 2021Material type: E-book Publisher: Cham : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.7 2021 EB |
reference |
|
|
|
|
|
|
Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri
by Cheney, James, editor literario | Perri, Simona, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.615 2022 EB |
reference |
|
|
|
|
|
|
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Ilya Sergey
by Sergey, Ilya, 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) |
QA76.6 2022 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Semantic Similarity from Natural Language and Ontology Analysis / by Sébastien Harispe, Sylvie Ranwez, Stefan janaqi, Jacky Montmain
by Harispe, Sébastien, autor | Ranwez, Sylvie, autor | Janaqi, Stefan, autor | Montmain, Jacky, 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.9.N38 2015 |
reference |
|
|
|
|
|
|
XML Retrieval / by Mounia Lalmas
by Lalmas, Mounia, autor. Edition: 1st edition 2009Material type: E-book Publisher: Cham : Springer International Publishing, 2009Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.H94 2009 EB |
reference |
|
|
|
|
|
|
Action Programming Languages / by Michael Thielscher
by Thielscher, Michael, autor. Edition: 1st edition 2008Material type: E-book Publisher: Cham : Springer International Publishing, 2008Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.7 2008 EB |
reference |
|
|
|
|
|
|
Compiling Algorithms for Heterogeneous Systems / by Steven Bell, Jing Pu, James Hegarty, Mark Horowitz
by Bell, Steven, (Electrical engineer), autor | Pu, Jing, (Software engineer), autor | Hegarty, James, (Computer scientist), autor | Horowitz, Mark(Mark Alan), autor. Edition: 1st edition 2018Material type: E-book Publisher: Cham : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.7 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Python Data Science / by Chaolemen Borjigin
by Borjigin, Chaolemen, autor. Edition: 1st ed 2023Material type: E-book Publisher: Singapore : Springer Nature , 2023Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.7 2023 EB |
reference |
|
|
|