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: Peter Csaba Ölveczky 22 träffar

Titel Författare År Språk
1 Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers Farhad. Arbab 2012 Engelska
2 Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers Cyrille. Artho 2014 Engelska
3 Formal Aspects of Component Software Farhad Arbab 2012 Okänt
4-5 Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (flera utgåvor) 2018 Engelska
6 Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niter'i, Brazil, October 14-16, 2015, Revised Selected Papers 2016 Okänt
7 Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings 2018 Okänt
8-10 Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (flera utgåvor) 2017 Engelska
11 Formal Techniques for Safety-Critical Systems 2017 Okänt
12 Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers 2016 Okänt
13 Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 2930, 2013. Revised Selected Papers 2014 Okänt
14 Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers 2015 Okänt
15 Logic, Rewriting, and Concurrency - Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 Engelska
16 Logic, Rewriting, and Concurrency : Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 Okänt
17 Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings Peter Csaba Ölveczky 2021 Okänt
18 Designing Reliable Distributed Systems electronic resource : A Formal Methods Approach Based on Executable Modeling in Maude / by Peter Csaba Ölveczky Peter Csaba. author. Ölveczky uuuu-uuuu Okänt
19 Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude Peter Csaba. Ölveczky 2017 Engelska
20 Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude Peter Csaba Ölveczky 2017 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.