• Refine your search:
  • 
    Keyword
  • 
    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 Hits 1 – 17 of 17 1 ReAssert: Deep Learning for Assert Generation ... White, Robert; Krinke, Jens. - : arXiv, 2020 BASE Show details 2 Version Variation Visualization (VVV): Case Studies on the Hebrew Haggadah in English Cheesman, Tom,; Roos, Avraham In: https://hal.archives-ouvertes.fr/hal-01307217 ; 2017 (2017) BASE Show details 3 Execution Framework of the GEMOC Studio (Tool Demo) Bousse, Erwan; Degueule, Thomas; Vojtisek, Didier... In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016) BASE Show details 4 Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014) BASE Show details 5 A Component-Based Approach for Specifying DSML's Concrete Syntax El Kouhen, Amine; Dumoulin, Cedric; Gerard, Sébastien... In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013) BASE Show details 6 Verification Architectures: Compositional Reasoning for Real-time Systems Faber, Johannes In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010) BASE Show details 7 Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken Radeschütz, Sylvia. - : Stuttgart, Germany, Universität Stuttgart, 2005 BASE Show details 8 M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments Pınar Yolum; Munindar P. Singh In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002) BASE Show details 9 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 10 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000) BASE Show details 11 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000) BASE Show details 12 From Syntactic Theories to Interpreters: A Specification Language and Its Compilation ... Xiao, Yong; Ariola, Zena M.; Mauny, Michel. - : arXiv, 2000 BASE Show details 13 Toward Formalizing Structured Analysis Luciano Baresi; Politecnico Di Milano In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998) BASE Show details 14 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 15 A practical method for LR and LL syntactic error diagnosis and recovery Michael G. Burke; Gerald A. Fisher; Thomas J. Watson In: http://www.cs.berkeley.edu/~jcondit/pl-prelim/burke87practical.pdf (1987) BASE Show details 16 Analysis and Visualization of Temporal Changes in Bloggers ’ Activities and Interests Masahiko Itoh; Naoki Yoshinaga; Masashi Toyoda... In: http://www.tkl.iis.u-tokyo.ac.jp/top/modules/newdb/extract/1152/data/PVis2012_MasahikoITOH_r05.pdf BASE Show details 17 The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture Stewart Green In: http://www.soi.city.ac.uk/homes/till/wp31.ps 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 17 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0