Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 532 Treffer
- Gale Business: Insights 27 Treffer
- Gale in Context: College 20 Treffer
- Complementary Index 20 Treffer
- Gale In Context: Canada 15 Treffer
-
18 weitere Werte:
- Academic Search Index 15 Treffer
- Gale In Context: High School 15 Treffer
- Business Source Ultimate 15 Treffer
- Gale in Context: Biography 14 Treffer
- Gale In Context: Science 13 Treffer
- vLex 12 Treffer
- Gale In Context: World History 9 Treffer
- Gale Literature: Book Review Index 8 Treffer
- Gale In Context: Opposing Viewpoints 8 Treffer
- Gale OneFile: CPI.Q 8 Treffer
- Gale In Context: U.S. History 6 Treffer
- PASCAL Archive 6 Treffer
- Supplemental Index 5 Treffer
- Gale In Context: Middle School 3 Treffer
- MEDLINE 3 Treffer
- Gale In Context: Global Issues 2 Treffer
- NewsBank - Archives 1 Treffer
- Sociology Source Ultimate 1 Treffer
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 123 Treffer
- coq 96 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 90 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 87 Treffer
- [info]computer science [cs] 46 Treffer
-
45 weitere Werte:
- [spi.tron]engineering sciences [physics]/electronics 43 Treffer
- general interest 27 Treffer
- news, opinion and commentary 25 Treffer
- [spi]engineering sciences [physics] 24 Treffer
- formal proof 20 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 17 Treffer
- [phys]physics [physics] 17 Treffer
- [sdv]life sciences [q-bio] 17 Treffer
- [spi.elec]engineering sciences [physics]/electromagnetism 17 Treffer
- [info.info-es]computer science [cs]/embedded systems 16 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 14 Treffer
- program verification 14 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 13 Treffer
- [sde]environmental sciences 13 Treffer
- coq proof assistant 13 Treffer
- rewriting 13 Treffer
- type theory 13 Treffer
- interactive theorem proving 12 Treffer
- proof assistant 12 Treffer
- separation logic 12 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 11 Treffer
- [math]mathematics [math] 11 Treffer
- advertising 11 Treffer
- le coq sportif holding sa 11 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 10 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 10 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 10 Treffer
- floating-point arithmetic 10 Treffer
- formal verification 10 Treffer
- [chim]chemical sciences 9 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 9 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 9 Treffer
- marketing 9 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 8 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 8 Treffer
- abstract interpretation 8 Treffer
- formal proofs 8 Treffer
- science and technology 8 Treffer
- termination 8 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 7 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 7 Treffer
- approximation theory 7 Treffer
- automated reasoning 7 Treffer
- bacillus subtilis 7 Treffer
- burger king corp. 7 Treffer
Verlag
- hal ccsd 521 Treffer
- springer 39 Treffer
- the new york times company 10 Treffer
- penske business media, llc 9 Treffer
- conde nast publications 7 Treffer
-
45 weitere Werte:
- adweek, llc 6 Treffer
- hearst magazines, a division of the hearst corporation 5 Treffer
- intermedia outdoors, inc. 5 Treffer
- inderscience publishers ltd. 4 Treffer
- le publications, inc. 4 Treffer
- nature publishing group 4 Treffer
- new york times 4 Treffer
- penton media, inc. 4 Treffer
- telegraph group ltd. 4 Treffer
- united press international 4 Treffer
- american association for the advancement of science 3 Treffer
- penton media, inc., penton business media, inc. and their subsidiaries 3 Treffer
- pme holdings llc 3 Treffer
- pr newswire association llc 3 Treffer
- american mosquito control association 2 Treffer
- association for computing machinery, inc. 2 Treffer
- biomed central ltd. 2 Treffer
- crain communications inc. (mi) 2 Treffer
- dow jones & company inc 2 Treffer
- emmis publishing l.p. dba los angeles magazine 2 Treffer
- hearst magazines, a division of the hearstcorporation 2 Treffer
- lancet 2 Treffer
- national catholic reporter 2 Treffer
- nielsen business media, inc. 2 Treffer
- office national de la chasse 2 Treffer
- sage publications, ltd. 2 Treffer
- syndigate media inc. 2 Treffer
- world publishing, co. (illinois) 2 Treffer
- access intelligence, llc 1 Treffer
- american gastroenterological association 1 Treffer
- blackwell science 1 Treffer
- cnw group ltd. - toronto star newspapers 1 Treffer
- dance research foundation, inc 1 Treffer
- hearst magazines, a division of hearst communications, inc. 1 Treffer
- kse sportsman media, inc. 1 Treffer
- lippincott williams & wilkins 1 Treffer
- new york media 1 Treffer
- newsrx llc 1 Treffer
- southern living inc. 1 Treffer
- springer-verlag 1 Treffer
- taylor & francis ltd 1 Treffer
- torstar syndication services, a division of toronto starnewspapers ltd. 1 Treffer
- transcontinental publications, inc. 1 Treffer
- university of illinois press 1 Treffer
- vox media, llc. 1 Treffer
Publikation
- the new york times 9 Treffer
- nation's restaurant news 7 Treffer
- brandweek 6 Treffer
- fly fisherman 6 Treffer
- wwd: women's wear daily 6 Treffer
-
45 weitere Werte:
- 97. esa annual meeting ; https://hal.inrae.fr/hal-02745899 ; 97. esa annual meeting, ecological society of america (esa). usa., aug 2012, portland (oregon), united states 5 Treffer
- ifcs (international frequency control symposium) ; https://hal.science/hal-03735360 ; ifcs (international frequency control symposium), 2016, new-orleans, usa, united states 5 Treffer
- istfa 2023: proceedings of the 49th international symposium for testing and failure analysis conference ; istfa 2023 - the 49th international symposium for testing and failure analysis conference ; https://hal.science/hal-04285320 ; istfa 2023 - the 49th international symposium for testing and failure analysis conference, nov 2023, phoenix, united states. pp.483-490, ⟨10.31399/asm.cp.istfa2023p0483⟩ ; https://www.asminternational.org/istfa-2023/ 5 Treffer
- journal of physics. conference series ; 21st international conference on laser spectroscopy - icols 2013 ; https://hal.science/hal-03809030 ; 21st international conference on laser spectroscopy - icols 2013, jun 2013, university of california, berkeley, california, usa, united states. pp.2002, ⟨10.1088/1742-6596/467/1/012002⟩ 5 Treffer
- 2014 ieee antennas and propagation society international symposium (apsursi) ; conference apsursi 2014 ; https://hal.sorbonne-universite.fr/hal-01071525 ; conference apsursi 2014, jul 2014, memphis, united states. pp.1049 - 1050, ⟨10.1109/aps.2014.6904851⟩ 4 Treffer
- 2019 joint conference of the ieee international frequency control symposium and european frequency and time forum (eftf/ifc) ; https://hal.science/hal-03786120 ; 2019 joint conference of the ieee international frequency control symposium and european frequency and time forum (eftf/ifc), apr 2019, orlando fl, united states. ⟨10.1109/fcs.2019.8856036⟩ 4 Treffer
- dnr: daily news record 4 Treffer
- good housekeeping 4 Treffer
- herbarium university of lethbridge 4 Treffer
- ieee ap-s international symposium ; https://hal.science/hal-00355013 ; ieee ap-s international symposium, jul 2008, san diego, united states 4 Treffer
- ieee ap-s international symposium ; https://hal.science/hal-00507098 ; ieee ap-s international symposium, jul 2010, charleston, united states. 4 p 4 Treffer
- ieee international antennas and propagation symposium ; https://hal.science/hal-01113556 ; ieee international antennas and propagation symposium, jun 2003, colombus, united states 4 Treffer
- life extension 4 Treffer
- nature 4 Treffer
- proceedings of 2007 ieee antennas and propagation society international symposium ; 2007 ieee antennas and propagation society international symposium ; https://hal.science/hal-00176422 ; 2007 ieee antennas and propagation society international symposium, jun 2007, honolulu, united states. pp.5423-5426 4 Treffer
- proceedings of frequency control symposium. ieee international joint conference. 2020. (ifcs-isaf 2020) (and intl symposium on applications of ferroelectrics) ; frequency control symposium. ieee international joint conference. 2020. (ifcs-isaf 2020) (and intl symposium on applications of ferroelectrics) ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986832 ; frequency control symposium. ieee international joint conference. 2020. (ifcs-isaf 2020) (and intl symposium on applications of ferroelectrics), jul 2020, keystone (online), united states. pp.449 4 Treffer
- the telegraph online 4 Treffer
- upi newstrack 4 Treffer
- billboard 3 Treffer
- columbia daily tribune 3 Treffer
- pr newswire 3 Treffer
- redbook 3 Treffer
- science 3 Treffer
- advertising age 2 Treffer
- buffalo news 2 Treffer
- communications of the acm 2 Treffer
- cruise travel 2 Treffer
- footwear news (fn) 2 Treffer
- international journal of cultural studies 2 Treffer
- journal of managerial issues 2 Treffer
- journal of the american mosquito control association 2 Treffer
- lancet 2 Treffer
- los angeles magazine 2 Treffer
- national catholic reporter 2 Treffer
- new york times 2 Treffer
- new york times magazine 2 Treffer
- real estate weekly 2 Treffer
- sgb: sporting goods business 2 Treffer
- the tri-city news (port coquitlam, british columbia) 2 Treffer
- wall street journal - eastern edition 2 Treffer
- cellular and molecular gastroenterology and hepatology 1 Treffer
- computer weekly news 1 Treffer
- handbook of experimental pharmacology 1 Treffer
- journal of higher education 1 Treffer
- journal of public health management and practice jphmp 1 Treffer
Sprache
Geographischer Bezug
707 Treffer
-
In: The Sun (London, England), 2024-03-27, S. 25ZeitungsartikelZugriff:
-
In: American Music, Jg. 39 (2021-12-22), Heft 4, S. 494-510academicJournalZugriff:
-
In: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3573105, 2023Online KonferenzZugriff:
-
In: Global IP News: Software Patent News, 2024-05-15ZeitungsartikelZugriff:
-
In: 13th NASA Formal Methods Symposium (NFM 2021) ; https://hal.science/hal-03176024 ; 13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States, 2021Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-02422273 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩, 2020Online KonferenzZugriff:
-
In: ITP 2019, Interactive Theorem Proving ; https://hal.science/hal-02449191 ; ITP 2019, 2019Online KonferenzZugriff:
-
In: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-01897468 ; ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.CVIT.2016.23⟩, 2019Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: Nature, Jg. 575 (2019-11-01), Heft 7784, S. 688-692Online academicJournalZugriff:
-
In: Workshop on Formal Techniques for Java-like Programs (FTfJP) ; https://inria.hal.science/hal-04142453 ; Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩, 2023KonferenzZugriff:
-
In: Columbia Daily Tribune, 2013-05-15academicJournalZugriff:
-
In: Buffalo News, 2012-01-04academicJournalZugriff:
-
In: Buffalo News, 2010-04-09academicJournalZugriff:
-
In: Boise Weekly, 2009-10-15academicJournalZugriff:
-
In: Deseret News (Salt Lake City), 2008-03-12academicJournalZugriff:
-
In: Columbia Daily Tribune, 2008-02-27academicJournalZugriff:
-
In: Columbia Daily Tribune, 2007-02-28academicJournalZugriff:
-
In: CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01614987 ; CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩, 2018Online KonferenzZugriff:
-
In: RTSS 2018 - 39th IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01903752 ; RTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12, 2018Online KonferenzZugriff: