Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- langage programmation 678 Treffer
- programming language 677 Treffer
- lenguaje programacion 642 Treffer
- languages 223 Treffer
- genie logiciel 177 Treffer
-
45 weitere Werte:
- software engineering 177 Treffer
- compiler 157 Treffer
- compilateur 153 Treffer
- compilador 152 Treffer
- program verification 151 Treffer
- verification programme 151 Treffer
- verificacion programa 150 Treffer
- informatique theorique 134 Treffer
- theoretical computing 134 Treffer
- design 132 Treffer
- algorithms 126 Treffer
- performance 120 Treffer
- java language 115 Treffer
- langage java 115 Treffer
- lenguaje java 110 Treffer
- semantics 105 Treffer
- computer systems and distributed systems. user interface 103 Treffer
- modeling 103 Treffer
- modelisation 103 Treffer
- semantica 103 Treffer
- semantique 103 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 103 Treffer
- memory organisation. data processing 99 Treffer
- modelizacion 99 Treffer
- organisation des memoires. traitement des donnees 99 Treffer
- compilation 98 Treffer
- compilacion 97 Treffer
- object oriented 97 Treffer
- oriente objet 97 Treffer
- orientado objeto 94 Treffer
- theory 86 Treffer
- program analysis 82 Treffer
- analyse programme 80 Treffer
- analisis programa 79 Treffer
- verification 74 Treffer
- reliability 72 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 68 Treffer
- language theory and syntactical analysis 68 Treffer
- memory and file management (including protection and security) 68 Treffer
- theorie des langages et analyse syntaxique 68 Treffer
- type theory 68 Treffer
- fiabilidad 67 Treffer
- fiabilite 67 Treffer
- optimization 67 Treffer
- theorie type 66 Treffer
Verlag
Publikation
- acm sigplan notices 401 Treffer
- acm transactions on programming languages and systems 264 Treffer
- communications of the acm 80 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 45 Treffer
- 12th international conference on architectural support for programming languages and operating systems, october 21-25, 2006, san jose, california 38 Treffer
-
45 weitere Werte:
- popl® 2007: the 34th acm sigplan-sigact symposium on principles of programming languages®: papers presented at the symposium, january 17-19, 2007, nice, france 38 Treffer
- acm computing surveys 31 Treffer
- proceedings of the 2007 acm sigplan-sigbed conference on languages, compilers, and tools for embedded systems (lctes 2007), san diego, california, june 13-15, 2007 30 Treffer
- acm transactions on mathematical software 28 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 26 Treffer
- proceedings of the eleventh acm sigplan international conference on functional programming (icfp'06), september 18-20, 2006 - portland, oregon, usa 24 Treffer
- proceedings of the 20th acm conference on object-oriented programming, systems, languages, and applications (oopsla'05) 20 Treffer
- acm sigplan international conference on functional programming (icfp '98) 18 Treffer
- sigplan notices 18 Treffer
- proceedings of the 2003 acm conference on object-oriented programming, systems, languages, and applications (oopsla'03) 16 Treffer
- acm transactions on database systems 14 Treffer
- proceedings of the 2002 acm conference on object-oriented programming, systems, languages, and applications (oopsla'02) 12 Treffer
- proceedings of acm sigplan workshop on dynamic and adaptive compilation and optimization (dynamo'00), january 18, 2000, boston, massachusetts 7 Treffer
- proceedings of the acm sigplan 2003 conference on programming language design and implementation ® (pldi'03), san diego, california, usa, june 9-11, 2003 7 Treffer
- acm transactions on computer systems 6 Treffer
- esop'05 6 Treffer
- proceedings of the 2004 acm sigplan conference on programming language design and implementatation (pldi'04), washington, dc, usa, june 9-11, 2004 6 Treffer
- conference record of popl® 2003: the 30th acm sigplan-sigact symposium on principles of programming languages®, new orleans, louisiana, usa, january 15-17, 2003 5 Treffer
- proceedings of the acm sigplan'01 conference on programming language design and implementation® (pldi), snowbird, utah, june 20-22, 2001 5 Treffer
- proceedings of the 2004 acm sigplan/sigbed conference on languages, compilers, and tools for embedded systems (lctes'04), washington, dc, usa, june 11-13, 2004 4 Treffer
- proceedings of the 2006 acm sigplan/sigbed conference on languages, compilers, and tools for embedded systems (lctes'06), june 14-16, 2006, ottawa, ontario, canada 4 Treffer
- higher-order and symbolic computation 3 Treffer
- information and computation (print) 3 Treffer
- ppopp'05 (proceedings of the 2005 acm sigplan symposium on principles and practice of parallel programming) 3 Treffer
- proceedings of the seventh acm sigplan international conference on functional programming (icfp'02) 3 Treffer
- special issue on pepm'99, part i. based on the 1999 acm sigplan workshop on partial evaluation and semantics-based program manipulation 3 Treffer
- special issue on popl 2005 3 Treffer
- theoretical computer science 3 Treffer
- acm transactions on information and system security 2 Treffer
- acm transactions on the web 2 Treffer
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 2 Treffer
- proceedings of the 2004 acm sigplan-sigact symposium on principles of programming languages (popl 2004) 2 Treffer
- spaa' 99 : eleventh annual symposium on parallel algorithms and architectures (saint-malo, june 27-30 1999) 2 Treffer
- 1999 acm sigplan international conference on functional programming (paris, september 27-29 1999) 1 Treffer
- 20 years of the acm sigplan conference on programming language design and implementation, 1979-1999. a selection 1 Treffer
- acm transactions on internet technology 1 Treffer
- acta informatica 1 Treffer
- algorithmic aspects of global computing 1 Treffer
- international journal of parallel programming 1 Treffer
- international journal on software tools for technology transfer (print) 1 Treffer
- journal of parallel and distributed computing (print) 1 Treffer
- lctes'02-scopes'02: joint conference on languages, compilers and tools for embedded systems & software and compilers for embedded systems 1 Treffer
- lics '97 1 Treffer
- micro-29: annual ieee/acm international symposium on microarchitecture 1 Treffer
- operating systems review 1 Treffer
Sprache
Geographischer Bezug
872 Treffer
-
In: ACM SIGPLAN notices, Jg. 39 (2004), Heft 4unknownZugriff:
-
In: Report - Software engineering, 2007, Heft 01academicJournalZugriff:
-
In: Proceedings of the 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), Jg. 44 (2009), Heft 10, S. 503-521KonferenzZugriff:
-
In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09), Jg. 44 (2009), Heft 6, S. 453-464KonferenzZugriff:
-
In: Proceedings of the 2007 ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2007), San Diego, California, June 13-15, Jg. 42 (2007), Heft 7, S. 175-184KonferenzZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 211-224KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 89-100KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 383-393KonferenzZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 97-108KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 415-424KonferenzZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 173-184KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 266-277KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 112-122KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 290-299KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 352-362KonferenzZugriff:
-
In: Proceedings of the 2007 ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2007), San Diego, California, June 13-15, Jg. 42 (2007), Heft 7, S. 113-122KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 123-134KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 435-445KonferenzZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 315-326KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 32-41KonferenzZugriff: