• Refine your search:
  • 
    Keyword:
    
    • *PROGRAMMING LANGUAGES (169)
    • Computer Programming and Software (155)
    • SYNTAX (59)
    • Linguistics (54)
    • SEMANTICS (40)
    • COMPUTER PROGRAMMING (30)
    • COMPUTER PROGRAMS (29)
    • Computer Hardware (27)
    • COMPILERS (26)
    • THESES (25)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    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 Page: 1 2 3 4 5...9 Hits 1 – 20 of 169 1 Opportunities for Next Generation BML: Semantic C-BML Singapogu, Samuel In: DTIC (2014) BASE Show details 2 Impact of Language Immersion Programs on Foreign Language Chausse, Jean-Paul In: DTIC (2008) BASE Show details 3 Trust in Security-Policy Enforcement Mechanisms Schneider, Fred B.; Morrisett, Greg In: DTIC (2006) BASE Show details 4 An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems DeCloss, Daniel P. In: DTIC (2006) BASE Show details 5 PROxy Based Estimation (PROBE) for SQL Schoedel, Rob In: DTIC (2006) BASE Show details 6 Safe and Principled Language Interoperation Trifinov, Valery; Shao, Zhong In: DTIC AND NTIS (2005) BASE Show details 7 Type-Directed Continuation Allocation Shao, Zhong; Trifonov, Valery In: DTIC AND NTIS (2005) BASE Show details 8 Fully Reflexive Intensional Type Analysis in Type Erasure Semantics Saha, Bratin; Trifonov, Valery; Shao, Zhong In: DTIC AND NTIS (2005) BASE Show details 9 Understanding and Evolving the ML Module System Dreyer, Derek In: DTIC (2005) BASE Show details 10 Open Modules: Modular Reasoning about Advice Aldrich, Jonathan In: DTIC (2004) BASE Show details 11 The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering Feiler, Peter H; Lewis, Bruce; Vestal, Steve In: DTIC (2003) BASE Show details 12 Automatic Verification of Multiagent Conversations Lacey, Timothy; DeLoach, Scott A. In: DTIC (2000) BASE Show details 13 Semantic Interoperability on the Web Heflin, Jeff; Hendler, James In: DTIC AND NTIS (2000) BASE Show details 14 Compositional Approach to Statecharts Semantics Luettgen, Gerald; von der Beeck, Michael; Cleaveland, Rance In: DTIC (2000) BASE Show details 15 Eliminating Covert Flows with Minimum Typings Volpano, Dennis; Smith, Geoffrey In: DTIC (1997) BASE Show details 16 Microlanguage-Based Specialization. Pu, Calton In: DTIC AND NTIS (1996) BASE Show details 17 Analog Hardware Description Language (AHDL). Collins, Robert A.; Hirsch, Herbert L. In: DTIC AND NTIS (1996) BASE Show details 18 A Type Inference Algorithm And Transition Semantics For Polymorphic C. Oezgen, Mustafa In: DTIC AND NTIS (1996) BASE Show details 19 Design and Specification of an Object-Oriented Data Manipulation Language. Stephens, Michael W. In: DTIC AND NTIS (1995) BASE Show details 20 Uniform Representation of Data Types in Polymorphic C. Pederson, Carl M., Jr In: DTIC AND NTIS (1995) BASE Show details Page: 1 2 3 4 5...9

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 169 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0