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.