Zum Inhalt springen

  2. Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik

    Bericht / Institut für Informatik und Praktische Mathematik

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

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

    Kiel: Inst. für Informatik und Praktische Mathematik, 1974-2006 / 1974 nachgewiesen; nachgewiesen 7902.1979 - 9909.1999; 2000.2000 - 2019.2001; 0201.2002 - 0602.2006[?]

  3. Ábrahám, Erika [VerfasserIn]; Roever, Willem-Paul de [VerfasserIn]; de Boer, Frank S. [VerfasserIn]; Steffen, Martin [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik

    A Deductive Proof System for Multithreaded Java with Exceptions

    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.

    Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2003

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2003,13

  4. Stehn, Max [VerfasserIn]; Sieweck, Philipp [VerfasserIn]; Nowotka, Dirk [VerfasserIn] ; Ibeo Automotive Systems GmbH, Christian-Albrechts-Universität zu Kiel Institut für Informatik

    APM - AirPortMover : Schlussbericht projektpartnerübergreifend : Projektzeitraum: 01.12.2018-31.03.2022 = Joint research project report AirPortMover - [Stand: 26.08.2022]

    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.

    Hamburg: Ibeo Automotive Systems GmbH, 26.08.2022

  5. Hasselbring, Wilhelm [VerfasserIn]; Henning, Sören [VerfasserIn]; Latte, Björn [VerfasserIn]; Stemmler, Irene [VerfasserIn]; Wojcieszak, Maik [VerfasserIn]; Glockmann, Uwe [VerfasserIn] ; wobe-systems GmbH, Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Abschlussbericht KMU-innovativ - Verbundprojekt Titan Industrial DevOps Plattform für iterative Prozessintegration und Automatisierung

    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.

    Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, Oktober 2021

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2021,2

  6. Jansen, Klaus [VerfasserIn]; Klein, Kim-Manuel [VerfasserIn]; Reuter, Janina [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Complexity bounds for Block-IPs

    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.

    Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, June 2021

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2021,1

  7. Hasselbring, Wilhelm [VerfasserIn]; Henning, Sören [VerfasserIn]; Latte, Björn [VerfasserIn]; Stemmler, Irene [VerfasserIn]; Wojcieszak, Maik [VerfasserIn]; Glockmann, Uwe [VerfasserIn] ; wobe-systems GmbH, Christian-Albrechts-Universität zu Kiel Institut für Informatik, Kompetenzverbund Software Systems Engineering

    KMU-innovativ - Verbundprojekt: Titan Industrial DevOps Plattform für iterative Prozessintegration und Automatisierung : Abschlussbericht : Laufzeit: 01.02.2018-31.01.2021 = KMU-innovativ - joint project titan Industrial DevOps platform for iterative process integration and automation

    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.

    [Kiel]: wobe-systems GmbH, [2021?]

  8. Domrös, Sören [VerfasserIn]; Hanxleden, Reinhard von [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Preserving order during crossing minimization in Sugiyama layouts

    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.

    Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, Nov 2021

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2021,3

  9. Smyth, Steven [VerfasserIn] ; Domrös, Sören [Sonstige Person, Familie und Körperschaft]; Hanxleden, Reinhard von [Sonstige Person, Familie und Körperschaft] Christian-Albrechts-Universität zu Kiel Institut für Informatik

    A Case-study on manual verification of state-based source code generated by KIELER SCCharts

    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.

    Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, December 2019

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2019,5

  11. Luttenberger, Norbert [Sonstige Person, Familie und Körperschaft] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Forschungskooperation ELSA - Datentreuhänderschaft Biobanken, Teilprojekt 3: Auditierungsverfahren und -kriterien : Schlußbericht zum Projekt ; Laufzeit des Vorhabens/Berichtszeitraum: 15. Dez. 2006 - 31. Aug. 2008

    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.

    Kiel, 2009

  12. Kähler, Detlef [VerfasserIn]; Kuesters, Ralf [VerfasserIn]; Wilke, Thomas [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Deciding Properties of Contract-Signing Protocols

    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.

    Kiel: Inst. für Informatik, 2004

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2004,9

  13. Sommer, Gerald [VerfasserIn]; Rosenhahn, Bodo [VerfasserIn]; Perwass, Christian [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    The Twist Representation of Shape

    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.

    Kiel: Inst. für Informatik, 2004

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2004,7

  14. Prochnow, Steffen [VerfasserIn]; Hanxleden, Reinhard von [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Visualisierung komplexer reaktiver Systeme : Annotierte Bibliographie

    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.

    Kiel: Inst. für Informatik, 2004

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2004,6

  15. Schewe, Klaus-Dieter [VerfasserIn]; Thalheim, Bernhard [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Web Information Systems : Usage, Content, and Functionally Modelling

    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.

    Kiel: Inst. für Informatik, April 2004

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2004,5

  16. Bruske, Jörg [VerfasserIn]; Sommer, Gerald [VerfasserIn]; Ahrns, Ingo [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    An Integrated Architecture for Learning of Reactive Behaviors based on Dynamic Cell Structures

    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.

    Kiel: Institut für Informatik, Christian-Albrechts-Universität zu Kiel, 1996

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 1996,1

  17. Bruske, Jörg [VerfasserIn]; Sommer, Gerald [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Dynamic Cell Structures : Radial Basis Function Networks with Perfect Topology Preservation

    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.

    Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 1994

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 1994,1

  18. Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel

    Zeitschriften / Zeitungen / Schriftenreihen
    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.

    Kiel: Inst. für Informatik, 1992- / Nachgewiesen 1992 -

  19. EurA AG, Autokraft Kiel, GreenTEC Campus GmbH, Sylter Verkehrsgesellschaft, MOTEG GmbH, Interlink GmbH, FLS GmbH, Christian-Albrechts-Universität zu Kiel Institut für Informatik, Christian-Albrechts-Universität zu Kiel Geographisches Institut, Christian-Albrechts-Universität zu Kiel Institut für Wirtschafts- und Steuerrecht

    Entwicklung und Evaluierung eines ÖPNV-on-demand-Angebots mit autonomen Fahrzeugen im öffentlichen Personennahverkehr in ländlichen Regionen (NAF-Bus) : Abschlussbericht : NAF-BUS Nachfragegesteuerter-autonom-fahrender Bus

    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.

    [Enge-Sande], [EurA AG]