Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 2 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 2 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 2 Treffer
- Economena Document Library 2 Treffer
- Emerald Insight 2 Treffer
-
11 weitere Werte:
- Health Reference Center 2 Treffer
- Marketline Advantage 2 Treffer
- Music ID 2 Treffer
- NASA Technical Reports 2 Treffer
- OpenAIRE 2 Treffer
- Sexual Health Visual 2 Treffer
- Techniques de L'ingenieur 2 Treffer
- IEEE Xplore Digital Library 1 Treffer
- OnePetro 1 Treffer
- MathSciNet via EBSCOhost 1 Treffer
- Scopus® 1 Treffer
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.1: computational logic 2 Treffer
- 4.2 pipelines, flowlines and risers 1 Treffer
- 6.1.5 human resources, competence and training 1 Treffer
- aerodynamics 1 Treffer
-
19 weitere Werte:
- application software 1 Treffer
- calculus 1 Treffer
- computer languages 1 Treffer
- computer science 1 Treffer
- computing and processing 1 Treffer
- consumer behavior 1 Treffer
- control systems 1 Treffer
- health, safety, environment, and social responsibility 1 Treffer
- linear logic 1 Treffer
- logic programming 1 Treffer
- polarization 1 Treffer
- pricing optimization 1 Treffer
- production and facilities 1 Treffer
- proof theory 1 Treffer
- pulse inverters 1 Treffer
- reverse logistics 1 Treffer
- supply chain management 1 Treffer
- sustainability 1 Treffer
- usa councils 1 Treffer
Verlag
Publikation
- 2009 24th annual ieee symposium on logic in computer science, logic in computer science, 2009. lics '09. 24th annual ieee symposium on 1 Treffer
- 24th annual ieee symposium on logic in computer science 1 Treffer
- proceedings of the international conference on industrial engineering and operations management 1 Treffer
- spe asia pacific health, safety, and security environment conference and exhibition 1 Treffer
Sprache
Geographischer Bezug
4 Treffer
-
In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009-08-01, S. 355KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: SPE Asia Pacific Health, Safety, and Security Environment Conference and Exhibition, 2007, S. 4KonferenzZugriff:
-
In: LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE ; https://inria.hal.science/hal-00772347 ; LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, Aug 2009, Los Angeles, United States, 2009KonferenzZugriff: