Katalog der Deutschen Nationalbibliothek

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=00*

Zurück zur Trefferliste


Treffer 53311 von 54209 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4329099-1
Sachbegriff Transitionssystem
Quelle Lex. Informatik
Wikipedia
Synonyme Transition system
Oberbegriffe Automatentheorie
DDC-Notation 004.0151135
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 38 Publikationen
  1. Bisimulations and model refinement
    Glück, Roland. - Berlin : Pro Business, 2015, 1. Aufl.
  2. Modeling time in computing
    Berlin : Springer, 2012
  3. ...
Maschinell verknüpft mit 3 Publikationen
  1. Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
    Soden, Michael. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015
  2. Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
    Thoma, Daniel. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2009
  3. ...





Treffer 53311 von 54209
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration