Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- langages de programmation 8 Treffer
- programming languages 8 Treffer
- languages 5 Treffer
- program verification 5 Treffer
- verificacion programa 5 Treffer
-
45 weitere Werte:
- verification programme 5 Treffer
- genie logiciel 4 Treffer
- software engineering 4 Treffer
- c language 3 Treffer
- desarrollo logicial 3 Treffer
- developpement logiciel 3 Treffer
- langage c 3 Treffer
- lenguaje c 3 Treffer
- marcador 3 Treffer
- pointer 3 Treffer
- pointeur 3 Treffer
- software development 3 Treffer
- theorie type 3 Treffer
- type theory 3 Treffer
- actualizacion 2 Treffer
- algorithms 2 Treffer
- analisis programa 2 Treffer
- analyse programme 2 Treffer
- computer security 2 Treffer
- computer server 2 Treffer
- computer systems and distributed systems. user interface 2 Treffer
- data type 2 Treffer
- design 2 Treffer
- empaqueteur 2 Treffer
- envolvero 2 Treffer
- extraccion informacion 2 Treffer
- extraction information 2 Treffer
- fiabilidad 2 Treffer
- fiabilite 2 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 2 Treffer
- information extraction 2 Treffer
- java language 2 Treffer
- langage java 2 Treffer
- lenguaje java 2 Treffer
- memory and file management (including protection and security) 2 Treffer
- memory organisation. data processing 2 Treffer
- mise a jour 2 Treffer
- modeling 2 Treffer
- modelisation 2 Treffer
- modelizacion 2 Treffer
- occupation time 2 Treffer
- operating system 2 Treffer
- organisation des memoires. traitement des donnees 2 Treffer
- performance 2 Treffer
- program analysis 2 Treffer
Publikation
- acm transactions on programming languages and systems 6 Treffer
- acm transactions on computer systems 1 Treffer
- communications of the acm 1 Treffer
- esec/fse'05 (proceedings of the joint 10th european software engineering conference (esec) and the 13th acm sigsoft symposium on the foundations of software engineering (fse-13)) 1 Treffer
- plas 2006 (proceedings of the 2006 programming languages and analysis for security workshop) 1 Treffer
- Ein weiterer Wert:
Sprache
10 Treffer
-
In: ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)), 2005, S. 306-315KonferenzZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 29 (2007), Heft 2Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014), Heft 8, S. 70-80Online academicJournalZugriff:
-
In: PLAS 2006 (proceedings of the 2006 Programming Languages and Analysis for Security Workshop), 2006, S. 3-6KonferenzZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 29 (2007), Heft 4, S. 1-70Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 27 (2005), Heft 6, S. 1049-1096Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 27 (2005), Heft 3, S. 477-526Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 1Online academicJournalZugriff:
-
In: SPECIAL ISSUE APLOS 2011, Jg. 30 (2012), Heft 1Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 30 (2008), Heft 4Online academicJournalZugriff: