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: Martin. Wirsing 35 träffar

Titel Författare År Språk
1 Algebraic methods - theory, tools, and applications cop. 1989 Engelska
2 Formal description of programming concepts-III - proceedings of the IFIP TC2/WG2.2 Working Conference on Formal Description of Programming Concepts Ebberup, Denmark 25-28 August, 1986 Denmark) IFIP TC2/WG2.2 Working Conference on Formal Description of Programming Concepts-III 1986 : Ebberup 1987 Engelska
3 STACS 88 - proceedings Symposium on Theoretical Aspects of Computer Science 1988) Bordeaux : cop. 1988 Engelska
4 Elementare Aussagenlogik Friedrich Ludwig Bauer cop. 1991 Tyska
5-7 Programming language implementation and logic programming (flera utgåvor) cop. 1992 Engelska
8-9 Methods of programming - selected papers on the CIP-project (flera utgåvor) cop. 1991 Engelska
10 Algebraic methodology and software technology International Conference on Algebraic Methodology and Software Technology München) 1996 : 1996 Engelska
11 Rigorous Software Engineering for Service-Oriented Systems Martin Wirsing 2011 Okänt
12 Theoretical Aspects of Computing – ICTAC 2005 - Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings Dang. Hung 2005 Engelska
13 Recent trends in algebraic development techniques. - 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers Germany) WADT 2002 (2002 : Frauenchiemsee 2003 Engelska
14 Radical innovations of software and systems engineering in the future. - 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 : revised papers 2004 Engelska
15-16 Adapting proofs-as-programs - the Curry-Howard protocol (flera utgåvor) Iman Hafiz Poernomo c2005 Engelska
17 Web Engineering ICWE 2004 2004 Engelska
18 Theoretical Aspects of Computing - ICTAC 2005 Dang Van. Hung Engelska
19 Algebraic Methodology and Software Technology International Conference on Algebraic Methodology and Software Technology 1996 Engelska
20 Software-Intensive Systems and New Computing Paradigms - Challenges and Visions David. Hutchison 2008 Engelska

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.