Results 201 to 210 of about 190,439 (240)

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, 2018
T. Margaria, Bernhard Steffen
semanticscholar   +1 more source

[Isola Madre]

Blick auf die Isola Madre im Lago Maggiore, Laveno im Hintergrund ...
openaire   +1 more source

The archaeometric identification of the marbles of the Roman shipwrecks of Capo Granitola (TP), Isola delle Correnti and Marzamemi I (SR)

Journal of Archaeological Science: Reports, 2019
C. Beltrame, Thalia Percic, L. Lazzarini
semanticscholar   +1 more source

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)

Leveraging Applications of Formal Methods, 2018
M. Broy, K. Havelund, Rahul Kumar, B. Steffen   +3 more
semanticscholar   +1 more source

BASILUZZO (isola)

1985
Cavalier Madeleine. BASILUZZO (isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°4, 1985. Siti : Barra (isola) - Capua. pp. 14-17.
openaire   +1 more source

CAPRAIA (isola)

1985
Bejor Giorgio,Gras Michel. CAPRAIA (isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°4, 1985. Siti : Barra (isola) - Capua. pp. 443-445.
Bejor, Giorgio, Gras, Michel
openaire   +1 more source

FAVIGNANA (isola)

1989
Corretti Alessandro. FAVIGNANA (isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°7, 1989. Siti : Cuccuvà - Garaguso. pp. 418-426.
openaire   +1 more source

Turbulent behaviour within a coastal boundary layer, observations and modelling at the Isola del Giglio

Deutsche Hydrographische Zeitschrift, 2017
C. Brandini, Stefano Taddei, Bartolomeo Doronzo, Maria Fattorini, L. Costanza, M. Perna, F. Serafino, G. Ludeno   +7 more
semanticscholar   +1 more source

PONZA (isola)

1996
Panessa Giangiacomo. PONZA (isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°14, 1996. Siti : Pitigliano - Regalbuto. pp. 198-199.
openaire   +1 more source

ELBA (isola)

1989
Corsi Lucia,Gras Michel. ELBA (isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°7, 1989. Siti : Cuccuvà - Garaguso. pp. 127-146.
Corsi, Lucia, Gras, Michel
openaire   +1 more source