Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Die Lesesäle der Deutschen Nationalbibliothek Leipzig öffnen am Mittwoch, den 28.05. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Leipzig will open at 13:00 on Wednesday 28 May due to a staff assembly.

Die Lesesäle der Deutschen Nationalbibliothek Frankfurt öffnen am Donnerstag, den 05.06. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Frankfurt will open at 13:00 on Thursday, 5 June due to a staff assembly.

Ergebnis der Suche nach: auRef=1199470953
im Bestand: Gesamter Bestand

1 - 6 von 6

	1	Verification of automata with storage mechanisms Köcher, Chris. - Ilmenau : Universitätsverlag Ilmenau, 2023
	2	Verification of Automata with Storage Mechanisms Köcher, Chris. - Ilmenau : TU Ilmenau, 2022
	3	Reachability problems on reliable and lossy queue automata Köcher, Chris. - Ilmenau : TU Ilmenau, 2021
	4	Reachability Problems on Reliable and Lossy Queue Automata Enthalten in Theory of computing systems 19.6.2021: 1-32
	5	Rational, recognizable, and aperiodic sets in the partially lossy queue monoid Köcher, Chris. - Ilmenau : TU Ilmenau, 2018
	6	The Cayley-graph of the queue monoid: logic and decidability Abu Zaid, Faried. - Ilmenau : TU Ilmenau, 2018