Results
|
|
|
Tools and methods of program analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers / edited by Anna Kalenkova, Jose A Lozano, Rostislav Yavorskiy
by Kalenkova, Anna, editor literario | Lozano, Jose A, editor literario | Yavorskiy, Rostislav, 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 |
|
|
|
|
|
|
Fundamental Approaches to Software Engineering 24th International Conference, FASE 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 Esther Guerra, Mariëlle Stoelinga
by Guerra, Esther, editor literario | Stoelinga, Mariëlle, 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 |
|
|
|
|
|
|
Software Quality : Future Perspectives on Software Engineering Quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings / edited by Dietmar Winkler, Stefan Biffl, Daniel Mendez, Manuel Wimmer, Johannes Bergsmann
by Winkler, Dietmar, editor literario | Biffl, Stefan, editor literario | Mendez, Daniel, editor literario | Wimmer, Manuel, editor literario | Bergsmann, Johannes, 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 |
|
|
|
|
|
|
Lean and Agile Software Development : 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings / edited by Adam Przybyłek, Jakub Miler, Alexander Poth, Andreas Riel
by Przybyłek, Adam, editor literario | Miler, Jakub, editor literario | Poth, Alexander, editor literario | Riel, Andreas, 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 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Requirements Engineering : Foundation for Software Quality : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings / edited by Fabiano Dalpiaz, Paola Spoletini
by Dalpiaz, Fabiano, editor literario | Spoletini, Paola, 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 |
|
|
|
|
|
|
Software engineering and formal methods : SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers / edited by Loek Cleophas, Mieke Massink
by Cleophas, Loek, editor literario | Massink, Mieke, 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 |
|
|
|
|
|
|
SOFSEM 2021 : theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings / edited by Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdziński, Claus Pahl, Florian Sikora, Prudence WH Wong
by Bureš, Tomáš, editor literario | Dondi, Riccardo, editor literario | Gamper, Johann, editor literario | Guerrini, Giovanna, editor literario | Jurdziński, Tomasz, editor literario | Pahl, Claus, editor literario | Sikora, Florian, editor literario | Wong, Prudence W.H, 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 2021 EB |
reference |
|
|
|
|
|
|
Model-Driven Engineering and Software Development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selić
by Hammoudi, Slimane, editor literario | Pires, Luís Ferreira, editor literario | Selić, Bran, 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 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Dependable Computing - EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings / edited by Rasmus Adler, Amel Bennaceur, Simon Burton, Amleto Di Salle, Nicola Nostro, Rasmus Løvenstein Olsen, Selma Saidi, Philipp Schleiss, Daniel Schneider, Hans-Peter Schwefel
by Adler, Rasmus, editor literario | Bennaceur, Amel, editor literario | Burton, Simon, editor literario | Di Salle, Amleto, editor literario | Nostro, Nicola, editor literario | Olsen, Rasmus Løvenstein, editor literario | Saidi, Selma, editor literario | Schleiss, Philipp, editor literario | Schneider, Daniel, editor literario | Schwefel, Hans-Peter, 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 |
|
|
|
|
|
|
Advances in Software Engineering, Education, and e-Learning : Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 / edited by Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti, Quoc-Nam Tran
by Arabnia, Hamid R, editor literario | Deligiannidis, Leonidas, editor literario | Tinetti, Fernando G, editor literario | Tran, Quoc-Nam, editor literario. Edition: First edition 2021Material type: E-book Publisher: Cham : Springer International Publishing, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA75.5 2021 EB |
reference |
|
|
|
|
|
|
Evaluation of Novel Approaches to Software Engineering : 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, 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. 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.758 2022 EB |
reference |
|
|
|
|
|
|
Recent Innovations in Computing : Proceedings of ICRIC 2021, Volume 1 / edited by Pradeep Kumar Singh, Yashwant Singh, Maheshkumar H. Kolekar, Arpan Kumar Kar, Paulo J. S. Gonçalves
by Singh, Pradeep Kumar, editor literario | Singh, Yashwant, editor literario | Kolekar, Maheshkumar H, editor literario | Kar, Arpan Kumar, editor literario | Gonçalves, Paulo J. S, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Singapore : Springer International Publishing, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.758 2022 EB |
reference |
|
|
|
|
|
|
Recent Innovations in Computing : Proceedings of ICRIC 2021, Volume 2 / edited by Pradeep Kumar Singh, Yashwant Singh, Jitender Kumar Chhabra, Zoltán Illés, Chaman Verma
by Singh, Pradeep Kumar, editor literario | Singh, Yashwant, editor literario | Chhabra, Jitender Kumar, editor literario | Illés, Zoltán, editor literario | Verma, Chaman, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Singapore : Springer International Publishing, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.758 2022 EB |
reference |
|
|
|
|
|
|
Intelligent Information Systems : CAiSE Forum 2022, Leuven, Belgium, June 6-10, 2022, Proceedings / edited by Jochen De Weerdt, Artem Polyvyanyy
by De Weerdt, Jochen, editor literario | Polyvyanyy, Artem, 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.758 2022 EB |
reference |
|
|
|
|
|
|
Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / edited by Maurice H. ter Beek, Marjan Sirjani
by ter Beek, Maurice H, editor literario | Sirjani, Marjan, 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.758 2022 EB |
reference |
|
|
|
|
|
|
Requirements Engineering: Foundation for Software Quality : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings / edited by Vincenzo Gervasi, Andreas Vogelsang
by Gervasi, Vincenzo, editor literario | Vogelsang, Andreas, 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.758 2022 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke
by Kovács, Laura, editor literario | Meinke, Karl, 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.758 2022 EB |
reference |
|
|
|
|
|
|
Formal Methods for Software Engineering : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
by Roggenbach, Markus, autor | Cerone, Antonio, autor | Schlingloff, Bernd-Holger, autor | Schneider, Gerardo, autor | Shaikh, Siraj Ahmed, autor. 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.758 2022 EB |
reference |
|
|
|
|
|
|
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 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 Patricia Bouyer, Lutz Schröder
by Bouyer, Patricia, 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.751 2022 EB |
reference |
|
|
|
|
|
|
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 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 Einar Broch Johnsen, Manuel Wimmer
by Johnsen, Einar Broch, editor literario | Wimmer, Manuel, 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.758 2022 EB |
reference |
|
|
|
|
|
|
Software Quality: The Next Big Thing in Software Engineering and Quality : 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022, Proceedings / edited by Daniel Mendez, Manuel Wimmer, Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
by Mendez, Daniel, editor literario | Wimmer, Manuel, editor literario | Winkler, Dietmar, editor literario | Biffl, Stefan, editor literario | Bergsmann, Johannes, 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.76.Q35 2022 EB |
reference |
|
|
|
|
|
|
Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings / edited by David Clark, Hector Menendez, Ana Rosa Cavalli
by Clark, David, editor literario | Menendez, Hector, editor literario | Cavalli, Ana Rosa, 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.76.T48 2022 EB |
reference |
|
|
|