Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- hoare logic 5 Treffer
- object-oriented programming 5 Treffer
- semantics 5 Treffer
- applied sciences 4 Treffer
- computer science 4 Treffer
-
45 weitere Werte:
- computer science; control theory; systems 4 Treffer
- exact sciences and technology 4 Treffer
- informatique 4 Treffer
- informatique theorique 4 Treffer
- informatique; automatique theorique; systemes 4 Treffer
- java 4 Treffer
- logic and foundations 4 Treffer
- logique et fondements 4 Treffer
- logique mathematique, fondements, theorie des ensembles 4 Treffer
- mathematical logic, foundations, set theory 4 Treffer
- mathematics 4 Treffer
- mathematiques 4 Treffer
- monitors 4 Treffer
- multithreading 4 Treffer
- programming languages 4 Treffer
- sciences and techniques of general use 4 Treffer
- sciences appliquees 4 Treffer
- sciences et techniques communes 4 Treffer
- sciences exactes et technologie 4 Treffer
- theoretical computing 4 Treffer
- verificacion 4 Treffer
- computer theory 3 Treffer
- general logic 3 Treffer
- informatica teorica 3 Treffer
- language theory and syntactical analysis 3 Treffer
- logiciel 3 Treffer
- logique generale 3 Treffer
- software 3 Treffer
- synchronization 3 Treffer
- theorie des langages et analyse syntaxique 3 Treffer
- 68q60 2 Treffer
- computer programming 2 Treffer
- java programming language 2 Treffer
- langage oriente objet 2 Treffer
- langages de programmation 2 Treffer
- logica hoare 2 Treffer
- logique hoare 2 Treffer
- modal logic 2 Treffer
- object-oriented databases 2 Treffer
- object-oriented languages 2 Treffer
- object-oriented methods (computer science) 2 Treffer
- programming theory 2 Treffer
- pvs 2 Treffer
- specification 2 Treffer
- theorie programmation 2 Treffer
Verlag
Sprache
Geographischer Bezug
4 Treffer
-
In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 291-323Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 251-290Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 343 (2005), Heft 3, S. 413-442Online Konferenz
-
In: Theoretical computer science, Jg. 260 (2001), Heft 1-2, S. 119-138Online academicJournal