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
21 Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Marsha. Chechik 2009 Engelska
22 Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers Martin. Wirsing 2010 Engelska
23 Software Engineering for Collective Autonomic Systems : The ASCENS Approach Martin Wirsing 2015 Okänt
24 Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing Martin. Wirsing 2011 Engelska
25 Software Engineering for Collective Autonomic Systems - The ASCENS Approach Martin. Wirsing 2015 Engelska
26 STACS 87 - 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 1987 Engelska
27 Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings 2015 Engelska
28 Recent Trends in Algebraic Development Techniques Martin Wirsing uuuu-uuuu Okänt
29 Radical Innovations of Software and Systems Engineering in the Future: 9Th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : Revised Papers (Hot topics (Berlin, Germany)) Martin Wirsing uuuu-uuuu Okänt
30 Algebraic Methods: Theory, Tools and Applications Martin Wirsing uuuu-uuuu Okänt
31 Software-Intensive Systems and New Computing Paradigms Martin Wirsing 2008 Okänt
32 Theoretical Aspects of Computing ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings Dang Van Hung 2005 Okänt
33 Fundamental Approaches to Software Engineering Marsha Chechik 2009 Okänt
34 Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers Martin Wirsing uuuu-uuuu Okänt
35 Adapting Proofs-as-programs: The Curry-Howard Protocol Iman Poernomo 2005 Okänt

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.