Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-se]computer science [cs]/software engineering [cs.se] 30 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 23 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 15 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 15 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 10 Treffer
-
42 weitere Werte:
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 10 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 7 Treffer
- [info.info-ne]computer science [cs]/neural and evolutionary computing [cs.ne] 7 Treffer
- [info]computer science [cs] 7 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 6 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 5 Treffer
- [scco.comp]cognitive science/computer science 4 Treffer
- deductive verification 4 Treffer
- dynamic verification 4 Treffer
- specification language 4 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 3 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- artificial intelligence 3 Treffer
- metamorphism 3 Treffer
- testing 3 Treffer
- verification and validation 3 Treffer
- "organics" in general 2 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 2 Treffer
- formal methods 2 Treffer
- health and welfare 2 Treffer
- software 2 Treffer
- software development 2 Treffer
- 2715 gastroenterology 1 Treffer
- 33 ciencias tecnologicas 1 Treffer
- 630 agriculture 1 Treffer
- colon 1 Treffer
- electrospinning 1 Treffer
- endoscopic mucosal resection 1 Treffer
- genetic algorithms 1 Treffer
- lignin 1 Treffer
- lubricant 1 Treffer
- microarrays 1 Treffer
- numerical properties 1 Treffer
- oil structuring 1 Treffer
- optimized code generation 1 Treffer
- rational numbers 1 Treffer
- runtime assertion checking 1 Treffer
- support-vector machines 1 Treffer
- surfactant 1 Treffer
- triclustering 1 Treffer
- typing 1 Treffer
Publikation
- issn: 0302-9743 ; lecture notes in computer science 3 Treffer
- issn: 0302-9743 ; lecture notes in computer science ; https://cea.hal.science/cea-04491532 ; lecture notes in computer science, 2019, 11388, pp.160-182. ⟨10.1007/978-3-030-11245-5_8⟩ ; https://link.springer.com/chapter/10.1007/978-3-030-11245-5_8 3 Treffer
- tap 2015, 9th int. conf. of tests and proofs ; https://hal.science/hal-01228995 ; tap 2015, 9th int. conf. of tests and proofs, 2015, l'aquila, italy. pp.109--128 2 Treffer
- tests and proofs ; https://inria.hal.science/hal-01108553 ; tests and proofs, jul 2014, york, united kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩ 2 Treffer
Sprache
Geographischer Bezug
84 Treffer
-
In: Rodenbücher, Anna L; Walkenhorst, Michael; Holinger, Mirjam; Perler, Erika; Amsler-Kepalaite, Zivile; Frey, Caroline F; Mevissen, Meike; Maurer, Veronika (2023). Pumpkin seeds, lemongrass essential oil and ripleaf leaves as feed additives for Ascaridia galli infected laying hens. Veterinary research communications, 47(2), pp. 817-832. Springer 10.1007/s11259-022-10042-5 <http://dx.doi.org/10.1007/s11259-022-10042-5>, 2023Online academicJournalZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04237016 ; Lecture Notes in Computer Science, 2023, International Conference on Computer Safety, Reliability, and Security, 14182, pp.423-435. ⟨10.1007/978-3-031-40953-0_36⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-40953-0_36, 2023Online academicJournalZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04228011 ; Lecture Notes in Computer Science, 2023, 14182, pp.328-340. ⟨10.1007/978-3-031-40953-0_27⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-40953-0_27, 2023Online academicJournalZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04237016 ; Lecture Notes in Computer Science, 2023, International Conference on Computer Safety, Reliability, and Security, 14182, pp.423-435. ⟨10.1007/978-3-031-40953-0_36⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-40953-0_36, 2023Online academicJournalZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science, 2022Online academicJournalZugriff:
-
In: TAP 2020 - 14th International Conference on Tests and Proofs ; https://hal-cea.archives-ouvertes.fr/cea-02879211 ; TAP 2020 - 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩ ; https://link.springer.com/book/10.1007/978-3-030-50995-8, 2020Online KonferenzZugriff:
-
In: TAP 2020 - 14th International Conference on Tests and Proofs ; https://cea.hal.science/cea-02879211 ; TAP 2020 - 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩ ; https://link.springer.com/book/10.1007/978-3-030-50995-8, 2020Online KonferenzZugriff:
-
In: TAP 2020 - 14th International Conference on Tests and Proofs ; https://cea.hal.science/cea-02879211 ; TAP 2020 - 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩ ; https://link.springer.com/book/10.1007/978-3-030-50995-8, 2020Online KonferenzZugriff:
-
In: TAP 2020 - 14th International Conference on Tests and Proofs ; https://hal-cea.archives-ouvertes.fr/cea-02879211 ; TAP 2020 - 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩ ; https://link.springer.com/book/10.1007/978-3-030-50995-8, 2020Online KonferenzZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04475962 ; Lecture Notes in Computer Science, 2021, 12759, pp.669-693. ⟨10.1007/978-3-030-81685-8_32⟩ ; https://link.springer.com/chapter/10.1007/978-3-030-81685-8_32, 2021Online academicJournalZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04477141 ; Lecture Notes in Computer Science, 2021, 2021Online academicJournalZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04475962 ; Lecture Notes in Computer Science, 2021, 12759, pp.669-693. ⟨10.1007/978-3-030-81685-8_32⟩ ; https://link.springer.com/chapter/10.1007/978-3-030-81685-8_32, 2021Online academicJournalZugriff:
-
In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04232795 ; Lecture Notes in Computer Science, 2021, FPS 2021 - The 14th International Symposium on Foundations & Practice of Security, 13291, ⟨10.1007/978-3-031-08147-7_20⟩ ; https://www.fps-2021.com/, 2021Online academicJournalZugriff: