• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (1)
    • 2018 (1)
    • 2013 (1)
    • 2012 (1)
    • 2011 (1)
    • 2009 (1)
    • 2008 (1)
    • 2006 (1)
    • 2004 (3)
    • 2003 (1)
  • 
    Medium:
    
    • Online (13)
  • 
    Type
  • 
    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 – 13 of 13 1 Linguistic Diversity as a Challenge for Street-Level Bureaucrats in a Monolingually-Oriented Organisation Draxl, Anna-Katharina; Holzinger, Clara; Scheibelhofer, Elisabeth In: Social Inclusion ; 9 ; 1 ; 24-34 ; Social Inclusion and Multilingualism: The Impact of Linguistic Justice, Economy of Language and Language Policy (2021) BASE Show details 2 Type-Driven Gradual Security with References Toro, Matías; Garcia, Ronald; Tanter, Éric In: ISSN: 0164-0925 ; EISSN: 1558-4593 ; ACM Transactions on Programming Languages and Systems (TOPLAS) ; https://hal.archives-ouvertes.fr/hal-01957581 ; ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2018, 40 (4), pp.1-55. ⟨10.1145/3229061⟩ (2018) BASE Show details 3 A Logic for Information Flow Analysis of Distributed Programs : (Extended Abstract) Balliu, Musard. - : KTH, Teoretisk datalogi, TCS, 2013 BASE Show details 4 Context-Aware and Secure Workflow Systems Alotaibi, Hind. - : De Montfort University, 2012. : Faculty of Technology, 2012. : Software Technology Research Laboratory, 2012 BASE Show details 5 Inference of Expressive Declassification Policies Vaughan, Jeffrey A.; Chong, Stephen N. - : IEEE Computer Society, 2011 BASE Show details 6 PCAL: Language Support for Proof-Carrying Authorization Systems Chaudhuri, Avik; Garg, Deepak In: DTIC (2009) BASE Show details 7 Reasoning About Authorization and Security Halpern, Joseph Y. In: DTIC (2008) BASE Show details 8 Trust in Security-Policy Enforcement Mechanisms Schneider, Fred B.; Morrisett, Greg In: DTIC (2006) BASE Show details 9 Proving abstract non-interference Roberto Giacobazzi; Isabella Mastroeni In: http://profs.sci.univr.it/~mastroen/download/axiomaticANI.pdf (2004) BASE Show details 10 Advanced Capabilities for Evidence Extraction (ACEE) Liddy, Elizabeth; McCracken, Nancy; Allen, Eileen In: DTIC AND NTIS (2004) BASE Show details 11 Semantic Analysis for Monitoring Insider Threats Symonenko, Svetlana; Liddy, Elizabeth D.; Yilmazel, Ozgur... In: School of Information Studies - Faculty Scholarship (2004) BASE Show details 12 Applications in pharmacokinetic modeling Arnold, Esther. - : uga, 2003 BASE Show details 13 DECRYPTING ENGLISH TEXT USING ENHANCED FREQUENCY ANALYSIS K. W. Lee; C. E. Teh; Y. L. Tan In: http://www1.mmu.edu.my/~kwlee/STSS2006.pdf BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 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 13 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0