Suggested Topics within your search.
Showing 1 - 20 results of 94 for search '"formalization"', query time: 0.02s Refine Results
  1. 1
    Formalization of Banking Supervision : 19th-20th Centuries
    by Hotori, Eiji
    Published 2022
    Subjects: “…Formalization of Banking Supervision…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  2. 2
    Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Alessandra Russo
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  3. 3
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  4. 4
    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
    by Breitner, Joachim
    Published 2016
    Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 5
    Manual do Cuidador
    by Manuel Veríssimo
    Published 2019
    Subjects: “…Formal caregivers…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    by Dirk Beyer
    Published 2018
    Subjects: “…formal specification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  7. 7
    Mujeres y niños en la cárcel. Lectura y escritura dentro y fuera de la Unidad 33
    by Molinari, Claudia (Coord.)
    Published 2018
    Subjects: “…Educación no formal…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  8. 8
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  9. 9
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Ralf Küsters
    Published 2018
    Subjects: “…formal specification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  10. 10
    The Community Education Program: A Reflection on Good Practice in the USA
    by Miriam Douglas
    Published 2020
    Subjects: “…formal/non-formal/informal education…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  11. 11
    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
    Published 2021
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  12. 12
    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
    Published 2020
    Subjects: “…Formal Methods…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  13. 13
    Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
    Published 2021
    Subjects: “…Mathematical Logic and Formal Languages…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  14. 14
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  15. 15
    Kursbuch Informatik I. Formale Grundlagen der Informatik und Programmierkonzepte am Beispiel von Java. Eine Einführung in die Informatik auf der Grundlage etablierter Lehrbücher
    by Abeck, Sebastian
    Published 2005
    Subjects: “…Formale Sprache…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  16. 16
    A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
    by Lochbihler, Andreas
    Published 2012
    Subjects: “…formal semantics…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  17. 17
    Action [poems]
    by Opal, Anthony
    Published 2014
    Subjects: “…formalism…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  18. 18
    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
    by Wasserrab, Daniel
    Published 2011
    Subjects: “…Formal Semantics…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  19. 19
    Bridging Formal and Conceptual Semantics : Selected papers of BRIDGE-14
    Published 2017
    Subjects: “…formal semantics…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  20. 20
    Jungen als Bildungsgewinner : Eine qualitative Studie zu bildungserfolgreichen Jugendlichen in Risikolebenslagen
    by Richter, Michael
    Published 2021
    Subjects: “…formal and non-formal settings…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search