Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Materialarten:  Artikel
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 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.
 
 
 


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

1 - 10 von 11
<< < > >>


Online Ressourcen 1 Do we need real data?
Kaiser, Jan. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2019
Online Ressource
Online Ressourcen 2 Synthesizing adaptive test strategies from temporal logic specifications
Bloem, Roderick. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2019
Online Ressource
Online Ressourcen 3 An algebra of database preferences
Möller, Bernhard. - Augsburg : Universität Augsburg, 2015
Online Ressource
Online Ressourcen 4 »Korrelationen sind überall da, wo sie gesucht werden«
Löffler, Petra. - Marburg : Philipps-Universität Marburg, 2014
Online Ressource
Artikel 5 OPC Unified Architecture
Enthalten in Automatisierungstechnik Bd. 59, 2011, Nr. 7: 397-404
Online Ressource
Online Ressourcen 6 Klassensysteme selbstgebaut - ein genetischer Weg zu OOP und OOM
Oldenburg, Reinhard. - Augsburg : Universität Augsburg, 2010
Online Ressource
Online Ressourcen 7 Objektorientierte Modellierung - aber wann und wie?
Kortenkamp, Ulrich. - Augsburg : Universität Augsburg, 2010
Online Ressource
Online Ressourcen 8 Relations and Kleene Algebra in computer science
Berghammer, Rudolf. - Augsburg : Universität Augsburg, 2009
Online Ressource
Online Ressourcen 9 On an analogy between spreadsheets and dynamic geometry environments
Oldenburg, Reinhard. - Augsburg : Universität Augsburg, 2008
Online Ressource
Online Ressourcen 10 Verifying concurrent systems with symbolic execution
Balser, Michael. - Augsburg : Universität Augsburg, 2002
Online Ressource


1 - 10 von 11
<< < > >>




Materialarten

Alle MaterialartenArtikel (11)

Standorte

Alle StandorteOnline (frei zugänglich) (11)

E-Mail-IconAdministration