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: Frank S. Boer 27 träffar

Titel Författare År Språk
1 Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers Bernhard K. Aichernig 2012 Engelska
2 Verification of Sequential and Concurrent Programs Krzysztof R. Apt 2009 Engelska
3 Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings Jos C. M. Baeten 2012 Engelska
4 Formal Methods for Open Object-Based Distributed Systems electronic resource - 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Gilles. Barthe 2008 Engelska
5 Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Bernhard. Beckert 2013 Engelska
6 Formal Methods for Components and Objects Bernhard Beckert 2013 Okänt
7-12 Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures (flera utgåvor) Frank S. Boer 2010 Engelska
13 Formal Methods for Components and Objects Marcello M. Bonsangue Engelska
14 Formal Methods for Components and Objects (vol. # 4111) electronic resource - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures Frank S. de Boer 2006 Engelska
15 Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures Elena Giachino 2013 Okänt
16 Formal methods for components and objects. - first international symposium, FMCO 2002, leiden, The Netherlands, November 2002 : revised lectures Netherlands) FMCO 2002 (2002 : Leiden 2003 Engelska
17-19 Formal Methods for Components and Objects (flera utgåvor) Frank S. Boer 2008 Okänt
20 Verification of Sequential and Concurrent Programs Frank S. Boer 2009 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.