Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science; control theory; systems 8 Treffer
- informatique; automatique theorique; systemes 8 Treffer
- logiciel 8 Treffer
- software 8 Treffer
- program verification 7 Treffer
-
45 weitere Werte:
- verificacion programa 7 Treffer
- verification programme 7 Treffer
- 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
- 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
- criptografia 2 Treffer
- cryptographie 2 Treffer
- cryptography 2 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
- information, signal and communications theory 2 Treffer
- model checking 2 Treffer
- operating system 2 Treffer
- program specification 2 Treffer
- signal and communications theory 2 Treffer
- sistema operativo 2 Treffer
- specification formelle 2 Treffer
- specification programme 2 Treffer
- systeme exploitation 2 Treffer
- telecommunications 2 Treffer
- telecommunications and information theory 2 Treffer
- telecommunications et theorie de l'information 2 Treffer
- theorem proving 2 Treffer
- theorie de l'information, du signal et des communications 2 Treffer
- theorie du signal et des communications 2 Treffer
- uso informacion 2 Treffer
- utilisation information 2 Treffer
- verificacion modelo 2 Treffer
- verification modele 2 Treffer
Publikation
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 2 Treffer
- ches 2004 : cryptographic hardware and embedded systems (cambridge ma, 11-13 august 2004) 1 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
-
4 weitere Werte:
- scn 2002 : security in communication networks (amalfi, 11-13 september 2002, revised papers) 1 Treffer
- software security - theories and systems (tokyo, 4-6 november 2003, revised papers) 1 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 1 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 1 Treffer
Sprache
10 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: CHES 2004 : cryptographic hardware and embedded systems (Cambridge MA, 11-13 August 2004), 2004, S. 441-454KonferenzZugriff:
-
In: Software security - theories and systems (Tokyo, 4-6 November 2003, revised papers), 2004, S. 154-173KonferenzZugriff:
-
In: SCN 2002 : security in communication networks (Amalfi, 11-13 September 2002, revised papers), 2003, S. 133-145KonferenzZugriff:
-
In: ICOIN 2003 : information networking (networking technologies for enhanced internet services), 2003, S. 849-857KonferenzZugriff: