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: Andreas Lindner 11 träffar

Titel Författare År Språk
1 Bruckner-Tagung - die Klaviermusik Anton Bruckners, Kremsmünster, 11. und 12. Juni 2015 : Bericht 2016 Tyska
2 A Real-Time Semantics for the IEC 61499 standard IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015 Per Lindgren 2015 Engelska
3 Response Time for IEC 61499 over Ethernet IEEE International Conference on Industrial Informatics : 22/07/2015 - 24/07/2015 Per Lindgren 2015 Engelska
4 RTFM-core - Language and Implementation IEEE Conference on Industrial Electronics and Applications : 15/06/2015 - 17/06/2015 Per Lindgren 2015 Engelska
5 Well formed Control-flow for Critical Sections in RTFM-core IEEE International Conference on Industrial Informatics : 22/07/2015 - 24/07/2015 Per Lindgren 2015 Engelska
6 Die kaiserlichen Hoftrompeter und Hofpauker im 18. und 19. Jahrhundert Andreas Lindner 1999 Tyska
7-8 Proving Safety and Security of Binary Programs (flera utgåvor) Andreas Lindner 2023 Engelska
9 RTFM-RT: a threaded runtime for RTFM-core towards execution of IEC 61499 IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015 Andreas Lindner 2015 Engelska
10 Hoare-Style Logic for Unstructured Programs 2020 September 14–18 The Netherlands Amsterdam SEFM 2020 18th International Conference Didrik Lundberg 2020 Engelska
11 Luther und das monastische Erbe 2007 Tyska

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.