• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (2)
    • 2020 (5)
    • 2018 (1)
    • 2017 (1)
    • 2015 (5)
    • 2014 (1)
    • 2012 (2)
    • 2011 (4)
    • 2009 (5)
    • 2008 (1)
    •   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 Hits 1 – 20 of 56 1 Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes Lubat, Eric. - : HAL CCSD, 2021 In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021) BASE Show details 2 Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21) Butterfield, Andrew; Ekembe Ngondi, Gerard; Koutavas, Vasileios. - : Springer, 2021 BASE Show details 3 A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ... ElRakaiby, Yehia; Borgida, Alexander; Ferrari, Alessio. - : Zenodo, 2020 BASE Show details 4 A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ... ElRakaiby, Yehia; Borgida, Alexander; Ferrari, Alessio. - : Zenodo, 2020 BASE Show details 5 A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ... ElRakaiby, Yehia; Borgida, Alexander; Ferrari, Alessio. - : Zenodo, 2020 BASE Show details 6 Calculus semantic with values passing in the denotational approach ; Semântica do cálculo com passagem de valores na abordagem denotacional Galli, Jaqueline Klein. - 2020 BASE Show details 7 A Comprehensive Study of Declarative Modelling Languages Bandali, Amin. - : University of Waterloo, 2020 BASE Show details 8 Using Two Formal Strategies to Eliminate Ambiguity in Poetry Text Hua, Wei; Zou, Shunpeng; Zou, Xiaohui... In: IFIP Advances in Information and Communication Technology ; 2nd International Conference on Intelligence Science (ICIS) ; https://hal.inria.fr/hal-02118821 ; 2nd International Conference on Intelligence Science (ICIS), Nov 2018, Beijing, China. pp.159-166, ⟨10.1007/978-3-030-01313-4_16⟩ (2018) BASE Show details 9 The methodology of criminal law science ; Методология науки уголовного права ; Основи методології науки кримінального права Панов, Микола Іванович In: Herald of the Association of Criminal Law of Ukraine; Том 2, № 9 (2017); 1-41 ; Вестник Ассоциации уголовного права Украины; Том 2, № 9 (2017); 1-41 ; Вісник асоціації кримінального права України; Том 2, № 9 (2017); 1-41 ; 2311-9640 (2017) BASE Show details 10 From formal concepts to analogical complexes Miclet, Laurent; Nicolas, Jacques In: The 12th International Conference on Concept Lattices and their Applications ; CLA 2015 ; https://hal.inria.fr/hal-01198943 ; CLA 2015, LIMOS, CNRS et Université Blaise Pascal, Oct 2015, Clermont-Ferrand, France. pp.12 ; http://cla2015.isima.fr/ (2015) BASE Show details 11 On Automated Lemma Generation for Separation Logic with Inductive Definitions Enea, Constantin; Sighireanu, Mihaela; Wu, Zhilin In: https://hal.archives-ouvertes.fr/hal-01175732 ; 2015 (2015) BASE Show details 12 Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination Rose, Philip In: Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination ; http://www.speakerodyssey.com (2015) BASE Show details 13 Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination Rose, Philip In: Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination ; http://www.speakerodyssey.com (2015) BASE Show details 14 A Study on the Translation of Martial Arts Terms in Jin Yong's The Book and the Sword Tan, Wanqing. - : The University of Queensland, School of Languages and Cultures, 2015 BASE Show details 15 Estendendo CRefine para o suporte de táticas de refinamento Conserva Filho, Madiel de Souza. - : Universidade Federal do Rio Grande do Norte, 2014. : BR, 2014. : UFRN, 2014. : Programa de Pós-Graduação em Sistemas e Computação, 2014. : Ciência da Computação, 2014 BASE Show details 16 A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts Allam, Diana In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012) BASE Show details 17 Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers De Groote, Philippe; Nederhof, Mark-Jan. - : HAL CCSD, 2012. : Springer, 2012 In: https://hal.inria.fr/hal-00763203 ; Philippe de Groote and Mark-Jan Nederhof. France. 7395, Springer, pp.307, 2012, Lecture Notes in Computer Science, 978-3-642-32023-1. ⟨10.1007/978-3-642-32024-8⟩ (2012) BASE Show details 18 Prescriptive Semantics For Big-Step Modelling Languages Esmaeilsabzali, Shahram. - 2011 BASE Show details 19 The motion grammar: Linguistic perception, planning, and control Neil Dantam; Mike Stilman In: https://smartech.gatech.edu/bitstream/handle/1853/36485/yama.pdf (2011) BASE Show details 20 Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification Qureshi, Tahir Naseer; Chen, De-Jiu; Persson, Magnus. - : KTH, Inbyggda styrsystem, 2011 BASE Show details Page: 1 2 3

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