Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.
 
 

Ergebnis der Suche nach: dcs=004*

Zurück zur Trefferliste


Treffer 11980 von 12217 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4766571-3
Sachbegriff Spur <Informatik>
Quelle Lex. Informatik Kommunikationstechnik als Ablauf
Erläuterungen Definition: Von Mazurkiewicz 1977 in die Theoretische Informatik eingeführter Begriff zur Beschreibung nebenläufiger Prozesse, die aus atomaren Aktionen aufgebaut sind. Spuren können als Verallgemeinerung von Wörtern aufgefaßt, können aber auch graphentheoretisch beschrieben oder als Halbordnung aufgefaßt werden. Spuren sind die Elemente eines Spurmonoids.
Verwendungshinweis: Nur für die Theoretische Informatik verwenden. Nicht für Spuren auf Daten- trägern (=Track).
Synonyme Mazurkiewicz-Spur
Mazurkiewicz Trace
Trace <Informatik>
Thematischer Bezug Verwandter Begriff: Spurtheorie
DDC-Notation 004.0151
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Untergeordnet 1 Datensatz
  1. STRADA <Programm>
    Spur <Informatik>
Thema in 5 Publikationen
  1. Struktur und Verhalten von verteilten endlichen Automaten
    Reineke, Henning, [2004]
  2. Über die Erkennbarkeit unendlicher Spuren
    Muscholl, Anca. - Stuttgart : Teubner, 1996
  3. ...





Treffer 11980 von 12217
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration