skip to main content
Mostrar solo
Refinado por: colección: Springer Books eliminar OAPEN eliminar idioma: Japonés eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Ship and Offshore Structure Design in Climate Change Perspective
Material Type:
Libro
Añadir a Mi Portal

Ship and Offshore Structure Design in Climate Change Perspective

Maria Bitner-Gregersen, Elzbieta ; Ingolf Eide, Lars ; Hørte, Torfinn ; Skjong, Rolf ; Bitner-Gregersen, Elzbieta Maria ; Eide, Lars Ingolf

Cham: Springer Nature 2013

Texto completo disponible

2
Java Pathfinder at SV-COMP 2019 (Competition Contribution)
Material Type:
Acta de Congreso
Añadir a Mi Portal

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

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora