Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- genie logiciel 5 Treffer
- software engineering 5 Treffer
- desarrollo logicial 3 Treffer
- developpement logiciel 3 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 3 Treffer
-
45 weitere Werte:
- java language 3 Treffer
- langage java 3 Treffer
- lenguaje java 3 Treffer
- memory and file management (including protection and security) 3 Treffer
- memory organisation. data processing 3 Treffer
- organisation des memoires. traitement des donnees 3 Treffer
- software development 3 Treffer
- demonstration theoreme 2 Treffer
- demostracion teorema 2 Treffer
- especificacion formal 2 Treffer
- especificacion programa 2 Treffer
- filtering 2 Treffer
- filtrado 2 Treffer
- filtrage 2 Treffer
- formal specification 2 Treffer
- information use 2 Treffer
- model checking 2 Treffer
- operating system 2 Treffer
- program specification 2 Treffer
- sistema operativo 2 Treffer
- specification formelle 2 Treffer
- specification programme 2 Treffer
- systeme exploitation 2 Treffer
- theorem proving 2 Treffer
- uso informacion 2 Treffer
- utilisation information 2 Treffer
- verificacion modelo 2 Treffer
- verification modele 2 Treffer
- abstract interpretation 1 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- algorithm analysis 1 Treffer
- analisis algoritmo 1 Treffer
- analisis estatica 1 Treffer
- analisis programa 1 Treffer
- analyse algorithme 1 Treffer
- analyse atteignabilite 1 Treffer
- analyse programme 1 Treffer
- analyse statique 1 Treffer
- antememoire 1 Treffer
- antememoria 1 Treffer
- aplastamiento 1 Treffer
- ascenseur 1 Treffer
- ascensor 1 Treffer
- automata 1 Treffer
Publikation
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 2 Treffer
- generative programming and component engineering (4th international conference, gpce 2005, tallinn, estonia, september 29 - october 1, 2005, proceedings) 1 Treffer
- icoin 2003 : information networking (networking technologies for enhanced internet services) 1 Treffer
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 1 Treffer
- software security - theories and systems (tokyo, 4-6 november 2003, revised papers) 1 Treffer
- 2 weitere Werte:
Sprache
8 Treffer
-
In: TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005), 2005, S. 461-476KonferenzZugriff:
-
In: ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers), 2003, S. 217-233KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 130-145KonferenzZugriff:
-
In: Generative programming and component engineering (4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, S. 309-326KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 449-461KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 82-97KonferenzZugriff:
-
In: Software security - theories and systems (Tokyo, 4-6 November 2003, revised papers), 2004, S. 154-173KonferenzZugriff:
-
In: ICOIN 2003 : information networking (networking technologies for enhanced internet services), 2003, S. 849-857KonferenzZugriff: