Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption."
im Bestand: Gesamter Bestand
Ihre Suchanfrage ergab leider keine Treffer.
Hinweise zur Suche
- Überprüfen Sie die Schreibweise der Suchbegriffe.
- Verwenden Sie ähnliche, allgemeinere oder weniger Begriffe.
- Nutzen Sie den Platzhalter *.
- Weitere Tipps zur Suche finden Sie hier.
Für eine weiterführende Suche nach Zeitschriftentiteln nutzen Sie bitte auch die Zeitschriftendatenbank (ZDB).
Sie haben nicht das Richtige gefunden? Dann weiter zur Kontaktseite.