Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- computer software 2 Treffer
- computer software development 2 Treffer
- abstracting 1 Treffer
- affordance 1 Treffer
- algebra 1 Treffer
-
21 weitere Werte:
- computer architecture 1 Treffer
- computer simulation 1 Treffer
- computer software developers 1 Treffer
- discrepancy 1 Treffer
- electronic systems 1 Treffer
- formal methods 1 Treffer
- human computer interaction 1 Treffer
- interactive systems 1 Treffer
- mathematical models 1 Treffer
- mathematical notation 1 Treffer
- model checking 1 Treffer
- natural interaction 1 Treffer
- physics instruments 1 Treffer
- process algebra 1 Treffer
- process algebras 1 Treffer
- programming languages 1 Treffer
- software components 1 Treffer
- software engineering 1 Treffer
- substitution 1 Treffer
- systems engineering 1 Treffer
- ubiquitous computing 1 Treffer
Publikation
Sprache
Inhaltsanbieter
7 Treffer
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 208 (2008-04-14), S. 41-55Online serialPeriodicalZugriff:
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 208 (2008-04-14), S. 23-40Online serialPeriodicalZugriff:
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 166 (2007), S. 27-46Online serialPeriodicalZugriff:
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 162 (2006-09-29), S. 217-220Online serialPeriodicalZugriff:
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 97 (2004-07-22), S. 47-65Online serialPeriodicalZugriff:
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 82 (2003-04-01), Heft 5, S. 1-9Online serialPeriodicalZugriff:
-
In: Science of Computer Programming, 2014-12-04, S. 395-395Online academicJournalZugriff: