Home Advanced Search
Advanced Search - Page 1
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
- English
- Year: 2013
- Author: Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.)
Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings
- English
- Year: 2013
- Author: Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings
- English
- Year: 2017
- Author: Hague, Matthew; Potapov, Igor
Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
- English
- Year: 2019
- Author: Emmanuel Filiot, Raphaël Jungers, Igor Potapov
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
- English
- Year: 2012
- Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
The Seat of Wisdom: An Essay on the Place of the Virgin Mary in Christian Theology
- English
- Year: 1962
- Author: Louis Bouyer
Eucharist: Theology and Spirituality of the Eucharistic Prayer
- EPUB
- English
- Year: 1989
- Author: Louis Bouyer
Tomás Moro: Humanista y mártir
- Spanish
- Year: 1986
- Author: Louis Bouyer
La Descomposicion Del Catolicismo
- Spanish
- Author: Bouyer Louis