Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Evaluating Evidence of Mechanisms in Medicine [electronic resource] : Principles and Procedures / by Veli-Pekka Parkkinen, Christian Wallmann, Michael Wilde, Brendan Clarke, Phyllis Illari, Michael P Kelly, Charles Norell, Federica Russo, Beth Shaw, Jon Williamson. por
- Parkkinen, Veli-Pekka [author.]
- Wallmann, Christian [author.]
- Wilde, Michael [author.]
- Clarke, Brendan [author.]
- Illari, Phyllis [author.]
- Kelly, Michael P [author.]
- Norell, Charles [author.]
- Russo, Federica [author.]
- Shaw, Beth [author.]
- Williamson, Jon [author.]
- SpringerLink (Online service)
Series SpringerBriefs in Philosophy
Edición: 1st ed. 2018.
Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Series Theoretical Computer Science and General Issues ; 10982
Edición: 1st ed. 2018.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pre-Field Screening Protocols for Heat-Tolerant Mutants in Rice [electronic resource] / by Fatma Sarsu, Abdelbagi M.A. Ghanim, Priyanka Das, Rajeev N. Bahuguna, Paul Mbogo Kusolwa, Muhammed Ashraf, Sneh L. Singla-Pareek, Ashwani Pareek, Brian P. Forster, Ivan Ingelbrecht. por
- Sarsu, Fatma [author.]
- Ghanim, Abdelbagi M.A [author.]
- Das, Priyanka [author.]
- Bahuguna, Rajeev N [author.]
- Kusolwa, Paul Mbogo [author.]
- Ashraf, Muhammed [author.]
- Singla-Pareek, Sneh L [author.]
- Pareek, Ashwani [author.]
- Forster, Brian P [author.]
- Ingelbrecht, Ivan [author.]
- SpringerLink (Online service)
Edición: 1st ed. 2018.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I / edited by Tomáš Vojnar, Lijun Zhang. por Series Theoretical Computer Science and General Issues ; 11427
Edición: 1st ed. 2019.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|