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: Tiziana. Margaria 90 träffar

Titel Författare År Språk
1 Software Process Improvement - 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings Pekka. Abrahamsson 2007 Engelska
2 Service-Oriented Computing ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings Athman Bouguettaya 2008 Okänt
3 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October Bernhard Steffen 2021 Okänt
4-5 Correct hardware design and verification methods - 11th IFIP WG 10.5 advanced research working conference proceedings (flera utgåvor) Advanced Research Working Conference on Correct Hardware Design and Verification 2001 : Livingston) 2001 Engelska
6 Engineering of Computer-Based Systems. - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings 2024 Engelska
7 Formal methods for industrial critical systems - a survey of applications 2012 Engelska
8 Fundamental approaches to software engineering. - 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings Spain) FASE 2004 (2004 : Barcelona 2004 Engelska
9 SOFSEM 2015: Theory and Practice of Computer Science Giuseppe Italiano 2015 Okänt
10 Software Business. From Physical Products to Software Services and Solutions - 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings Georg. Herzwurm 2013 Engelska
11 Service-Oriented Computing – ICSOC 2008 - 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings David. Hutchison 2008 Engelska
12 Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers Reiner. Hähnle 2012 Engelska
13 SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings Giuseppe F. Italiano 2015 Engelska
14 Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings Jan Kofroň 2023 Engelska
15 Process Design for Natural Scientists - An Agile Model-Driven Approach Anna-Lena. Lamprecht 2014 Engelska
16 Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings 2010 Okänt
17 Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III 2022 Okänt
18 Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III 2020 Okänt
19 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 Engelska
20 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 2016 Okänt

1 2 3 4 5 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.