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: Bernhard Möller
24 träffar
|
Titel |
Författare |
År |
Språk |
1-2 |
Relations and Kleene Algebra in Computer Science - 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germ
(flera utgåvor)
|
Rudolf. Berghammer
|
2009 |
Engelska |
3 |
Formal Program Development
|
Bernhard Möller
|
uuuu-uuuu |
Okänt |
4 |
Mathematics of Program Construction - Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
|
MPC '95 (1995 : Kloster Irsee) Olaf. Burkart
|
1995 |
Engelska |
5 |
Formal program development - IFIP TC2/WG 2.1 state-of-the-art report
|
|
cop. 1993 |
Engelska |
6-7 |
Higher-Order Algebra, Logic, and Term Rewriting
(flera utgåvor)
|
|
1996 |
Engelska |
8 |
Mathematics of program construction - selected papers from the third International Conference on the Mathematics of Program Construction : (17-21 July 1995, Kloster Irsee, Germany)
|
International Conference on Mathematics of Program Construction Kloster Irsee : 1995)
|
1996 |
Engelska |
9 |
Mathematics of program construction - third International Conference MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
|
International Conference on Mathematics of Program Construction 1995) Kloster Irsee :
|
cop. 1995 |
Engelska |
10-11 |
Mathematics of program construction - 6th international conference, MPC 2002, Dagstuhl Castle, Germany, Julu 8-10, 2002 : proceedings
(flera utgåvor)
|
International Conference on the Mathematics of Program Construction 2002) Dagstuhl :
|
cop. 2002 |
Engelska |
12 |
Mathematics of Program Construction
|
International Conference on the Mathematics of Program Construction
|
1995 |
Engelska |
13 |
Analytische Unterrichtsmodelle - Ergebnisse und Probleme der wissenschaftlichen Lernorganisation
|
Bernhard Möller
|
1966 |
Tyska |
14 |
Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
|
Bernhard Möller
|
1993 |
Okänt |
15 |
Worauf gründet sich die schnelle und grossartige materielle Entwicklung der Ver.Staaten von Nordamerika? - Diss.
|
Bernhard Möller
|
1872 |
Tyska |
16-17 |
Prospects for hardware foundations
(flera utgåvor)
|
|
cop. 1998 |
Engelska |
18 |
Relational and Kleene-Algebraic Methods in Computer Science
|
International Seminar on Relational Methods in Computer Science
|
2004 |
Engelska |
19 |
Relations and Kleene Algebra in Computer Science
|
Rudolf Berghammer
|
2009 |
Okänt |
20 |
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
|
Rudolf Berghammer
|
2008 |
Okänt |
1
2
Nästa sida
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.