1
The Logic of Software. A Tasting Menu of Formal Methods [E-Book] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
Other Personal Name(s): “...Johnsen, Einar Broch...”

Full text 
Favorites
Saved in:
2
Fundamental Approaches to Software Engineering [E-Book] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Other Personal Name(s): “...Johnsen, Einar Broch...”

Full text 
Favorites
Saved in:
3
Theory and Practice of Formal Methods [E-Book] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
Other Personal Name(s): “...Johnsen, Einar Broch...”

Full text 
Favorites
Saved in:
4
Service-Oriented and Cloud Computing [E-Book] : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings /
Other Personal Name(s): “...Johnsen, Einar Broch...”

Full text 
Favorites
Saved in:
5
Formal Methods for Multicore Programming [E-Book] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
Other Personal Name(s): “...Johnsen, Einar Broch....”

Full text 
Favorites
Saved in:
6
Formal Methods for Executable Software Models [E-Book] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Other Personal Name(s): “...Johnsen, Einar Broch....”

Full text 
Favorites
Saved in:
7
Integrated Formal Methods [E-Book] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Other Personal Name(s): “...Johnsen, Einar Broch....”

Full text 
Favorites
Saved in:
8
Ein neues LIF-Instrument für flugzeug- und bodengebundene Messungen von OH- und HO2-Radikalen in der Troposphäre [E-Book] /
Other Personal Name(s): “...Broch, Sebastian...”

Full text  JuSER 
Favorites
Saved in:
9
Ein neues LIF-Instrument für flugzeug- und bodengebundene Messungen von OH- und HO2-Radikalen in der Troposphäre /
Book
Other Personal Name(s): “...Broch, Sebastian...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
10
Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Other Personal Name(s): “...Johnsen, Einar Broch...”

Full text 
Favorites
Saved in:
11
Mechanical vibration and shock measurements.
Book
Other Personal Name(s): “...Trampe-Broch, J....”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results