1
Interactive Theorem Proving [E-Book] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
Other Personal Name(s): “...Merz, Stephan...”

Full text 
Favorites
Saved in:
2
Formal Methods and Software Engineering [E-Book] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
Other Personal Name(s): “...Merz, Stephan....”

Full text 
Favorites
Saved in:
3
Integrated Formal Methods [E-Book] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Other Personal Name(s): “...Merz, Stephan....”

Full text 
Favorites
Saved in:
4
Temporal Logic and State Systems [E-Book] /
Other Personal Name(s): “...Merz, Stephan....”

Full text 
Favorites
Saved in:
5
Chemie der Entsorgung von Kernkraftwerken : Vorträge eines Fortbildungsseminars für Chemie- und Biologielehrer, veranstaltet vom Institut für Chemie der Kernforschungsanlage Jülich GmbH in Zusammenarbeit mit dem Landesinstitut für schulpädagogische Bildung, Düsseldorf [E-Book] /
Other Personal Name(s): “...Merz, Erich...”

JuSER  Full text 
Favorites
Saved in:

Narrow Search Results