Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- certified programs 4 Treffer
- computer software 4 Treffer
- cpp 4 Treffer
- formal methods (computer science) 4 Treffer
- algebraic logic 1 Treffer
-
14 weitere Werte:
- asian 1 Treffer
- computational complexity 1 Treffer
- computer logic 1 Treffer
- computer security 1 Treffer
- csl 1 Treffer
- eacsl 1 Treffer
- geographic information systems 1 Treffer
- iccsa 1 Treffer
- logic, symbolic and mathematical 1 Treffer
- proofs 1 Treffer
- ramics 1 Treffer
- relation algebras 1 Treffer
- software protection 1 Treffer
- types 1 Treffer
Verlag
Sprache
10 Treffer
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 50-65KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 82-97KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 33-49KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7679, S. 289-304KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7560, S. 98-113KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2011, Heft 6785, S. 368-383KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6247, S. 529-543KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5749, S. 287-303KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4435, S. 105-119KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, Jg. 2277 (2002), S. 79-95KonferenzZugriff: