22 research outputs found
On the inadequacy of serializability
SIGLETIB: RN 4237 (172) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Introduction to linear p-ADIC invariant systems
SIGLETIB: RN 4237 (161) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
On semantic algebras higher order structures
SIGLETIB: RN 4237 (156) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Public key cryptography and complexity theory
SIGLETIB: RN 4237 (145) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Schnelle Routing-Algorithmen in Rechnernetzen
SIGLETIB: RN 4237 (149) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Modular compiler descriptions based on abstract semantic data types
SIGLETIB: RN 4237 (146) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Higher order abstract data types Cartesian closure versus lambda-calculus
SIGLETIB: RN 4237 (166) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Undecidable versus difficult to decide An introduction into computational complexity of logical decision problems
SIGLETIB: RN 4237 (155) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Properties of the 2D-Chrestenson power spectrum of a pattern
SIGLETIB: RN 4237 (162) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
P-mitotic sets
SIGLETIB: RN 4237 (167) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman