Zum Inhalt springen

  3. 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
    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

  8. Smith, Graeme [Herausgeber:in]; Wesley-Smith, Terence [Herausgeber:in]

    The China alternative : changing regional order in the Pacific Islands

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Acton: Australian National University Press, [2021]

    Erschienen in: Pacific series

  9. Smith, Graeme [Herausgeber:in]; Wesley-Smith, Terence [Herausgeber:in] ; The China Alternative: Changing Regional Order in the Pacific Islands Symposium 2019 Port Vila

    The China alternative : changing regional order in the Pacific Islands

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Acton, Australia: ANU Press, [2021]

    Erschienen in: Pacific series

  11. 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
    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

  12. 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, Cnaterbury, UK, April 4-7, 2004. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 299900

  14. Mansfield, David [Verfasser:in]; Smith, Graeme [Verfasser:in] ; Alcis Holding Ltd

    War gains: how the economic benefits of the conflict are distributed in Afghanistan and the implications for peace : a case study on Nimroz province

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    London: ODI, August 2021

    Erschienen in: Report

  16. Smith, Graeme Kevin [Herausgeber:in]; Wesley-Smith, Terence [Herausgeber:in] ; Australian National University Press

    The China alternative : changing regional order in the Pacific Islands

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Canberra, ACT, Australia: Australian National University Press, 2021

    Erschienen in: Pacific Series

  17. Dongol, Brijesh [Herausgeber:in]; Petre, Luigia [Herausgeber:in]; Smith, Graeme [Herausgeber:in]

    Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - [1st ed. 2019]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Cham: Springer, 2019

    Erschienen in: Theoretical Computer Science and General Issues ; 11758 - Springer eBooks ; Computer Science

  18. Logan, Sarah [Verfasser:in]; Molloy, Brendan [Verfasser:in]; Smith, Graeme [Verfasser:in]

    Chinese Tech Abroad : Baidu in Thailand

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    [S.l.]: SSRN, [2021]

  19. Nixon, Graeme [Verfasser:in]; Fraser-Pearce, Jo [Verfasser:in]; Smith, David [Verfasser:in]

    Irreligious Educators? An Empirical Study of the Academic Qualifications, (A)theistic Positionality, and Religious Belief of Religious Education Teachers in England and Scotland

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    [2021]

    Erschienen in: Religions ; 12(2021), 3, Artikel-ID 184

  20. Martell, Sarah L. [Verfasser:in]; Smith, Graeme H. [Verfasser:in]

    CN variations in high-metallicity globular and open clusters

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    2009

    Erschienen in: Astronomical Society of the Pacific: Publications of the Astronomical Society of the Pacific ; 121(2009), 880, Seite 577