Arama Sonuçları - "formalization"
Önerilen Konular
Önerilen Konular
- Artificial intelligence 60
- Computer science 56
- Software Engineering 55
- Computer networking & communications 32
- Computer programming / software development 28
- Algorithms & data structures 20
- Mathematical theory of computation 20
- Formal Languages and Automata Theory 19
- Machine theory 19
- Research & information: general 15
- Systems analysis & design 14
- Western "classical" music 14
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- linguistics 11
- Technology: general issues 9
- Computer architecture & logic design 8
- Computer modelling & simulation 8
- Development economics & emerging economies 8
- Programming & scripting languages: general 8
- History of engineering & technology 7
- Mathematics & science 7
- Network hardware 6
- Political science & theory 6
- Software testing & verification 6
- Computer Modelling 5
- Computer simulation 5
- Literary studies: general 5
- Literature: history & criticism 5
-
1
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
Baskı/Yayın Bilgisi 2023Konular: “…formalization…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
2
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
Baskı/Yayın Bilgisi 2023Konular: “…formalization…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
3
Formalization of Banking Supervision 19th-20th Centuries
Baskı/Yayın Bilgisi 2022Konular: “…Formalization of Banking Supervision…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
4
Land Tenure Security and Sustainable Development
Baskı/Yayın Bilgisi 2022Konular: “…Formalization of land tenure…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
5
Formalization of Banking Supervision 19th-20th Centuries
Baskı/Yayın Bilgisi 2022Konular: “…Formalization of Banking Supervision…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
6
Land Tenure Security and Sustainable Development
Baskı/Yayın Bilgisi 2022Konular: “…Formalization of land tenure…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
7
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 2...
Baskı/Yayın Bilgisi 2018Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
8
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Baskı/Yayın Bilgisi 2022Konular: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
9
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Baskı/Yayın Bilgisi 2022Konular: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
10
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 20...
Baskı/Yayın Bilgisi 2018Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
11
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 20...
Baskı/Yayın Bilgisi 2018Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
12
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Baskı/Yayın Bilgisi 2016Konular: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
13
Manual do Cuidador
Baskı/Yayın Bilgisi 2019Konular: “…Formal caregivers…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
14
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...
Baskı/Yayın Bilgisi 2018Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
15
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Baskı/Yayın Bilgisi 2012Konular: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
16
Mujeres y niños en la cárcel. Lectura y escritura dentro y fuera de la Unidad 33
Baskı/Yayın Bilgisi 2018Konular: “…Educación no formal…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
17
La forme et l'énergie L'esthétique du formalisme russe
Baskı/Yayın Bilgisi 2018Konular: “…formalism…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
18
Handbuch Validierung non-formal und informell erworbener Kompetenzen Disziplinäre, theoretische und konzeptionelle Zugänge
Baskı/Yayın Bilgisi 2023Konular: “…Non-formal Education…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
19
Chapter The Community Education Program: A Reflection on Good Practice in the USA
Baskı/Yayın Bilgisi 2020Konular: “…formal/non-formal/informal education…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
20
Chapter The Community Education Program: A Reflection on Good Practice in the USA
Baskı/Yayın Bilgisi 2020Konular: “…formal/non-formal/informal education…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü