Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Christian Urban
11 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
|
Stefan. Berghofer
|
2009 |
Engelska |
2 |
Experimentelle Untersuchungen und Bemessungsansätze für faserverstärktes Mauerwerk unter Erdbebenbeanspruchungen
|
Christian Moritz Urban
|
2015 |
Okänt |
3 |
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
|
|
2015 |
Engelska |
4 |
Theorem Proving in Higher Order Logics
|
Stefan Berghofer
|
2009 |
Okänt |
5 |
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
|
Christian Urban
|
2015 |
Okänt |
6 |
Towards a theology of people 1
|
|
1977 |
Engelska |
7 |
In clenched fists of struggle - report of the workshop on the impact of TNCs in Asia
|
|
1981 |
Engelska |
8 |
Theology and ideology in Asian people's struggle
|
|
1985 |
Engelska |
9 |
Tea and poverty - plantations and the political economy of Sri Lanka
|
Nawaz Dawood
|
1980 |
Engelska |
10 |
Theology in action - a workshop report, September 1-12, 1972, Manila, Republic of the Philippines
|
|
1973 |
Engelska |
11 |
Theology in action 2 - a workshop report for Malaysia and Singapore, March 1-6, 1973, Kuala Lumpur, W. Malaysia
|
|
1973 |
Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.