Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [math.math-na]mathematics [math]/numerical analysis [math.na] 15 Treffer
- acoustic wave equation 15 Treffer
- coq 15 Treffer
- partial differential equation 15 Treffer
- formal proof 13 Treffer
-
45 weitere Werte:
- [info.info-ao]computer science [cs]/computer arithmetic 12 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 12 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages 12 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.8: partial differential equations/g.1.8.2: finite difference methods 12 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 11 Treffer
- 02 engineering and technology 10 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 10 Treffer
- computer science 8 Treffer
- numerical scheme 8 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 8 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 8 Treffer
- automated reasoning 7 Treffer
- calculus of inductive constructions 7 Treffer
- term rewriting 7 Treffer
- termination 7 Treffer
- 020201 artificial intelligence & image processing 6 Treffer
- 020207 software engineering 6 Treffer
- convergence of numerical scheme 6 Treffer
- coq formal proofs 6 Treffer
- mathematical proof 6 Treffer
- rounding error analysis 6 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 5 Treffer
- 01 natural sciences 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.11: software architectures 5 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs 5 Treffer
- acm: g.: mathematics of computing 5 Treffer
- computer 5 Treffer
- discriminant 5 Treffer
- floating-point 5 Treffer
- [info.info-es]computer science [cs]/embedded systems 4 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 4 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 4 Treffer
- abstraction 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.13: reusable software 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.2: grammars and other rewriting systems 4 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.0: general/g.1.0.0: computer arithmetic 4 Treffer
- acm: g.: mathematics of computing/g.4: mathematical software/g.4.8: verification 4 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling 4 Treffer
- computer architecture 4 Treffer
- computer.software_genre 4 Treffer
- denotational semantics 4 Treffer
- extraction 4 Treffer
Verlag
Publikation
- issn: 0168-7433 6 Treffer
- 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⟩ 1 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 1 Treffer
- issn: 0960-1295 1 Treffer
Sprache
Geographischer Bezug
68 Treffer
-
In: https://hal.science/hal-01830255 ; 2018, 2018Online reportZugriff:
-
In: From Semantics to Computer Science ; https://inria.hal.science/inria-00431806 ; Yves Bertot and Gérard Huet and Jean-Jacques Lévy and Gordon Plotkin. From Semantics to Computer Science, Cambridge University Press, pp.383-413, 2009, 9780521518253; (2009)Online BuchZugriff:
-
In: Conférence en IngénieriE du Logiciel ; https://inria.hal.science/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France, 2012Online KonferenzZugriff:
-
In: https://cel.hal.science/inria-00001174 ; DEA. EU's coordination action Types Goteborg, 2005, 2005Online unknownZugriff:
-
In: All about Proofs, Proofs for All ; https://inria.hal.science/hal-01094195 ; Bruno Woltzenlogel Paleo; David Delahaye. All about Proofs, Proofs for All, 55, College Publications, 2015, Studies in Logic (Mathematical logic and foundations), 978-1-84890-166-7 ; http://www.collegepublications.co.uk/logic/mlf/?00023; (2015)Online BuchZugriff:
-
In: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff:
-
In: ISSN: 0168-7433, 2013Online academicJournalZugriff:
-
In: ISSN: 1972-5787 ; Journal of Formalized Reasoning ; https://inria.hal.science/hal-01074926 ; Journal of Formalized Reasoning, 2014, 2014Online academicJournalZugriff:
-
In: ISSN: 0752-4072 ; EISSN: 2116-5920, 2005Online academicJournalZugriff:
-
In: https://hal.inria.fr/inria-00160309 ; [Research Report] RR-6242, INRIA. 2007, pp.23, 2007Online reportZugriff:
-
In: https://hal.inria.fr/inria-00105529 ; [Research Report] 2006, pp.15, 2006Online reportZugriff:
-
In: 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ; https://inria.hal.science/inria-00535655, 2010Online KonferenzZugriff:
-
In: https://inria.hal.science/inria-00636083 ; [Research Report] RR-7780, INRIA. 2011, pp.33, 2011Online reportZugriff:
-
In: Certified Programs and Proofs (CPP'15) ; https://inria.hal.science/hal-01074927 ; Certified Programs and Proofs (CPP'15), Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693172⟩, 2015Online KonferenzZugriff: