Søg | bibliotek.dk

Abonnér på Search feed

Afgræns din søgning

Vælg evt. en anden sortering, fx nyeste først

Søgeresultat

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers (engelsk)

Handbook of implicit learning (engelsk)

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (engelsk)

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (engelsk)

Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings (engelsk)

SC (Conference : Software composition) (12 : 2013 : Budapest, Hungary)

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings (engelsk)

Hongseok Yang

Reliable Software Technologies – Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings (engelsk)

Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (engelsk)

Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (engelsk)

Andrew Pitts

Doing interview-based qualitative research : a learner's guide (engelsk)