Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

3251 - 3260 von 3262

	3251	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	3252	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	3253	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	3254	On some promise classes in structural complexity theory Rothe, Jörg, 1995
	3255	Formal derivation of pointer algorithms Möller, Bernhard. - Augsburg : Universität Augsburg, 1991
	3256	Building feature extraction method based on double reflection imaging dictionary Enthalten in European Association for Speech, Signal and Image Processing: EURASIP journal on wireless communications and networking Bd. 2019, 11.10.2019, Nr. 1, date:12.2019: 1-9
	3257	Classes of random walks on temporal networks with competing timescales Enthalten in Applied network science Bd. 4, 23.9.2019, Nr. 1, date:12.2019: 1-20
	3258	Deep residual learning for denoising Monte Carlo renderings Enthalten in Computational Visual Media Bd. 5, 9.5.2019, Nr. 3, date:9.2019: 239-255
	3259	Efficiently counting complex multilayer temporal motifs in large-scale networks Enthalten in Computational Social Networks Bd. 6, 14.9.2019, Nr. 1, date:12.2019: 1-34
	3260	Image steganography based on color palette transformation in color space Enthalten in European Association for Speech, Signal and Image Processing: EURASIP journal on image and video processing Bd. 2019, 29.10.2019, Nr. 1, date:12.2019: 1-13