Search Results: DeviceLogics

Weiterleitung nach:

DR DOS
Sabtu, 2026-08-01 05:56:33

Systems. 1999 kaufte Lineo DR-DOS, nach dessen Ende es 2002 schließlich an DeviceLogics ging. Seit 2003 wurden die im Quelltext freigegegebenen Teile von einer...

Click to read more »
PC-kompatibles DOS
Rabu, 2026-07-29 02:27:59

hervorgegangen sind, vertrieben und wird heute noch von DRDOS, Inc. alias DeviceLogics für den Einsatz in eingebetteten Systemen angeboten. Von ehemaligen Entwicklern...

Click to read more »
Rohit Jivanlal Parikh
Minggu, 2025-02-02 04:28:30

Distributed Processes and the Logic of Knowledge. In: Rohit Parikh (Hrsg.): Logics of Programs. Brooklyn, June 17–19, 1985. Proceedings (= Lecture Notes in...

Click to read more »