Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Libro
|
![]() |
Ship and Offshore Structure Design in Climate Change PerspectiveMaria Bitner-Gregersen, Elzbieta ; Ingolf Eide, Lars ; Hørte, Torfinn ; Skjong, Rolf ; Bitner-Gregersen, Elzbieta Maria ; Eide, Lars IngolfCham: Springer Nature 2013Texto completo disponible |
2 |
Material Type: Acta de Congreso
|
![]() |
Java Pathfinder at SV-COMP 2019 (Competition Contribution)Artho, Cyrille ; Visser, W.25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224 [Revista revisada por pares]Texto completo disponible |