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 39 träffar

Titel Författare År Språk
21-22 Methods of programming - selected papers on the CIP-project (flera utgåvor) cop. 1991 Engelska
23 Adapting Proofs-as-programs: The Curry-Howard Protocol Iman Poernomo 2005 Okänt
24-25 Adapting proofs-as-programs - the Curry-Howard protocol (flera utgåvor) Iman Hafiz Poernomo c2005 Engelska
26-28 Programming language implementation and logic programming (flera utgåvor) cop. 1992 Engelska
29 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
30 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
31 STACS 87 - 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 1987 Engelska
32 STACS 88 - proceedings Symposium on Theoretical Aspects of Computer Science 1988) Bordeaux : cop. 1988 Engelska
33 Web Engineering ICWE 2004 2004 Engelska
34 "Algebraic Methods: Theory, Tools and Applications" Martin Wirsing 1989 Okänt
35 Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing Martin. Wirsing 2011 Engelska
36 Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing Martin Wirsing 2011 Okänt
37 Software Engineering for Collective Autonomic Systems - The ASCENS Approach Martin. Wirsing 2015 Engelska
38 Software-Intensive Systems and New Computing Paradigms: Challenges and Visions Martin Wirsing 2008 Okänt
39 Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers Martin. Wirsing 2010 Engelska

Förra sidan 1 2

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.