• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2020 (5)
    • 2016 (1)
    • 2015 (5)
    • 2010 (1)
    • 2007 (1)
    • 1950 (1)
    • 1907 (1)
  • 
    Medium
  • 
    Type:
    
    • Article (8)
    • Book (5)
    • Miscellaneous (2)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 15 of 15 1 Raw data for UV-Selective Optically Transparent Zn(O,S)-Based Solar Cells ... Lopez-Garcia, Alex J.; Bauer, Andreas; Fonoll Rubio, Robert. - : Zenodo, 2020 BASE Show details 2 UV-Selective Optically Transparent Zn(O,S)-Based Solar Cells ... Lopez-Garcia, Alex J.; Bauer, Andreas; Rubio, Robert Fonoll. - : Zenodo, 2020 BASE Show details 3 UV-Selective Optically Transparent Zn(O,S)-Based Solar Cells ... Lopez-Garcia, Alex J.; Bauer, Andreas; Rubio, Robert Fonoll. - : Zenodo, 2020 BASE Show details 4 Raw data for UV-Selective Optically Transparent Zn(O,S)-Based Solar Cells ... Lopez-Garcia, Alex J.; Bauer, Andreas; Fonoll Rubio, Robert. - : Zenodo, 2020 BASE Show details 5 UV‐selective optically transparent Zn(O,S)‐based solar cells López García, Alex J.; Bauer, Andreas; Fonoll Rubio, Robert. - : Wiley-VCH, 2020 BASE Show details 6 Information filtering in high velocity text streams using limited memory - An event-driven approach to text stream analysis Bauer, Andreas. - 2016 BASE Show details 7 Matching trace patterns with regular policies Baader, Franz; Bauer, Andreas; Tiu, Alwen. - : Springer, 2015 Abstract: We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situations that are problematic, and thus should be avoided. Given a trace pattern u, i.e. Keyword: Automata theory; Keywords: Linear temporal logic; Linguistics; Regular expressions; Robots; Sequence of actions; Temporal logic; Translation (languages) URL: https://doi.org/10.1007/978-3-642-00982-2_9 http://hdl.handle.net/1885/57138 BASE Hide details 8 A first-order policy language for history-based transaction monitoring Bauer, Andreas; Gore, Rajeev; Tiu, Alwen In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015) BASE Show details 9 Prognosis of omega-languages for the diagnosis of *-languages: A topological perspective Bauer, Andreas; Pinchinat, Sophie In: Discrete Event Dynamic Systems: Theory and Applications (2015) BASE Show details 10 The Theory and Practice of SALT Bauer, Andreas; Leucker, Martin In: Proceedings of NASA Formal Methods Symposium 2011 (2015) BASE Show details 11 The Theory and Practice of SALT Bauer, Andreas; Leucker, Martin In: Proceedings of NASA Formal Methods Symposium 2011 (2015) BASE Show details 12 Zaysite Phonology Bauer, Andreas; Wigboldus, Pieternel. - 2010 BASE Show details 13 Die Hawthorne-Experimente Bauer, Andreas [Mitwirkender]; Böhm, Daniela [Mitwirkender]; Greinstetter, Harald [Mitwirkender]. - München : GRIN Verlag GmbH, 2007 DNB Subject Category Language Show details 14 Festschrift für Hans Ludwig Held : eine Gabe der Freundschaft und des Dankes; zum 65. Geburtstag dargebracht 1. August 1950 Held, Hans Ludwig (GefeierteR); Bauer, Andreas (Hrsg.). - München : Alber, 1950 IDS Mannheim Show details 15 Die Sprache des Fuerre de Gadres im Alexanderroman des Eustache von Kent : Programm des Kgl. humanistischen Gymnasiums Freising für das Schuljahr 1906/07 Bauer, Andreas; Fuerre de Gadres; Eustache von Kent. - Freising : Datterer & Cie., 1907 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 1 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 1 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 12 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0