22 research outputs found

    On the inadequacy of serializability

    No full text
    SIGLETIB: RN 4237 (172) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    Introduction to linear p-ADIC invariant systems

    No full text
    SIGLETIB: RN 4237 (161) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    On semantic algebras higher order structures

    No full text
    SIGLETIB: RN 4237 (156) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    Public key cryptography and complexity theory

    No full text
    SIGLETIB: RN 4237 (145) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    Schnelle Routing-Algorithmen in Rechnernetzen

    No full text
    SIGLETIB: RN 4237 (149) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    Modular compiler descriptions based on abstract semantic data types

    No full text
    SIGLETIB: RN 4237 (146) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    Higher order abstract data types Cartesian closure versus lambda-calculus

    No full text
    SIGLETIB: RN 4237 (166) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    Undecidable versus difficult to decide An introduction into computational complexity of logical decision problems

    No full text
    SIGLETIB: RN 4237 (155) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    Properties of the 2D-Chrestenson power spectrum of a pattern

    No full text
    SIGLETIB: RN 4237 (162) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

    P-mitotic sets

    No full text
    SIGLETIB: RN 4237 (167) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
    corecore