Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- MathSciNet via EBSCOhost 20 Treffer
- Techniques de L'ingenieur 7 Treffer
- Sexual Health Visual 7 Treffer
- OpenAIRE 7 Treffer
- NASA Technical Reports 7 Treffer
-
23 weitere Werte:
- Music ID 7 Treffer
- Marketline Advantage 7 Treffer
- IEEE Xplore Digital Library 7 Treffer
- Health Reference Center 7 Treffer
- Emerald Insight 7 Treffer
- Economena Document Library 7 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 7 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 7 Treffer
- Complementary Index 6 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 4 Treffer
- BASE 4 Treffer
- Swedish National Bibliography 1 Treffer
- SciELO 1 Treffer
- RAMBI 1 Treffer
- ProjectMUSE 1 Treffer
- NARCIS 1 Treffer
- LUNA Commons 1 Treffer
- IndianJournals.com 1 Treffer
- Idunn.no 1 Treffer
- IBISWorld 1 Treffer
- British Standards Online 1 Treffer
- BiblioBoard 1 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 1 Treffer
Art der Quelle
Schlagwort
- communication, networking and broadcast technologies 6 Treffer
- signal processing and analysis 5 Treffer
- components, circuits, devices and systems 4 Treffer
- constructive mathematics 4 Treffer
- downlink 4 Treffer
-
45 weitere Werte:
- interference 4 Treffer
- mimo 4 Treffer
- computing and processing 3 Treffer
- mathematical logic 3 Treffer
- proof theory 3 Treffer
- signal processing algorithms 3 Treffer
- type theory 3 Treffer
- circuit theory 2 Treffer
- crystal structure 2 Treffer
- ferrites 2 Treffer
- intuitionistic logic 2 Treffer
- iterative algorithms 2 Treffer
- mathematisches 2 Treffer
- ofdm 2 Treffer
- signal processing 2 Treffer
- signal to noise ratio 2 Treffer
- sputtering (physics) 2 Treffer
- stannic oxide 2 Treffer
- transmitters 2 Treffer
- algorithms 1 Treffer
- array signal processing 1 Treffer
- atmospheric temperature 1 Treffer
- band gaps 1 Treffer
- base stations 1 Treffer
- broadcast technology 1 Treffer
- broadcasting 1 Treffer
- cerium compounds 1 Treffer
- channel estimation 1 Treffer
- cie 1 Treffer
- clustering 1 Treffer
- clustering algorithms 1 Treffer
- coercive fields (electronics) 1 Treffer
- cognitive radio 1 Treffer
- computability 1 Treffer
- computational barriers 1 Treffer
- computational complexity 1 Treffer
- constructive set theory 1 Treffer
- convergence 1 Treffer
- copper 1 Treffer
- copper ferrite 1 Treffer
- copper-zinc alloys 1 Treffer
- coprecipitation (chemistry) 1 Treffer
- covariance matrix 1 Treffer
- data processing computer science 1 Treffer
- decoding 1 Treffer
Verlag
- ieee 7 Treffer
- american institute of physics 6 Treffer
- springer, dordrecht 3 Treffer
- cambridge univ. press, cambridge 2 Treffer
- ems publishing house, eth-zentrum 2 Treffer
-
19 weitere Werte:
- north-holland, amsterdam 2 Treffer
- ontos verlag, heusenstamm 2 Treffer
- oxford univ. press, oxford 2 Treffer
- assoc. symbol. logic, chicago, il 1 Treffer
- assoc. symbol. logic, la jolla, ca 1 Treffer
- assoc. symbol. logic, urbana, il 1 Treffer
- berlin; springer; c 1 Treffer
- birkhauser/springer, [cham] 1 Treffer
- country:deu 1 Treffer
- european mathematical society 1 Treffer
- ios, amsterdam 1 Treffer
- lipics - leibniz international proceedings in informatics. 28th eacsl annual conference on computer science logic (csl 2020) 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 1 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 1 Treffer
- springer 1 Treffer
- springer, berlin 1 Treffer
- springer, cham 1 Treffer
- world sci. publ., hackensack, nj 1 Treffer
Publikation
- aip conference proceedings 6 Treffer
- oberwolfach reports 3 Treffer
- from sets and types to topology and analysis 2 Treffer
- handbook of constructive mathematics 2 Treffer
- logic, construction, computation 2 Treffer
-
22 weitere Werte:
- 2005 ieee 16th international symposium on personal, indoor and mobile radio communications, personal, indoor and mobile radio communications, 2005. pimrc 2005. ieee 16th international symposium on, personal, indoor and mobile radio communications 1 Treffer
- 2006 ieee international conference on acoustics speech and signal processing proceedings, acoustics, speech and signal processing, 2006. icassp 2006 proceedings. 2006 ieee international conference on 1 Treffer
- 2006 ieee international conference on communications, communications, 2006. icc '06. ieee international conference on 1 Treffer
- 2011 ieee global telecommunications conference - globecom 2011, global telecommunications conference (globecom 2011), 2011 ieee 1 Treffer
- 2014 21st international conference on telecommunications (ict), telecommunications (ict), 2014 21st international conference on 1 Treffer
- 2016 ieee international conference on network infrastructure and digital content (ic-nidc), network infrastructure and digital content (ic-nidc), 2016 ieee international conference on 1 Treffer
- 2022 ieee 8th international conference on computer and communications (iccc), computer and communications (iccc), 2022 ieee 8th international conference on 1 Treffer
- 28th eacsl annual conference on computer science logic 1 Treffer
- advances in proof theory 1 Treffer
- archive for mathematical logic 1 Treffer
- epistemology versus ontology 1 Treffer
- foundational theories of classical and constructive mathematics 1 Treffer
- logic colloquium '03 1 Treffer
- logic colloquium 2004 1 Treffer
- logic colloquium '95 (haifa) 1 Treffer
- logic colloquium '98 (prague) 1 Treffer
- logic, methodology and philosophy of science, vii (salzburg, 1983) 1 Treffer
- logicism, intuitionism, and formalism 1 Treffer
- mathematics for computation (m4c) 1 Treffer
- proof technology and computation 1 Treffer
- revolutions and revelations in computability 1 Treffer
- the l. e. j. brouwer centenary symposium (noordwijkerhout, 1981) 1 Treffer
Sprache
42 Treffer
-
In: ARCHIVE FOR MATHEMATICAL LOGIC, Jg. 49 (2010), Heft 2, S. 147-168Online KonferenzZugriff:
-
In: OBERWOLFACH REPORTS, Jg. 5 (2008), Heft 2, S. 934-935Online KonferenzZugriff:
-
In: OBERWOLFACH REPORTS, Jg. 2 (2005), Heft 1, S. 793-793Online KonferenzZugriff:
-
In: OBERWOLFACH REPORTS, Jg. 2 (2005), Heft 1, S. 793-793Online KonferenzZugriff:
-
In: 2022 IEEE 8th International Conference on Computer and Communications (ICCC), 2022-12-09, S. 950-955KonferenzZugriff:
-
In: AIP Conference Proceedings, Jg. 2220 (2020-02-05), Heft 1, S. 110020-1- (6S.)KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: 2014 21st International Conference on Telecommunications (ICT), 2014-05-01, S. 6-10KonferenzZugriff:
-
In: AIP Conference Proceedings, Jg. 1901 (2017-09-04), Heft 1, S. 1-7KonferenzZugriff:
-
In: AIP Conference Proceedings, Jg. 1885 (2017-08-19), Heft 1, S. 1-9KonferenzZugriff:
-
In: 2011 IEEE Global Telecommunications Conference - GLOBECOM, 2011-12-01, S. 1-5KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: AIP Conference Proceedings, Jg. 1731 (2016-05-11), Heft 1, S. 1-3KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: 2016 IEEE International Conference on Network Infrastructure and Digital Content (IC-NIDC), 2016-09-01, S. 322-326KonferenzZugriff:
-
In: AIP Conference Proceedings, Jg. 1451 (2012-06-25), Heft 1, S. 67-69KonferenzZugriff:
-
In: 28th EACSL Annual Conference on Computer Science Logic, 2020Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: 2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications, Jg. 1 (2005), S. 231-235KonferenzZugriff: