1
Published 2020
The Institute of Electrical and Electronics Engineers, Inc.

2
Published 2022
The Institute of Electrical and Electronics Engineers, Inc.

3
Published 2017
Springer International Publishing
...This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference...

4
Published 2018
Springer International Publishing
...This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable...

5
Published 1991
Springer Berlin Heidelberg
..., MIE 91, that will be held in Vienna, Austria, August 19-22, 1991. The MIE 91 Congress was organized...

6
Published 2005
Springer Berlin Heidelberg
... InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent...

7
Published 2015
Springer International Publishing
...This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference...

8
Published 2022
Springer International Publishing
...-Learning Network, EDEN 2022, held in Tallinn, Estonia, from June 20–22, 2022. The 11 full papers and 2...

11
Published 2002
Springer Berlin Heidelberg
...This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002...

15
Published 2009
Springer Berlin Heidelberg
... in Medicine in Europe, AIME 2009, held in Verona, Italy in July 2009. The 24 revised long papers and 36...

16
Published 1982
Springer Netherlands
Table of Contents: ... -- Forest fires in countries of northern, eastern and central Europe -- Forest fires in the Mediterranean...

18
Published 1996
Springer Berlin Heidelberg
... Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted...