Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 7 Treffer
- programming language 5 Treffer
- computer 4 Treffer
- computer.software_genre 4 Treffer
- languages 4 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- applied sciences 3 Treffer
- computer science; control theory; systems 3 Treffer
- computer systems performance. reliability 3 Treffer
- exact sciences and technology 3 Treffer
- informatique 3 Treffer
- informatique; automatique theorique; systemes 3 Treffer
- logiciel 3 Treffer
- performances des systemes informatiques. fiabilite 3 Treffer
- program verification 3 Treffer
- sciences appliquees 3 Treffer
- sciences exactes et technologie 3 Treffer
- theory 3 Treffer
- verificacion programa 3 Treffer
- verification programme 3 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- aspect-oriented programming 2 Treffer
- data type 2 Treffer
- design 2 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 2 Treffer
- langages de programmation 2 Treffer
- memory and file management (including protection and security) 2 Treffer
- memory organisation. data processing 2 Treffer
- organisation des memoires. traitement des donnees 2 Treffer
- pointcut 2 Treffer
- programming languages 2 Treffer
- proof assistant 2 Treffer
- proof theory 2 Treffer
- security 2 Treffer
- semantics 2 Treffer
- subtyping 2 Treffer
- teoria demonstracion 2 Treffer
- theorie preuve 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- tipo dato 2 Treffer
- type donnee 2 Treffer
- typing 2 Treffer
- verification 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
Verlag
Sprache
9 Treffer
-
In: ACM Transactions on Programming Languages and Systems, 2023-05-04Online unknownZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 2Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 45 (2023-03-03), S. 1-35Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 44 (2022-09-21), S. 1-54Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 42 (2019-11-21), S. 1-79Online unknownZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 34 (2012), Heft 3Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 37 (2015-04-16), S. 1-31Online unknownZugriff: