Buchbesprechung von: Burkhart Lauterbach: Städtetourismus. Kulturwi...
... Gyr, Ueli (2015). Buchbesprechung von: Burkhart Lauterbach: Städtetourismus ... Buchbesprechung von: Burkhart Lauterbach: Städtetourismus. Kulturwissenschaftliche Studien. Eine ... Buchbesprechung von: Burkhart Lauterbach: Städtetourismus. Kulturwissenschaftliche Studien. Eine ... Buchbesprechung von: Burkhart Lauterbach: Städtetourismus. Kulturwissenschaftliche Studien. Eine ...
Studio Tom Emerson – Sports, Nature und the City
... Schwiete, Lea Blodig, Lukas Burkhart, Noemi Engel, Sybille Nussbaum, Vedran Brasnic ... and Ice Rink Candidates Katharina Schwiete, Lea Blodig, Lukas Burkhart, Noemi Engel, Sybille ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... @Article{ basin.ea:berichte:2000, author = {David Basin and Luca Vigan{\`o} and Burkhart Wolff ... @Article{ basin.ea:berichte:2000, author = {David Basin and Luca Vigan{\`o} and Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... and Frank Rittinger and Burkhart Wolff We present a proof environment for the specification language Z ... and Frank Rittinger and Burkhart Wolff We present a proof environment for the specification language Z ...
Visitors – Information Security Group | ETH Zurich
... Soledad Egea Gonzales, Atos Research: 06.02.2012-10.02.2012 Prof. Burkhart Wolff: 01.10.2010-30.09.2012 ... Dr. Marina Soledad Egea Gonzales, Atos Research: 06.02.2012-10.02.2012 Prof. Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Abstract: A Proposal for a Formal OCL Semantics in Isabelle/HOL Achim D. Brucker and Burkhart Wolff ... Abstract: A Proposal for a Formal OCL Semantics in Isabelle/HOL Achim D. Brucker and Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Abstract: HOL-OCL: Experiences, Consequences and Design Choices Achim D. Brucker and Burkhart Wolff ... Abstract: HOL-OCL: Experiences, Consequences and Design Choices Achim D. Brucker and Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Burkhart Wolff We present a formal model of the Java two's-complement integral arithmetics. The model ... Burkhart Wolff We present a formal model of the Java two's-complement integral arithmetics. The model ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Hironobu Kuruma and Shin Nakajima and Burkhart Wolff Z is a standardized and well-established formal ... Hironobu Kuruma and Shin Nakajima and Burkhart Wolff Z is a standardized and well-established formal ...
