Zum Inhalt springen

  1. Smith, Graeme P. [Sonstige Person, Familie und Körperschaft]; Pol, Jaco C. van de [Sonstige Person, Familie und Körperschaft]; Romijn, Judi M. [Herausgeber:in] ; IFM 5 2005 Eindhoven

    Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3771

  2. Boiten, Eerke A. [Verfasser:in] ; Derrick, John [Sonstige Person, Familie und Körperschaft]; Smith, Graeme [Sonstige Person, Familie und Körperschaft]

    Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

    Erschienen in: Lecture notes in computer science ; 2999

  3. Romijn, Judi M. [Sonstige Person, Familie und Körperschaft]; Smith, Graeme [Sonstige Person, Familie und Körperschaft]; van de Pol, Jaco C. [Sonstige Person, Familie und Körperschaft]

    Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3771

  4. Anderson, Ian [Verfasser:in]; Arndt, H. W. [Verfasser:in]; Asher, Mukul G. [Verfasser:in]; Dick, Howard William [Verfasser:in]; Eswaran, Mukesh [Verfasser:in]; Hill, Hal [Verfasser:in]; Holmes, Frank [Verfasser:in]; Hugo, Graeme [Verfasser:in]; Jory, Patrick [Verfasser:in]; Moreno, Ramon [Verfasser:in]; Wang, Yunjong [Verfasser:in]; Kindleberger, Charles P. [Verfasser:in]; Rooken Smith, Derek [Verfasser:in]; Rosen, George [Verfasser:in]

    Book Reviews

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, 2003

  5. Huckins, Laura M [Verfasser:in]; Boraska, Vesna [Verfasser:in]; Southam, L [Verfasser:in]; Karhunen, L [Verfasser:in]; Meulenbelt, I [Verfasser:in]; Slagboom, P E [Verfasser:in]; Tortorella, A [Verfasser:in]; Maj, M [Verfasser:in]; Dedoussis, G [Verfasser:in]; Dikeos, D [Verfasser:in]; Gonidakis, F [Verfasser:in]; Tziouvas, K [Verfasser:in]; Tsitsika, A [Verfasser:in]; Rayner, N William [Verfasser:in]; Papezova, H [Verfasser:in]; Slachtova, L [Verfasser:in]; Martaskova, D [Verfasser:in]; Kennedy, J L [Verfasser:in]; Levitan, R D [Verfasser:in]; Yilmaz, Z [Verfasser:in]; Huemer, J [Verfasser:in]; Koubek, D [Verfasser:in]; Merl, E [Verfasser:in]; Wagner, G [Verfasser:in]; [...]

    Using ancestry-informative markers to identify fine structure across 15 populations of European origin

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stockton Press, 2014

    Erschienen in: European journal of human genetics 22, 1190–1200 (2014). doi:10.1038/ejhg.2014.1

  6. Thompson, Luke R. [Verfasser:in]; Sanders, Jon G. [Verfasser:in]; McDonald, Daniel [Verfasser:in]; Amir, Amnon [Verfasser:in]; Ladau, Joshua [Verfasser:in]; Locey, Kenneth J. [Verfasser:in]; Prill, Robert J. [Verfasser:in]; Tripathi, Anupriya [Verfasser:in]; Gibbons, Sean M. [Verfasser:in]; Ackermann, Gail [Verfasser:in]; Navas-Molina, Jose A. [Verfasser:in]; Janssen, Stefan [Verfasser:in]; Kopylova, Evguenia [Verfasser:in]; Vázquez-Baeza, Yoshiki [Verfasser:in]; González, Antonio [Verfasser:in]; Morton, James T. [Verfasser:in]; Mirarab, Siavash [Verfasser:in]; Zech Xu, Zhenjiang [Verfasser:in]; Jiang, Lingjing [Verfasser:in]; Haroon, Mohamed F. [Verfasser:in]; Kanbar, Jad [Verfasser:in]; Zhu, Qiyun [Verfasser:in]; Jin Song, Se [Verfasser:in]; Kosciolek, Tomasz [Verfasser:in]; [...]

    A communal catalogue reveals Earth’s multiscale microbial diversity

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Nature Research, 2017-11-23

  7. Brown, Peter [Verfasser:in]; Zhou, Yaoqi [Verfasser:in]; Tan, Aik-Choon [Verfasser:in]; El-Esawi, Mohamed A. [Verfasser:in]; Liehr, Thomas [Verfasser:in]; Blanck, Oliver [Verfasser:in]; Gladue, Douglas P. [Verfasser:in]; Almeida, Gabriel M.F. [Verfasser:in]; Cernava, Tomislav [Verfasser:in]; Sorzano, Carlos O. [Verfasser:in]; Yeung, Andy W.K. [Verfasser:in]; Engel, Michael S. [Verfasser:in]; Chandrasekaran, Arun R. [Verfasser:in]; Muth, Thilo [Verfasser:in]; Staege, Martin S. [Verfasser:in]; Daulatabad, Swapna V. [Verfasser:in]; Widera, Darius [Verfasser:in]; Zhang, Junpeng [Verfasser:in]; Meule, Adrian [Verfasser:in]; Honjo, Ken [Verfasser:in]; Pourret, Olivier [Verfasser:in]; Yin, Cong-Cong [Verfasser:in]; Zhang, Zhongheng [Verfasser:in]; Cascella, Marco [Verfasser:in]; [...]

    Large expert-curated database for benchmarking document similarity detection in biomedical literature search - [published Version]

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oxford : Oxford University Press, 2019

    Erschienen in: Database: The Journal of Biological Databases and Curation 2019 (2019) ; Database: The Journal of Biological Databases and Curation

  8. Ong, Kanyin Liane [Verfasser:in]; Stafford, Lauryn K. [Verfasser:in]; McLaughlin, Susan A. [Verfasser:in]; Boyko, Edward J. [Verfasser:in]; Vollset, Stein Emil [Verfasser:in]; Smith, Amanda E. [Verfasser:in]; Dalton, Bronte E. [Verfasser:in]; Duprey, Joe [Verfasser:in]; Cruz, Jessica A. [Verfasser:in]; Hagins, Hailey [Verfasser:in]; Lindstedt, Paulina A. [Verfasser:in]; Darshan B. B. [Verfasser:in]; Babamohamadi, Hassan [Verfasser:in]; Badar, Muhammad [Verfasser:in]; Badawi, Alaa [Verfasser:in]; Badiye, Ashish D. [Verfasser:in]; Baghcheghi, Nayereh [Verfasser:in]; Bagheri, Nasser [Verfasser:in]; Bagherieh, Sara [Verfasser:in]; Bah, Sulaiman [Verfasser:in]; Bahadory, Saeed [Verfasser:in]; Aali, Amirali [Verfasser:in]; Bai, Ruhai [Verfasser:in]; Baig, Atif Amin [Verfasser:in]; [...]

    Global, regional, and national burden of diabetes from 1990 to 2021, with projections of prevalence to 2050: a systematic analysis for the Global Burden of Disease Study 2021

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: Elsevier, 2023

  9. Horne, Colin P.; Jones, Aaron M.; Smith, Graeme E.; Griffiths, Hugh D.

    Fast Fully Adaptive Signalling for Target Matching

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2020

    Erschienen in: IEEE Aerospace and Electronic Systems Magazine, 35 (2020) 6, Seite 46-62