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: Ana. Cavalcanti 25 träffar

Titel Författare År Språk
1-2 The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II / edited by Ana Cavalcanti, James Baxter (flera utgåvor) Ana. Cavalcanti uuuu-uuuu Okänt
3-4 The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part I / edited by Ana Cavalcanti, James Baxter (flera utgåvor) Ana. Cavalcanti uuuu-uuuu Okänt
5 Refinement Techniques in Software Engineering electronic resource - First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures Ana. Cavalcanti 2006 Engelska
6 Theo retical Aspects of Computing - ICTAC 2006 electronic resource - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings Kamel. Barkaoui 2006 Engelska
7 FM 2009: Formal Methods - Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Ana. Cavalcanti 2009 Engelska
8 Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings Karin. Breitman 2009 Engelska
9 Testing Techniques in Software Engineering - Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures Paulo. Borba 2010 Engelska
10 Theoretical Aspects of Computing – ICTAC 2010 - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings Ana. Cavalcanti 2010 Engelska
11 Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings 2017 Engelska
12 Housing shaped by labour - The architecture of scarcity in informal settlements Ana Rosa Chagas Cavalcanti 2018 Engelska
13 Organ Transplantation and Native Peoples: An Interdisciplinary Approach Estevão Rafael Fernandes 2023 Okänt
14 Critical Systems: Formal Methods and Automated Verification 2017 Okänt
15 Profissão artista - pintoras e escultoras acadêmicas brasileiras Ana Paula Cavalcanti Simioni 2008 Portugisiska
16 Theoretical Aspects of Computing - ICTAC 2006 Kamel Barkaoui 2006 Okänt
17 Refinement Techniques in Software Engineering Ana Cavalcanti 2006 Okänt
18 Software Engineering for Robotics Ana Cavalcanti uuuu-uuuu Okänt
19 FM 2009: Formal Methods Ana Cavalcanti 2009 Okänt
20 Formal Methods and Software Engineering Karin Breitman 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.