> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: LIPIcs, Volume 8, FSTTCS'10, Complete Volume Beteiligte: Lodaya, Kamal [VerfasserIn]; Mahajan, Meena [VerfasserIn] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Sprache: Englisch DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2010 Schlagwörter: Complexity Measures and Classes ; Nonnumerical Algorithms and Problems pecifying and Verifying and Reasoning about Program ; Software/Program Verification ; Models of Computation ; Modes of Computation Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: LIPIcs, Volume 8, FSTTCS'10, Complete Volume Zugangsstatus: Freier Zugang