Results 211 to 220 of about 190,439 (240)

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

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

LIPARI (Isola)

1991
Bernabò Brea Luigi,Cavalier Madeleine. LIPARI (Isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°9, 1991. Siti : Leonessa - Mesagne. pp. 81-185.
Bernabo Brea, Luigi, Cavalier, Madeleine
openaire   +1 more source

Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues - ISOLA'2016 - Panel Discussion Position Paper

Leveraging Applications of Formal Methods, 2016
G. Serugendo
semanticscholar   +1 more source

Evaluation of the PREVI® Isola automated seeder system compared to reference manual inoculation for antibiotic susceptibility testing by the disk diffusion method

European Journal of Clinical Microbiology and Infectious Diseases, 2015
S. Le Page, A. Belkum, C. Fulchiron, R. Huguet, D. Raoult, J. Rolain   +5 more
semanticscholar   +1 more source

PALMARIA (isola)

1994
Vaggioli Maria Adelaide. PALMARIA (isola). In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°13, 1994. Siti : Orvieto - Pisa. pp. 310-320.
openaire   +1 more source

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016

Leveraging Applications of Formal Methods, 2016
F. Howar, K. Meinke, A. Rausch
semanticscholar   +1 more source

Determination and identification of focal mechanism solutions for Himalayan earthquakes from waveform inversion employing ISOLA software

Natural Hazards, 2015
Rohtash Kumar, S. Gupta, Arjun Kumar
semanticscholar   +1 more source

SALINA (isola)

2001
Bernabò Brea Luigi,Cavalier Madeleine. SALINA (isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°17, 2001. Siti : Rosarno - San Brancato. pp. 226-234.
Bernabo Brea, Luigi, Cavalier, Madeleine
openaire   +1 more source

Isola family

Notes and Queries, 1911
openaire   +1 more source

PIANOSA (isola)

1994
Corsi Lucia. PIANOSA (isola) . In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°13, 1994. Siti : Orvieto - Pisa. pp. 535-546.
openaire   +1 more source