Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- general computer science 15 Treffer
- theoretical computer science 15 Treffer
- computer science(all) 11 Treffer
- computer science 8 Treffer
- mathematics 6 Treffer
-
45 weitere Werte:
- computer 5 Treffer
- computer.software_genre 5 Treffer
- semantics 5 Treffer
- 01 natural sciences 4 Treffer
- programming language 4 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- denotational semantics 3 Treffer
- discrete mathematics 3 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 020207 software engineering 2 Treffer
- authentication 2 Treffer
- bisimulation 2 Treffer
- bundles 2 Treffer
- calculus 2 Treffer
- coinduction 2 Treffer
- computation 2 Treffer
- computer science - logic in computer science 2 Treffer
- computer security 2 Treffer
- concurrency 2 Treffer
- cryptographic protocols 2 Treffer
- duality (mathematics) 2 Treffer
- fos: computer and information sciences 2 Treffer
- library science 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- nondeterminism 2 Treffer
- operational semantics 2 Treffer
- probability 2 Treffer
- pure mathematics 2 Treffer
- separation logic 2 Treffer
- shared memory 2 Treffer
- 0103 physical sciences 1 Treffer
- 010308 nuclear & particles physics 1 Treffer
- 020202 computer hardware & architecture 1 Treffer
- 020204 information systems 1 Treffer
- 03g30 1 Treffer
- 16. peace & justice 1 Treffer
- 2-exptime 1 Treffer
- abelian category 1 Treffer
- additive category 1 Treffer
- algebra 1 Treffer
- algebraic effects 1 Treffer
Verlag
Sprache
180 Treffer
-
In: Electronic Notes in Theoretical Computer Science, Jg. 20 (1999), S. 76-79Online academicJournal
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 20 (1999), S. 76-79Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 45 (2001-11-01), S. 141-161Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 1 (1995), S. 313-333Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 308 (2014), S. 1-2Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 165-178Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 119-141Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 403-425Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 325-348Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 383-402Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 309-324Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 367-382Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 257-282Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 349-365Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 215-232Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 283-307Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 233-255Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 197-214Online serialPeriodical
-
In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 7-28Online serialPeriodical