Hakutulokset - "specification"
Aihe-ehdotuksia
Aihe-ehdotuksia
- History: specific events & topics 263
- Teaching of a specific subject 228
- Teaching of specific groups & persons with special educational needs 136
- Management of specific areas 132
- Education 115
- Laws of Specific jurisdictions 108
- Research & information: general 101
- Jurisprudence & general issues 91
- General & world history 81
- History of engineering & technology 81
- Biology, life sciences 77
- linguistics 73
- Language: reference & general 64
- Legal skills & practice 62
- Sociolinguistics 62
- Technology: general issues 62
- Teacher training 61
- Criminology: legal aspects 60
- Exhibition catalogues & specific collections 59
- Individual composers & musicians, specific bands & groups 56
- Medicine 55
- Teaching skills & techniques 49
- Theory of music & musicology 42
- History of other lands 39
- Educational strategies & policy 38
- European history 38
- Economics 37
- Constitutional & administrative law 34
- Energy industries & utilities 34
- Coins, banknotes, medals, seals (numismatics) 32
-
1
Specification and verification of object-oriented software components
Julkaistu 2006Aiheet: “…context specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
2
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Julkaistu 2011Aiheet: “…software specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
3
Models of Reference
Julkaistu 2017Aiheet: “…Over-specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
4
Progenitor diversity and neural cell specification in the central nervous system
Julkaistu 2015Aiheet: “…specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
5
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...
Julkaistu 2018Aiheet: “…specifications…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
6
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Julkaistu 2022Aiheet: “…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
Elektroninen Kirjan osa -
7
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Julkaistu 2022Aiheet: “…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
Elektroninen Kirjan osa -
8
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...
Julkaistu 2018Aiheet: “…specifications…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
9
Adult neurogenesis twenty years later: physiological function versus brain repair
Julkaistu 2015Aiheet: “…Cell specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
10
Analyse der Realnutzung von Elektrofahrzeugen in kommerziellen Flotten zur Definition einer bedarfsgerechten Fahrzeugauslegung
Julkaistu 2016Aiheet: “…tailor-made vehicle specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
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...
Julkaistu 2018Aiheet: “…specifications…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
12
Modellbasiertes Konzept zur vollautomatisierten Montageendprüfung von asynchron angetriebenen Getriebemotoren im lastlosen Zustand
Julkaistu 2014Aiheet: “…Fully automatic test specification determination…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
13
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...
Julkaistu 2018Aiheet: “…formal specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
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...
Julkaistu 2018Aiheet: “…formal specification…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
15
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, Thessaloni...
Julkaistu 2018Aiheet: “…specifications…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
16
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...
Julkaistu 2018Aiheet: “…formal specification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
17
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Julkaistu 2023Aiheet: “…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
Elektroninen Kirjan osa -
18
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Julkaistu 2020Aiheet: “…Formal Verification, Specification, Synthesis, and Testing…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
19
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Julkaistu 2021Aiheet: “…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
Elektroninen Kirjan osa -
20
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Julkaistu 2020Aiheet: “…Formal Verification, Specification, Synthesis, and Testing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa