Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Schlagwort: [info.info-lo]computer science [cs]/logic in computer science [cs.lo]
- Entferne Filter: Schlagwort: acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs
- Entferne Filter: Schlagwort: acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.2: grammars and other rewriting systems
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- acm: c.: computer systems organization/c.1: processor architectures 3 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling/i.6.7: simulation support systems 3 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling/i.6.7: simulation support systems/i.6.7.0: environments 2 Treffer
- instruction set simulation 2 Treffer
- verification & proofs 2 Treffer
-
21 weitere Werte:
- [info] computer science [cs] 1 Treffer
- [info]computer science [cs] 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020202 computer hardware & architecture 1 Treffer
- 020204 information systems 1 Treffer
- automated proof checking 1 Treffer
- automated theorem proving 1 Treffer
- computer 1 Treffer
- computer architecture simulator 1 Treffer
- computer science 1 Treffer
- computer science::hardware architecture 1 Treffer
- computer.software_genre 1 Treffer
- computer-assisted proof 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- instruction set 1 Treffer
- mathematical proof 1 Treffer
- programming language 1 Treffer
- proof assistant 1 Treffer
- proof complexity 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Dependable Software Engineering: Theories, Tools, and Applications ; https://inria.hal.science/hal-01241837 ; Xuandong Li, Zhiming Liu, Wang Yi. Dependable Software Engineering: Theories, Tools, and Applications, 9409, Springer, pp.315, 2015, Lecture Notes in Computer Science, ISBN 978-3-319-25942-0. ⟨10.1007/978-3-319-25942-0⟩; (2015)BuchZugriff:
-
2015Online unknownZugriff: