Zum Inhalt springen

  2. Noll, Justus [Verfasser:in]

    Die Hitfabrik : Musikproduktion mit dem PC

    Bücher
    Schließen

    Merkliste

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

    München; Wien: Hanser, 1995

    Erschienen in: Hanser-Software-Praxis

  6. Ferber, Alexander [Verfasser:in]; Fesefeldt, Ira Justus [Verfasser:in] ; Noll, Thomas [Akademische:r Betreuer:in]; Katoen, Joost-Pieter [Akademische:r Betreuer:in]

    Combining integer programs and graph grammars: Theory and implementation in Attestor

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2024

    Erschienen in: Aachen ; RWTH Aachen University, 2024

  7. Khalifa, Mohamed [Verfasser:in]; Fesefeldt, Ira Justus [Verfasser:in] ; Noll, Thomas [Akademische:r Betreuer:in]; Katoen, Joost-Pieter [Akademische:r Betreuer:in]

    Termination analysis of procedural pointer programs modelled by graph grammars

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  8. Fesefeldt, Ira Justus [Verfasser:in] ; Matheja, Christoph [Akademische:r Betreuer:in]; Noll, Thomas [Akademische:r Betreuer:in]; Katoen, Joost-Pieter [Akademische:r Betreuer:in]

    Proving termination of pointer programs on top of symbolic execution

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2019

  9. Khalifa, Mohamed [Verfasser:in] ; Fesefeldt, Ira Justus [Akademische:r Betreuer:in]; Noll, Thomas [Akademische:r Betreuer:in]; Katoen, Joost-Pieter [Akademische:r Betreuer:in]

    Implementation of a Predicate-Guided Termination Analysis for Pointer Programs

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2020

  12. Batz, Kevin [Verfasser:in]; Fesefeldt, Ira Justus [Verfasser:in]; Jansen, Marvin [Verfasser:in]; Katoen, Joost-Pieter [Verfasser:in]; Keßler, Florian [Verfasser:in]; Matheja, Christoph [Verfasser:in]; Noll, Thomas [Verfasser:in]

    Foundations for Entailment Checking in Quantitative Separation Logic

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  13. Rudrauff, Kilian [Verfasser:in] ; Kirschgarthius, Joh. Hartman [Widmungsempfänger:in]; Kirschgarthius, Joh. Hartman [Sonstige Person, Familie und Körperschaft]; Wischius, Joh. David [Widmungsempfänger:in]; Wischius, Joh. David [Sonstige Person, Familie und Körperschaft]; Stockhaus, Joh. Daniel [Widmungsempfänger:in]; Stockhaus, Joh. Daniel [Sonstige Person, Familie und Körperschaft]; Runckel, Joh. Vincentius [Widmungsempfänger:in]; Runckel, Joh. Vincentius [Sonstige Person, Familie und Körperschaft]; Staphorst, Andreas [Widmungsempfänger:in]; Staphorst, Andreas [Sonstige Person, Familie und Körperschaft]; Rubergh, Christianus [Widmungsempfänger:in]; Rubergh, Christianus [Sonstige Person, Familie und Körperschaft]; Feuerbach, Joh. Balthasar [Widmungsempfänger:in]; Feuerbach, Joh. Balthasar [Sonstige Person, Familie und Körperschaft]; Welcker, Henricus [Widmungsempfänger:in]; Welcker, Henricus [Sonstige Person, Familie und Körperschaft]; Gebhardus, Joh. Georgius [Widmungsempfänger:in]; Gebhardus, Joh. Georgius [Sonstige Person, Familie und Körperschaft]; Borck, Johannes [Widmungsempfänger:in]; Borck, Johannes [Sonstige Person, Familie und Körperschaft]; Schlosser, Joh. Nicolaus [Widmungsempfänger:in]; Schlosser, Joh. Nicolaus [Sonstige Person, Familie und Körperschaft]; Hoffbauer, Joh. Christophorus [Widmungsempfänger:in]; Hoffbauer, Joh. Christophorus [Sonstige Person, Familie und Körperschaft]; [...]

    Theologiae Polemicae Sylloge Et Delectus, Quo ut in brevissimo Compendio Praecipuas Controversias Theologicas : Ad disputandum collectas In Collegio Privato Suis Collegis Et Auditoribus Cum Pietate Veritatem Divinam sedulo inquirentibus, Distinctis Dissertationibus Per Omnes & Singulos Articulos Fidei

    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.

    Giessae: Kargerus, 1677 ; Online-Ausg., 2017

  14. Keating, G. M.; Bougher, S. W.; Zurek, R. W.; Tolson, R. H.; Cancro, G. J.; Noll, S. N.; Parker, J. S.; Schellenberg, T. J.; Shane, R. W.; Wilkerson, B. L.; Murphy, J. R.; Hollingsworth, J. L.; Haberle, R. M.; Joshi, M.; Pearl, J. C.; Conrath, B. J.; Smith, M. D.; Clancy, R. T.; Blanchard, R. C.; Wilmoth, R. G.; Rault, D. F.; Martin, T. Z.; Lyons, D. T.; Esposito, P. B.; [...]

    The Structure of the Upper Atmosphere of Mars: In Situ Accelerometer Measurements from Mars Global Surveyor

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    American Association for the Advancement of Science (AAAS), 1998

    Erschienen in: Science, 279 (1998) 5357, Seite 1672-1676

  15. Keating, G. M.; Bougher, S. W.; Zurek, R. W.; Tolson, R. H.; Cancro, G. J.; Noll, S. N.; Parker, J. S.; Schellenberg, T. J.; Shane, R. W.; Wilkerson, B. L.; Murphy, J. R.; Hollingsworth, J. L.; Haberle, R. M.; Joshi, M.; Pearl, J. C.; Conrath, B. J.; Smith, M. D.; Clancy, R. T.; Blanchard, R. C.; Wilmoth, R. G.; Rault, D. F.; Martin, T. Z.; Lyons, D. T.; Esposito, P. B.; [...]

    The Structure of the Upper Atmosphere of Mars: In Situ Accelerometer Measurements from Mars Global Surveyor

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    American Society for the Advancement of Science, 1998

    Erschienen in: Science, 279 (1998) 5357, Seite 1672-1676