Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 8 Treffer
- [info]computer science [cs] 8 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
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems/c.2.4.1: distributed applications 6 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability/d.4.5.2: fault-tolerance 6 Treffer
-
14 weitere Werte:
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.1: computations on discrete structures 6 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.3: studies of program constructs/f.3.3.4: type structure 6 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.0: complexity of proof procedures 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 2 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 2 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 2 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 2 Treffer
- combinatorial enumeration 2 Treffer
- logic programming 2 Treffer
- permutations 2 Treffer
- random testing 2 Treffer
Publikation
Sprache
12 Treffer
-
In: ISSN: 0934-5043, 2018Online academicJournalZugriff:
-
In: ISSN: 0934-5043, 2018Online academicJournalZugriff:
-
In: ISSN: 0925-9856, 2012Online academicJournalZugriff:
-
In: ISSN: 0925-9856, 2012Online academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff:
-
In: ISSN: 1432-4350, 2019academicJournalZugriff: