Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 15 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 10 Treffer
- distributed algorithm 6 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
-
38 weitere Werte:
- [info.info-os]computer science [cs]/operating systems [cs.os] 4 Treffer
- [sdv]life sciences [q-bio] 4 Treffer
- coinduction 4 Treffer
- composition 4 Treffer
- coq proof assistant 4 Treffer
- environmental microbiology 4 Treffer
- glycine betaine 4 Treffer
- lactobacillus plantarum 4 Treffer
- linux 4 Treffer
- lsm 4 Treffer
- self-stabilization 4 Treffer
- streams 4 Treffer
- information flow tracking 3 Treffer
- lactic acid bacterium 3 Treffer
- message passing 3 Treffer
- virtual machine 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 2 Treffer
- automated reasoning 2 Treffer
- call graph 2 Treffer
- certification 2 Treffer
- coalgebra 2 Treffer
- codata 2 Treffer
- computational logic 2 Treffer
- dependent type theory 2 Treffer
- inseparability 2 Treffer
- original article 2 Treffer
- pattern matching 2 Treffer
- computer aided teaching 1 Treffer
- constraint programming 1 Treffer
- coq 1 Treffer
- dose-response relationship 1 Treffer
- formal proof 1 Treffer
- histotype 1 Treffer
- invasivene 1 Treffer
- martin-lof type theory 1 Treffer
- meta-analysi 1 Treffer
- ovarian cancer 1 Treffer
- tobacco smoking 1 Treffer
Publikation
Sprache
Geographischer Bezug
145 Treffer
-
In: Rigorous State-Based Methods ; Lecture Notes in Computer Science ; page 162-166 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030775421 9783030775438; (2021)BuchZugriff:
-
In: Automated Reasoning ; Lecture Notes in Computer Science ; page 79-96 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030510534 9783030510541; (2020)BuchZugriff:
-
In: Automated Reasoning ; Lecture Notes in Computer Science ; page 97-118 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030510534 9783030510541; (2020)BuchZugriff:
-
In: Automated Reasoning ; Lecture Notes in Computer Science ; page 28-57 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030510534 9783030510541; (2020)BuchZugriff:
-
In: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 619-650 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319898834 9783319898841; (2018)BuchZugriff:
-
In: Interactive Theorem Proving ; Lecture Notes in Computer Science ; page 20-39 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319948201 9783319948218; (2018)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 67-83 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030810962 9783030810979; (2021)BuchZugriff:
-
In: Advances in Artificial Intelligence and Security ; Communications in Computer and Information Science ; page 656-665 ; ISSN 1865-0929 1865-0937 ; ISBN 9783030786175 9783030786182; (2021)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Automated Reasoning with Analytic Tableaux and Related Methods ; page 299-313 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030860585 9783030860592; (2021)BuchZugriff:
-
In: Lecture Notes in Computer Science ; NASA Formal Methods ; page 287-303 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030763831 9783030763848; (2021)BuchZugriff:
-
In: Aging Clin Exp Res, 2023academicJournalZugriff:
-
In: Lecture Notes in Computer Science ; Formal Methods. FM 2019 International Workshops ; page 380-391 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030549930 9783030549947; (2020)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Formal Methods. FM 2019 International Workshops ; page 368-379 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030549930 9783030549947; (2020)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Dynamic Logic. New Trends and Applications ; page 3-18 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030388072 9783030388089; (2020)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Formal Methods. FM 2019 International Workshops ; page 362-367 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030549930 9783030549947; (2020)BuchZugriff:
-
In: Formal Methods and Software Engineering ; Lecture Notes in Computer Science ; page 287-296 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030634056 9783030634063; (2020)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Leveraging Applications of Formal Methods, Verification and Validation: Applications ; page 60-72 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030614669 9783030614676; (2020)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 271-277 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030535179 9783030535186; (2020)BuchZugriff:
-
In: Lecture Notes in Computer Science ; Formal Methods: Foundations and Applications ; page 192-209 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030638818 9783030638825; (2020)BuchZugriff:
-
In: Vernacular Aesthetics in the Later Middle Ages ; page 177-198 ; ISBN 9783030183332 9783030183349; (2019)BuchZugriff: