Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 24 Treffer
- interactive theorem proving 3 Treffer
- smart contracts 3 Treffer
- formal verification 2 Treffer
- formalization 2 Treffer
-
45 weitere Werte:
- graph algorithms 2 Treffer
- machine learning 2 Treffer
- separation logic 2 Treffer
- theorem proving 2 Treffer
- type theory 2 Treffer
- verification 2 Treffer
- vst 2 Treffer
- access control 1 Treffer
- axiomatic set theory 1 Treffer
- block synchronization protocol 1 Treffer
- blockchain 1 Treffer
- blockchains 1 Treffer
- certified compilation 1 Treffer
- certified programming 1 Treffer
- code generation 1 Treffer
- code generator 1 Treffer
- constructive logic 1 Treffer
- coq proof assistant 1 Treffer
- correctness 1 Treffer
- cross-domain 1 Treffer
- cut admissibility 1 Treffer
- cut-elimination 1 Treffer
- dram 1 Treffer
- ethereum virtual machine 1 Treffer
- event-b 1 Treffer
- everlasting privacy 1 Treffer
- e-voting 1 Treffer
- extraction 1 Treffer
- formal method 1 Treffer
- formal proof 1 Treffer
- general topology 1 Treffer
- gradient boosted trees 1 Treffer
- hardware design 1 Treffer
- higher-order logic theorem proving 1 Treffer
- institution theory 1 Treffer
- interactive reasoning 1 Treffer
- interactive theorem prover 1 Treffer
- intermediate language 1 Treffer
- internet of things 1 Treffer
- isomorphic mapping 1 Treffer
- lebesgue integration 1 Treffer
- logic 1 Treffer
- logical foundations 1 Treffer
- lustre 1 Treffer
- matching logic 1 Treffer
Publikation
- lecture notes in computer science 28 Treffer
- communications in computer and information science 3 Treffer
- lecture notes in electrical engineering 2 Treffer
- nasa formal methods - 15th international symposium, nfm 2023, proceedings 2 Treffer
- programming languages and systems - 21st asian symposium, aplas 2023, proceedings 2 Treffer
-
29 weitere Werte:
- advances in artificial intelligence and security - 7th international conference, icais 2021, proceedings 1 Treffer
- artificial intelligence and security - 6th international conference, icais 2020, proceedings 1 Treffer
- automated reasoning with analytic tableaux and related methods - 30th international conference, tableaux 2021, proceedings 1 Treffer
- computer aided verification - 33rd international conference, cav 2021, proceedings 1 Treffer
- computer aided verification - 34th international conference, cav 2022, proceedings 1 Treffer
- computer aided verification - 35th international conference, cav 2023, proceedings 1 Treffer
- dependable software engineering. theories, tools, and applications - 8th international symposium, setta 2022, proceedings 1 Treffer
- formal methods - 25th international symposium, fm 2023, proceedings 1 Treffer
- formal methods and software engineering - 22nd international conference on formal engineering methods, icfem 2020, proceedings 1 Treffer
- formal methods: foundations and applications - 23rd brazilian symposium, sbmf 2020, proceedings 1 Treffer
- frontiers of combining systems - 14th international symposium, frocos 2023, proceedings 1 Treffer
- information systems and technologies to support learning - proceedings of emena-istl 2018 1 Treffer
- integrated formal methods - 17th international conference, ifm 2022, proceedings 1 Treffer
- intelligent computer mathematics - 14th international conference, cicm 2021, proceedings 1 Treffer
- intelligent computing and block chain - 1st benchcouncil international federated conferences, ficc 2020, revised selected papers 1 Treffer
- leveraging applications of formal methods, verification and validation: applications - 9th international symposium on leveraging applications of formal methods, isola 2020, proceedings 1 Treffer
- logic and argumentation - 5th international conference, clar 2023, proceedings 1 Treffer
- mathematics of program construction - 14th international conference, mpc 2022, proceedings 1 Treffer
- nuclear power plants: innovative technologies for instrumentation and control systems - the 5th international symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant isnpp 1 Treffer
- proceeding of 2021 international conference on wireless communications, networking and applications, wcna 2021 1 Treffer
- programming languages and systems - 31st european symposium on programming, esop 2022, held as part of the european joint conferences on theory and practice of software, etaps 2022, proceedings 1 Treffer
- rigorous state-based methods - 8th international conference, abz 2021, proceedings 1 Treffer
- scopus oa2021 1 Treffer
- secure it systems - 25th nordic conference, nordsec 2020, proceedings 1 Treffer
- smart innovation, systems and technologies 1 Treffer
- software engineering and formal methods - sefm 2019 collocated workshops: cosim-cps, asyde, cifma, and foclasa, revised selected papers 1 Treffer
- spaccs 2020 international workshops, 2020, proceedings 1 Treffer
- theoretical aspects of computing - ictac 2023 - 20th international colloquium, proceedings 1 Treffer
- tools and algorithms for the construction and analysis of systems - 30th international conference, tacas 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, proceedings 1 Treffer
Sprache
35 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: