Results 221 to 230 of about 43,084 (268)

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

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

USTICA (isola)

2012
Spatafora Francesca,Corretti Alessandro. USTICA (isola). In: Bibliografia topografica della colonizzazione greca in Italia e nelle Isole Tirreniche, n°21, 2012. Siti : Torre Castelluccia - Zambrone. pp. 427-440.
Spatafora, Francesca, Corretti, Alessandro   +1 more
openaire   +1 more source

[Isola Madre]

Blick auf die Isola Madre im Lago Maggiore, Laveno im Hintergrund ...
openaire   +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. van Belkum, Corine Fulchiron, R. Huguet, D. Raoult, J. Rolain   +5 more
semanticscholar   +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

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

Evaluating Centroid-Moment-Tensor Uncertainty in the New Version of ISOLA Software

, 2013
E. Sokos, J. Zahradník
semanticscholar   +1 more source

Laser isolas

Journal of the Optical Society of America B, 1985
John C. Englund, William C. Schieve
openaire   +1 more source