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: Marco Bernardo 31 träffar

Titel Författare År Språk
1-2 Formal Methods for Mobile Computing - 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (flera utgåvor) Marco. Bernardo 2005 Engelska
3 Formal methods for software architectures. - Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures 2003 Engelska
4 Formal Methods for the Design of Real-Time Systems And Software Systems Communication International School on Formal Methods for the Design of Computer 2004 Engelska
5 Formal Methods for Hardware Verification electronic resource - 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures Marco. Bernardo 2006 Engelska
6 Formal Methods for Computational Systems Biology electronic resource - 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures Marco. Bernardo 2008 Engelska
7 Formal Methods for Performance Evaluation electronic resource - 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures Marco. Bernardo 2007 Engelska
8 Formal Methods for Web Services - 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures Marco. Bernardo 2009 Engelska
9-10 A process algebraic approach to software architecture design (flera utgåvor) Alessandro Aldini c2010 Engelska
11 Formal Methods for Quantitative Aspects of Programming Languages - 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures Alessandro. Aldini 2010 Engelska
12 Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings Alessandro. Aldini 2010 Engelska
13 Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures Marco. Bernardo 2011 Engelska
14 Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures Marco. Bernardo 2014 Engelska
15 Formal Methods for Executable Software Models Marco Bernardo 2014 Okänt
16 Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures Marco. Bernardo 2012 Engelska
17 Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures Marco. Bernardo 2013 Engelska
18 Formal Methods for Hardware Verification Marco Bernardo 2006 Okänt
19 Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures 2015 Engelska
20 Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 2016 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.