> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: Proceedings of the Twelfth ACMIEEE Conference on Formal Methods and Models for Codesign Körperschaft: Association for Computing Machinery-Digital Library ; ACM Special Interest Group on Embedded Systems ; ACM Special Interest Group on Design Automation Erschienen: Washington, DC: IEEE Computer Society, 2014 Erschienen in: ACM Conferences ACM Digital Library Umfang: 1 online resource Sprache: Englisch DOI: 10.5555/3041404 ISBN: 9781479953387 Identifikator: Schlagwörter: Computer science ; Logic ; Scheduling algorithms ; Sequential decision making ; Konferenzschrift Entstehung: Anmerkungen: