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 |
1 |
Algebraic methodology and software technology
|
International Conference on Algebraic Methodology and Software Technology München) 1996 :
|
1996 |
Engelska |
2 |
Algebraic Methodology and Software Technology
|
International Conference on Algebraic Methodology and Software Technology
|
1996 |
Engelska |
3 |
Algebraic methods - theory, tools, and applications
|
|
cop. 1989 |
Engelska |
4 |
Elementare Aussagenlogik
|
Friedrich Ludwig Bauer
|
cop. 1991 |
Tyska |
5 |
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 |
6 |
Theoretical Aspects of Computing ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
|
Dang Van Hung
|
2005 |
Okänt |
7 |
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 |
8 |
Theoretical Aspects of Computing – ICTAC 2005 - Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
|
Dang. Hung
|
2005 |
Engelska |
9 |
Theoretical Aspects of Computing - ICTAC 2005
|
Dang Van. Hung
|
|
Engelska |
10 |
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
|
David. Hutchison
|
2008 |
Engelska |
11 |
Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
|
|
2015 |
Engelska |
12 |
Knowledge Science, Engineering and Management
|
|
2015 |
Okänt |
13 |
Fundamental Approaches to Software Engineering
|
Marsha Chechik
|
2009 |
Okänt |
14 |
Algebraic Methods: Theory, Tools and Applications
|
Martin Wirsing
|
uuuu-uuuu |
Okänt |
15 |
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 |
16 |
Recent Trends in Algebraic Development Techniques
|
Martin Wirsing
|
uuuu-uuuu |
Okänt |
17 |
Rigorous Software Engineering for Service-Oriented Systems
|
Martin Wirsing
|
2011 |
Okänt |
18 |
Software Engineering for Collective Autonomic Systems : The ASCENS Approach
|
Martin Wirsing
|
2015 |
Okänt |
19 |
Software-Intensive Systems and New Computing Paradigms
|
Martin Wirsing
|
2008 |
Okänt |
20 |
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
|
Martin Wirsing
|
uuuu-uuuu |
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.