Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 82 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 72 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 44 Treffer
- formal proof 39 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 25 Treffer
-
45 weitere Werte:
- [info.info-es]computer science [cs]/embedded systems 24 Treffer
- [info.info-dc]computer science [cs]/distributed 23 Treffer
- and cluster computing [cs.dc] 23 Treffer
- parallel 23 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 22 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 22 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 21 Treffer
- [info]computer science [cs] 20 Treffer
- floating-point arithmetic 20 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 18 Treffer
- proof assistant 17 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 15 Treffer
- coq proof assistant 15 Treffer
- formal proofs 14 Treffer
- theorem proving 13 Treffer
- distributed algorithm 12 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 11 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 11 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 11 Treffer
- type theory 11 Treffer
- dependent types 10 Treffer
- formalization 10 Treffer
- mobile autonomous robots 10 Treffer
- termination 10 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 9 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 9 Treffer
- certification 9 Treffer
- compilers 9 Treffer
- convex polyhedra 9 Treffer
- interactive theorem proving 9 Treffer
- linear programming 9 Treffer
- measure theory 9 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 8 Treffer
- floating-point 8 Treffer
- simplex method 8 Treffer
- software verification 8 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 7 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 7 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 7 Treffer
- [math.math-oc]mathematics [math]/optimization and control [math.oc] 7 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.3: mechanical verification 7 Treffer
- decision procedure 7 Treffer
- exceptions 7 Treffer
- geometry 7 Treffer
- interval arithmetic 7 Treffer
Verlag
- hal ccsd 285 Treffer
- springer verlag 99 Treffer
- acm 31 Treffer
- logical methods in computer science association 23 Treffer
- cambridge university press (cup) 18 Treffer
-
22 weitere Werte:
- elsevier 17 Treffer
- springer 15 Treffer
- european design and automation association (edaa) \ embedded systems special interest group (emsig) and schloss dagstuhl -- leibniz-zentrum fur informatik gmbh, dagstuhl publishing. 9 Treffer
- asdd-almadl 8 Treffer
- institute of electrical and electronics engineers 8 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 7 Treffer
- association for computing machinery 6 Treffer
- cnrs editions 4 Treffer
- aircc publishing corporation 3 Treffer
- eptcs 3 Treffer
- world scientific 3 Treffer
- cambridge university press 2 Treffer
- college publications 2 Treffer
- igi global 2 Treffer
- iste press - elsevier 2 Treffer
- oxford university press (oup) 2 Treffer
- polskie towarzystwo matematyczne 2 Treffer
- springer verlag (germany) 2 Treffer
- dmtcs 1 Treffer
- hermann 1 Treffer
- lavoisier 1 Treffer
- open publishing association 1 Treffer
Publikation
- issn: 0168-7433 74 Treffer
- issn: 0960-1295 8 Treffer
- issn: 1432-4350 7 Treffer
- issn: 2199-2002 ; leibniz transactions on embedded systems ; https://hal.science/hal-03901898 ; leibniz transactions on embedded systems, 2022, special issue on distributed hybrid systems, 8 (2), pp.02:1-02:36. ⟨10.4230/lites.8.2.2⟩ 7 Treffer
- issn: 1471-0684 6 Treffer
-
21 weitere Werte:
- issn: 1661-8270 6 Treffer
- issn: 1012-2443 5 Treffer
- issn: 0188-7009 4 Treffer
- eissn: 1860-5974 ; logical methods in computer science ; https://inria.hal.science/hal-03915661 ; logical methods in computer science, 2022, 18 (2), ⟨10.46298/lmcs-18(2:10)2022⟩ 3 Treffer
- issn: 0098-3500 ; acm transactions on mathematical software ; https://hal.science/hal-02972245 ; acm transactions on mathematical software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩ 3 Treffer
- issn: 1388-3690 3 Treffer
- issn: 1539-9087 3 Treffer
- issn: 1619-1366 3 Treffer
- software & systems modeling ; https://inria.hal.science/hal-03656144 ; software & systems modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩ 3 Treffer
- issn: 0039-3215 2 Treffer
- issn: 0890-5401 2 Treffer
- issn: 0955-792x 2 Treffer
- issn: 0956-7968 2 Treffer
- issn: 1433-2779 2 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: 0004-5411 1 Treffer
- issn: 0169-2968 1 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 1 Treffer
- issn: 1462-7264 1 Treffer
- issn: 1625-7545 1 Treffer
- issn: 2475-1421 ; proceedings of the acm on programming languages ; https://hal.science/hal-03857705 ; proceedings of the acm on programming languages, 2023, proceedings of the acm on programming languages, 7 (popl), pp.74. ⟨10.1145/3571739⟩ 1 Treffer
Sprache
285 Treffer
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2021Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2019Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359508 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-03876233 ; Proceedings of the ACM on Programming Languages, 2022, 2022Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-03876233 ; Proceedings of the ACM on Programming Languages, 2022, 2022Online academicJournalZugriff:
-
In: Proof and Computation II ; https://inria.hal.science/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩; (2021)Online BuchZugriff:
-
In: Proof and Computation II ; https://inria.hal.science/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩; (2021)Online BuchZugriff:
-
In: Proof and Computation II ; https://hal.inria.fr/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩; (2021)Online BuchZugriff: