• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (19)
    • NAVAL POSTGRADUATE SCHOOL MONTEREY CA (7)
    • NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS) (5)
    • DELAWARE UNIV NEWARK DEPT OF COMPUTER AND INFORMATION SCIENCES (4)
    • Weischedel,Ralph M (4)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)) (3)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay (3)
    • Direction de Recherche Technologique (CEA) (DRT (CEA)) (3)
    • Département Ingénierie Logiciels et Systèmes (DILS) (3)
    • IBM WATSON RESEARCH CENTER YORKTOWN HEIGHTS N Y (3)
    •   more
  • 
    Year:
    
    • 2021 (2)
    • 2020 (3)
    • 2019 (1)
    • 2018 (1)
    • 2017 (1)
    • 2016 (5)
    • 2015 (5)
    • 2014 (3)
    • 2013 (1)
    • 2012 (2)
    •   more
  • 
    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 6 7 Hits 41 – 60 of 125 41 QuARS: A Tool for Analyzing Requirements Lami, Giuseppe In: DTIC (2005) BASE Show details 42 An Approach for Semantic Query Processing with UDDI Luo, Jim; Montrose, Bruce; Kang, Myong In: DTIC (2005) BASE Show details 43 Plan Critiquing and Look-Ahead Constraint Reasoning for Active Templates White, Christopher M. In: DTIC AND NTIS (2004) BASE Show details 44 Information Engineering in Support of Multilateral Joint Operational Interoperability Dorion, Eric; Boury-Brisset, Anne-Claire In: DTIC (2004) BASE Show details 45 Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung Schlegel, Thomas. - : Stuttgart, Germany, Universität Stuttgart, 2002 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002) BASE Show details 46 TAME: Using PVS Strategies for Special-Purpose Theorem Proving Archer, Myla In: DTIC (2001) BASE Show details 47 The data given are from two dialects of Fukuoka city: • Hakata (Hayata 1985) Jennifer L. Smith; Workshop On Japanese Prosody In: http://www.unc.edu/~jlsmith/home/pdf/um-wksp.pdf (1999) BASE Show details 48 Information Extraction Supported Question Answering Srihari, Rohini; Li, Wei In: DTIC (1999) BASE Show details 49 A Graphical Environment for the Design of Concurrent Real-Time Systems L. E. Moser; Y. S. Ramakrishna; G. Kutty... In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997) BASE Show details 50 Information systems engineering : a multi-modeling and a meta-modeling approach ; Ingénierie de systèmes d'information : une approche de multi-modélisation et de méta-modélisation Freire Junior, Jose Celsio. - : HAL CCSD, 1997 In: https://tel.archives-ouvertes.fr/tel-00004944 ; Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français (1997) BASE Show details 51 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study Bharadwaj, Ramesh; Heitmeyer, Connie In: DTIC (1996) BASE Show details 52 Information Requirements Analysis: A Qualitative Characterization of the Flightline Expediter for the Integrated Maintenance Information System Gorla, Jr, John C. In: DTIC (1996) BASE Show details 53 Z-Notation V1.1 Nicholls, John In: DTIC AND NTIS (1995) BASE Show details 54 Composite Event Specification and Detection for Supporting Active Capability in an OODBMS: Semantics Architecture and Implementation. Chakravarthy, S.; Krishnaprasad, V.; Tamizuddin, Z.... In: DTIC AND NTIS (1995) BASE Show details 55 Design and Specification of an Object-Oriented Data Manipulation Language. Stephens, Michael W. In: DTIC AND NTIS (1995) BASE Show details 56 Performance Optimization in ADA. Jullig, Richard; Srinivas, Y. V. In: DTIC AND NTIS (1995) BASE Show details 57 TMSS Parsing Test, MIL-M-9977J, Appendix I, NATO Stage B Cross-Servicing Checklist (CL1), Document Type Definition. In: DTIC AND NTIS (1994) BASE Show details 58 Origin Tracking in Primitive Recursive Schemes Arie van Deursen In: http://www.cwi.nl/ftp/CWIreports/AP/CS-R9401.ps.Z (1993) BASE Show details 59 Modelling and Specifying Name Visibility and Binding Semantics Vorthmann, Scott A. In: DTIC AND NTIS (1993) BASE Show details 60 A New Definition of the Subtype Relation Liskov, Barbara; Wing, Jeannette M. In: DTIC AND NTIS (1993) BASE Show details Page: 1 2 3 4 5 6 7

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