Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- divers 2 Treffer
- mathematics 2 Treffer
- mathematiques 2 Treffer
- miscellaneous 2 Treffer
- sciences and techniques of general use 2 Treffer
-
45 weitere Werte:
- sciences et techniques communes 2 Treffer
- 03b15 1 Treffer
- 28xx 1 Treffer
- analyse mathematique 1 Treffer
- case study 1 Treffer
- classical combinatorial problems 1 Treffer
- code generation 1 Treffer
- coinduction 1 Treffer
- combinatoire 1 Treffer
- combinatoire. structures ordonnees 1 Treffer
- combinatorics 1 Treffer
- combinatorics. ordered structures 1 Treffer
- compression 1 Treffer
- computer systems performance. reliability 1 Treffer
- estudio caso 1 Treffer
- etude cas 1 Treffer
- extraccion 1 Treffer
- extraction 1 Treffer
- formal method 1 Treffer
- functional languages 1 Treffer
- general logic 1 Treffer
- integracion 1 Treffer
- integration 1 Treffer
- interactive theorem proving 1 Treffer
- language theory and syntactical analysis 1 Treffer
- logic and foundations 1 Treffer
- logiciel 1 Treffer
- logique et fondements 1 Treffer
- logique generale 1 Treffer
- logique mathematique, fondements, theorie des ensembles 1 Treffer
- mathematical analysis 1 Treffer
- mathematical logic, foundations, set theory 1 Treffer
- measure and integration 1 Treffer
- mesure et integration 1 Treffer
- methode formelle 1 Treffer
- methode sequentielle 1 Treffer
- metodo formal 1 Treffer
- metodo secuencial 1 Treffer
- modular specification 1 Treffer
- performances des systemes informatiques. fiabilite 1 Treffer
- problemes combinatoires classiques 1 Treffer
- programacion 1 Treffer
- programmation 1 Treffer
- programming 1 Treffer
- pvs 1 Treffer
Sprache
3 Treffer
-
In: Formal aspects of computing, Jg. 20 (2008), Heft 3, S. 259-275Online academicJournalZugriff:
-
In: Verified software: Theories, tools, experiments meeting, Jg. 19 (2007), Heft 2, S. 191-203Online KonferenzZugriff:
-
In: Formal aspects of computing, Jg. 16 (2004), Heft 4, S. 352-373Online academicJournalZugriff: