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: Gary T. Leavens 17 träffar

Titel Författare År Språk
1 Transactions on Modularity and Composition I Shigeru. Chiba 2016 Engelska
2-3 Transactions on Aspect-Oriented Software Development IX (flera utgåvor) Gary T. Leavens 2012 Okänt
4 Transactions on Aspect-Oriented Software Development X Gary T. Leavens 2013 Okänt
5 Verified Software: Theories, Tools, Experiments Gary T. Leavens 2010 Okänt
6 Onward! 2012 : proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software : October 19-26, 2012 : Tucson, Arizona, USA Gary T. Leavens uuuu-uuuu Okänt
7 Proceedings of the 13th workshop on Foundations of aspect-oriented languages Gary T. Leavens uuuu-uuuu Okänt
8 Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering Gary T. Leavens 2018 Engelska
9 Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Gary T. Leavens, Alessandro Garcia, Corina S. Păsăreanu Association for Computing Machinery-Digital Library, contributor Gary T. Leavens uuuu-uuuu Okänt
10 Proceedings of the 3rd annual conference on Systems, programming, and applications software for humanity Gary T. Leavens uuuu-uuuu Okänt
11 Proceedings of the ACM international conference on Object oriented programming systems languages and applications Gary T. Leavens uuuu-uuuu Okänt
12 Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software Gary T. Leavens uuuu-uuuu Okänt
13 SPLASH'12 : proceedings of the 2012 ACM Conference on Systems, Programming, and Applications : Software for Humanity : October 19-26, 2012, Tucson, Arizona, USA Gary T. Leavens uuuu-uuuu Okänt
14 Transactions on Aspect-Oriented Software Development IX Gary T. Leavens 2012 Engelska
15 Transactions on Aspect-Oriented Software Development X Gary T. Leavens 2013 Engelska
16 Verified Software: Theories, Tools, Experiments - Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings Gary T. Leavens 2010 Engelska
17 Transactions on Modularity and Composition I 2016 Engelska

1

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.