Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 36 Treffer
- computer science 14 Treffer
- software 14 Treffer
- computer 13 Treffer
- computer.software_genre 13 Treffer
-
45 weitere Werte:
- programming language 12 Treffer
- verification 12 Treffer
- 02 engineering and technology 10 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 10 Treffer
- hoare logic 10 Treffer
- theorem proving 9 Treffer
- 020204 information systems 8 Treffer
- 020207 software engineering 8 Treffer
- dependent types 8 Treffer
- interactive theorem proving 8 Treffer
- reo 8 Treffer
- technical specifications 8 Treffer
- coq proof assistant 7 Treffer
- lambda calculus 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 7 Treffer
- evidence 6 Treffer
- operational semantics 6 Treffer
- programming languages 6 Treffer
- proof assistant 6 Treffer
- reasoning 6 Treffer
- semantics 6 Treffer
- type theory 6 Treffer
- algorithms 5 Treffer
- calculus 5 Treffer
- coinduction 5 Treffer
- controlled natural language 5 Treffer
- dynamic logic 5 Treffer
- formal methods 5 Treffer
- hypervisor 5 Treffer
- logic 5 Treffer
- prng 5 Treffer
- provable security 5 Treffer
- assembly language 4 Treffer
- case studies 4 Treffer
- compilers (computer programs) 4 Treffer
- complexity 4 Treffer
- connector 4 Treffer
- coordination 4 Treffer
- coordination language 4 Treffer
- first-order logic 4 Treffer
- formal verification 4 Treffer
- institution theory 4 Treffer
- mathematical equivalence 4 Treffer
- mathematical functions 4 Treffer
Verlag
Sprache
103 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of computer programming, Jg. 170 (2019), S. 27-44Online serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of computer programming, Jg. 164 (2018), S. 49-65Online serialPeriodicalZugriff:
-
In: Science of computer programming, Jg. 164 (2018), S. 37-48Online serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of computer programming, Jg. 113 (2015), Heft P3, S. 285-301Online serialPeriodicalZugriff:
-
In: Science of Computer Programming, Jg. 170 (2019), S. 27-44Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: SCIENCE OF COMPUTER PROGRAMMING, Jg. 74 (2009), Heft 8, S. 568-589Online serialPeriodicalZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 49-65Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 201 (2021), S. 102537-102537Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 113 (2015-12-01), S. 285-301Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 187 (2020-02-01), S. 102371-102371Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-15), S. 31-51Online academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), S. 332-340Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224Online academicJournalZugriff: