Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 198 Treffer
- Gale In Context: High School 5 Treffer
- Gale In Context: Canada 5 Treffer
- Gale eBooks 5 Treffer
- Gale in Context: College 5 Treffer
-
35 weitere Werte:
- JoVE Science Education Database 4 Treffer
- INTELECOM Video Library 4 Treffer
- ClinicalTrials.gov 4 Treffer
- Choice Reviews 4 Treffer
- Cambridge Core Books 4 Treffer
- Gale Business: Insights 4 Treffer
- Supplemental Index 3 Treffer
- Gale in Context: Biography 2 Treffer
- African Journals 2 Treffer
- R2 Digital Library 2 Treffer
- PsycheVisual 2 Treffer
- Oxford Scholarly Editions Online 2 Treffer
- Oxford Medicine Online 2 Treffer
- Gale Literature Resource Center 2 Treffer
- Oxford Islamic Studies Online 2 Treffer
- Ibuk.pl 2 Treffer
- Oxford African American Studies Center 2 Treffer
- Oxford Biblical Studies Online 2 Treffer
- Oxford Bibliographies 2 Treffer
- Roubini Global Economics 2 Treffer
- Wiley Digital Archives 1 Treffer
- Theologische Realenzyklopädie Online 1 Treffer
- SMART Imagebase 1 Treffer
- Oxford Research Encyclopedias 1 Treffer
- Gale Literature: Book Review Index 1 Treffer
- Manuvo Make-Make 1 Treffer
- F1000Research 1 Treffer
- Economist Historical Archive 1 Treffer
- Digitalia Public Libraries 1 Treffer
- DigiBib.Zorg 1 Treffer
- Dialnet 1 Treffer
- Central and Eastern European Online Library (CEEOL) 1 Treffer
- ARC Reports 1 Treffer
- MGG Online 1 Treffer
- Bloomsbury Applied Visual Arts 1 Treffer
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 74 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 48 Treffer
- [info]computer science [cs] 26 Treffer
- coq 18 Treffer
- [scco.comp]cognitive science/computer science 11 Treffer
-
45 weitere Werte:
- [spi]engineering sciences [physics] 10 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 9 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 8 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 7 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 7 Treffer
- acoustic wave equation 7 Treffer
- embedded systems 7 Treffer
- formal specification 7 Treffer
- numerical scheme 7 Treffer
- partial differential equation 7 Treffer
- reliability 7 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 6 Treffer
- [phys]physics [physics] 6 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.4: mechanical theorem proving 6 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.8: partial differential equations/g.1.8.2: finite difference methods 6 Treffer
- antenna measurements 6 Treffer
- coq formal proofs 6 Treffer
- optical frequency metrology 6 Treffer
- spectral hole burning 6 Treffer
- ultrastable lasers 6 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 5 Treffer
- [sdv]life sciences [q-bio] 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs 5 Treffer
- certification 5 Treffer
- ebola 5 Treffer
- graph transformation 5 Treffer
- interdisciplinarity 5 Treffer
- modeling 5 Treffer
- phil 5 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 4 Treffer
- [shs.anthro-se]humanities and social sciences/social anthropology and ethnology 4 Treffer
- antenna design 4 Treffer
- antenna pattern 4 Treffer
- company marketing practices 4 Treffer
- compressive sensing 4 Treffer
- edu 4 Treffer
- graph theory 4 Treffer
- leaky wave antennas 4 Treffer
- linear logic 4 Treffer
- metasurface antenna 4 Treffer
- realizability 4 Treffer
- relevance logic 4 Treffer
- spherical harmonics 4 Treffer
- ssreflect 4 Treffer
Verlag
- hal ccsd 197 Treffer
- springer 41 Treffer
- acm 9 Treffer
- gallus 8 Treffer
- institution of engineering and technology 8 Treffer
-
16 weitere Werte:
- springer nature switzerland 8 Treffer
- centaur communications limited 6 Treffer
- springer-verlag 4 Treffer
- record guide productions 3 Treffer
- springer berlin / heidelberg 3 Treffer
- the spectator ltd. (uk) 3 Treffer
- elsevier 2 Treffer
- emap publishing limited 2 Treffer
- leibniz international proceedings in informatics (lipics) 2 Treffer
- springer berlin heidelberg 2 Treffer
- bookseller media limited 1 Treffer
- penske media corporation dba womens wear daily aka wwd 1 Treffer
- the bookseller media group (bookseller media ltd.) 1 Treffer
- ubm information ltd. 1 Treffer
- william reed business media limited 1 Treffer
- zinio, llc 1 Treffer
Publikation
- 2022 rare earth ions for quantum information workshop ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986646 ; 2022 rare earth ions for quantum information workshop, jun 2022, edinburgh (online), united kingdom 5 Treffer
- european conference on antenna and propagation ; eucap 2007 ; https://hal.science/hal-00464950 ; eucap 2007, nov 2007, edinburgh, united kingdom. proceedings of eucap 2007 4 Treffer
- marketing week 4 Treffer
- 12th european conference on antennas and propagation, eucap 2018 ; https://univ-rennes.hal.science/hal-02042752 ; 12th european conference on antennas and propagation, eucap 2018, apr 2018, london, united kingdom. ⟨10.1049/cp.2018.0735⟩ 3 Treffer
- 12th european conference on antennas and propagation, eucap 2018 ; https://univ-rennes.hal.science/hal-02042767 ; 12th european conference on antennas and propagation, eucap 2018, apr 2018, london, united kingdom. ⟨10.1049/cp.2018.0637⟩ 3 Treffer
-
14 weitere Werte:
- american record guide 3 Treffer
- raimed2022 mobilising methods in medical anthropology ; https://shs.hal.science/halshs-03544010 ; raimed2022 mobilising methods in medical anthropology, royal anthropological institute, jan 2022, london (remote), united kingdom ; https://therai.org.uk/conferences/mobilising-methods-in-medical-anthropology-2022/ 3 Treffer
- spectator 3 Treffer
- when senses take flight: the evolution, development, mechanisms and function of avian senses 3 Treffer
- drapers 2 Treffer
- logic in computer science (lics 2010) ; https://inria.hal.science/inria-00497794 ; logic in computer science (lics 2010), jul 2010, edimbourg, united kingdom 2 Treffer
- new media age 2 Treffer
- second coq workshop ; https://inria.hal.science/inria-00489412 ; second coq workshop, yves bertot, jul 2010, edinburgh, united kingdom 2 Treffer
- the bookseller 2 Treffer
- workshop lola 2010, syntax and semantics of low level languages ; https://hal.science/hal-00475210 ; workshop lola 2010, syntax and semantics of low level languages, jul 2010, edinburgh, united kingdom 2 Treffer
- community pharmacy 1 Treffer
- grocer 1 Treffer
- songlines 1 Treffer
- wwd 1 Treffer
Sprache
Geographischer Bezug
218 Treffer
-
In: FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-01952037 ; FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.29⟩, 2018Online KonferenzZugriff:
-
In: Marketing Week, 2010-11-18, S. 9Online serialPeriodicalZugriff:
-
In: CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 2024 - 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-04484598 ; CPP 2024 - 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.30-44, ⟨10.1145/3636501.3636961⟩, 2024Online KonferenzZugriff:
-
In: Proceedings of the Certified Programs and Proofs (CPP) 2024 ; Certified Programs and Proofs (CPP 2024) ; https://hal.science/hal-04375376 ; Certified Programs and Proofs (CPP 2024), Jan 2024, London, United Kingdom. à paraître, ⟨10.1145/3636501.3636956⟩ ; https://popl24.sigplan.org/details/CPP-2024-papers/17/Displayed-Monoidal-Categories-for-the-Semantics-of-Linear-Logic, 2024Online KonferenzZugriff:
-
In: ITP ; https://hal.science/hal-00383070 ; ITP, Aug 2010, Edinburgh, United Kingdom. pp.163-178, ⟨10.1007/978-3-642-14052-5_13⟩, 2010Online KonferenzZugriff:
-
In: ITP 2018: Interactive Theorem Proving ; ITP 2018 - International Conference on Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-01716048 ; ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩, 2018Online KonferenzZugriff:
-
In: Automated Deduction in Geometry (Post-proceedings) ; https://hal.inria.fr/hal-00916880 ; Automated Deduction in Geometry (Post-proceedings), Sep 2012, Edinbourg, United Kingdom. pp.71-88, ⟨10.1007/978-3-642-40672-0_6⟩ ; http://link.springer.com/chapter/10.1007%2F978-3-642-40672-0_6#page-1, 2012Online KonferenzZugriff:
-
In: NSV-3: Third International Workshop on Numerical Software Verification. ; https://inria.hal.science/inria-00473270 ; NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: WWD, 2007-11-13, S. 2Online serialPeriodicalZugriff:
-
In: ITP 2018 - 9th Conference on Interactive Theorem Proving ; https://hal.science/hal-01809681 ; ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩, 2018Online KonferenzZugriff:
-
In: Interactive Theorem Proving - 9th International Conference, (ITP 2018) ; https://hal.science/hal-01505598 ; Interactive Theorem Proving - 9th International Conference, 2018Online KonferenzZugriff:
-
In: FM 2018 - 22nd International Symposium on Formal Methods ; https://inria.hal.science/hal-01799712 ; FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩, 2018Online KonferenzZugriff:
-
In: ITP 2018 - 9th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01703524 ; ITP 2018 - 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.459-476, ⟨10.1007/978-3-319-94821-8_27⟩, 2018Online KonferenzZugriff:
-
In: Second Coq Workshop ; https://hal.inria.fr/inria-00489496 ; Second Coq Workshop, Yves Bertot, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: Logic In Computer Science (LICS 2010) ; https://inria.hal.science/inria-00497794 ; Logic In Computer Science (LICS 2010), Jul 2010, Edimbourg, United Kingdom, 2010Online KonferenzZugriff:
-
In: ITP - Interactive Theorem Proving, First International Conference - 2010 ; https://inria.hal.science/inria-00520604 ; ITP - Interactive Theorem Proving, 2010Online KonferenzZugriff:
-
In: Proof Search in Type Theory ; https://hal.inria.fr/inria-00502500 ; Proof Search in Type Theory, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: Grocer, Jg. 232 (2009-10-10), Heft 7926, S. 1serialPeriodicalZugriff:
-
In: NSV-3: Third International Workshop on Numerical Software Verification ; https://inria.hal.science/inria-00534400 ; NSV-3: Third International Workshop on Numerical Software Verification, Jul 2010, Edinburgh, Scotland, United Kingdom, 2010Online KonferenzZugriff:
-
In: Interactive Theorem Proving ; https://inria.hal.science/inria-00502496 ; Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff: