Risultati della ricerca - Raven
- Mostra 1 - 20 risultati su 329
- Vai alla pagina seguente
-
1
Atomic Physics for Everyone Autoría: Raven, Will
Pubblicazione 2024Fuente: DOAB / OAPENTipo de material: Libro electrónicoAcceso al recurso -
2
Automated Software Verification of Hyperliveness Autoría: Beutner, Raven
Pubblicazione 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Probabilistic survey and prehistoric patterns of land and resource use in Mendoza Province, Argentina Autoría: Raven Garvey
Pubblicazione 2015Fuente: RedalycTipo de material: Artículo científicoAcceso al recurso -
4
ARCHAEOLOGICAL AGE ESTIMATION BASED ON OBSIDIAN HYDRATION DATA FOR TWO SOUTHERN ANDEAN SOURCES Autoría: Raven Garvey
Pubblicazione 2016Fuente: RedalycTipo de material: Artículo científicoAcceso al recurso -
5
Trade and transport facilitation : a toolkit for audit, analysis, and remedial action / John Raven Autoría: Raven, John
Pubblicazione 2001Fuente: SIBUMARTipo de material: LibroCollocazione: BM 082 W919 427 -
6
Trade and transport facilitation : n audit methodology / John Raven Autoría: Raven, John
Pubblicazione 2000Fuente: SIBUMARTipo de material: LibroCollocazione: BM 657.45 R252t -
7
D-Brane Systems in Twisted Holography and SO/Sp Chiral Algebras Autoría: López-Raven, Adrián
Pubblicazione 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
8
Selecting and Evaluating CD-ROMs: A Public School Media Specialist's Perspective. Autoría: Lee, Judy Raven
Pubblicazione 1997Fuente: ERIC Institute of Education SciencesTipo de material: Recurso educativo Open AccessAcceso al recurso -
9
Trade and transport facilitation : a toolkit for audit, analysis, and remedial action / John Raven Autoría: Raven, John, 1920-
Pubblicazione 1920Fuente: SIBUMARTipo de material: LibroCollocazione: 332.153 2380 R681t -
10
What physicalism could be Autoría: Michael J. Raven
Pubblicazione 2024Fuente: Wiley Open AccessTipo de material: Artículo Open AccessAcceso al recurso -
11
FIGURE 10. Creugas gulosus Thorell, 1878 in <strong>A revision of ant-mimicking spiders of the family Corinnidae (Araneae) in the Western Pacific</strong> Autoría: Raven, Robert J.
Pubblicazione 2015Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso -
12
FIGURE 28 in <strong>A revision of ant-mimicking spiders of the family Corinnidae (Araneae) in the Western Pacific</strong> Autoría: Raven, Robert J.
Pubblicazione 2015Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso -
13
FIGURE 44 in <strong>A revision of ant-mimicking spiders of the family Corinnidae (Araneae) in the Western Pacific</strong> Autoría: Raven, Robert J.
Pubblicazione 2015Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso -
14
FIGURE 134 in <strong>A revision of ant-mimicking spiders of the family Corinnidae (Araneae) in the Western Pacific</strong> Autoría: Raven, Robert J.
Pubblicazione 2015Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso -
15
Ozcopa zborowskii Raven, 2015, sp. nov. Autoría: Raven, Robert J.
Pubblicazione 2015Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso -
16
Poecilipta marengo Raven, 2015, sp. nov. Autoría: Raven, Robert J.
Pubblicazione 2015Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso -
17
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems Autoría: Beutner, Raven, Finkbeiner, Bernd
Pubblicazione 2022Fuente: arXivTipo de material: PreprintAcceso al recurso -
18
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing Autoría: Beutner, Raven, Finkbeiner, Bernd
Pubblicazione 2023Fuente: arXivTipo de material: PreprintAcceso al recurso -
19
Hyper Strategy Logic Autoría: Beutner, Raven, Finkbeiner, Bernd
Pubblicazione 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
20
Non-Deterministic Planning for Hyperproperty Verification Autoría: Beutner, Raven, Finkbeiner, Bernd
Pubblicazione 2024Fuente: arXivTipo de material: PreprintAcceso al recurso