Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Complementary Index 6 Treffer
- MathSciNet via EBSCOhost 6 Treffer
- ABC-CLIO eBooks 5 Treffer
- Bloom's Literature 5 Treffer
- E-knihovna 5 Treffer
-
11 weitere Werte:
- Memòria Digital de Catalunya (MDC) 5 Treffer
- PASCAL Archive 5 Treffer
- Politics Trove 5 Treffer
- Universalis 5 Treffer
- VIDAL Consult 5 Treffer
- World Religions 5 Treffer
- Gale Academic OneFile 5 Treffer
- Scopus® 5 Treffer
- Science Citation Index Expanded 4 Treffer
- Academic Search Index 2 Treffer
- Applied Science & Technology Source 2 Treffer
Art der Quelle
Schlagwort
- formal verification 7 Treffer
- coq 6 Treffer
- applied sciences 5 Treffer
- architecture 5 Treffer
- computer science 5 Treffer
-
45 weitere Werte:
- computer science; control theory; systems 5 Treffer
- exact sciences and technology 5 Treffer
- informatique 5 Treffer
- informatique; automatique theorique; systemes 5 Treffer
- sciences appliquees 5 Treffer
- sciences exactes et technologie 5 Treffer
- design 4 Treffer
- informatique theorique 4 Treffer
- theoretical computing 4 Treffer
- composition 3 Treffer
- computer software 3 Treffer
- engineering 3 Treffer
- industrial arts 3 Treffer
- information storage & retrieval systems -- code words 3 Treffer
- interactive theorem proving 3 Treffer
- mde 3 Treffer
- methodology 3 Treffer
- mof 3 Treffer
- process algebra 3 Treffer
- proof assistant 3 Treffer
- technology 3 Treffer
- theory 3 Treffer
- acp 2 Treffer
- algorithmics. computability. computer arithmetics 2 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 2 Treffer
- calculabilite decidabilite 2 Treffer
- computability and decidability 2 Treffer
- computer theory 2 Treffer
- denotational semantics 2 Treffer
- extraction 2 Treffer
- informatica teorica 2 Treffer
- logiciel 2 Treffer
- modular specification 2 Treffer
- program slicing 2 Treffer
- software 2 Treffer
- type theory 2 Treffer
- verification 2 Treffer
- verilog 2 Treffer
- 03b15 1 Treffer
- algebra proceso 1 Treffer
- algebre processus 1 Treffer
- arquitectura 1 Treffer
- automatic proving 1 Treffer
- calculus 1 Treffer
- calculus of constructions 1 Treffer
Verlag
Sprache
17 Treffer
-
In: Formal aspects of computing, Jg. 20 (2008), Heft 3, S. 259-275Online academicJournalZugriff:
-
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:
-
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:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 11 (1999-09-30), Heft 3, S. 225-243Online academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 28 (2016-05-01), Heft 3, S. 409-440Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 19 (2007-06-12), Heft 2, S. 191-203Online academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 16 (2004-11-01), Heft 4, S. 352-379Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 9 (1997-09-01), Heft 5/6, S. 484-517Online academicJournalZugriff:
-
In: Formal aspects of computing, Jg. 16 (2004), Heft 4, S. 352-373Online academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 19 (2007-06-01), Heft 2, S. 191-203Online academicJournalZugriff: