Zum Hauptinhalt springen
Hochschulbibliothekszentrum NRW

Suchergebnisse

Hochschulbibliotheken
4 Treffer

Suchmaske

Suchtipp für den Bereich Hochschulbibliotheken: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

4 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
    edited by Dominique Borrione, Wolfgang Paul
    Berlin Heidelberg: Springer-Verlag GmbH., 2005
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
    edited by Laurence Pierre, Thomas Kropf
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999; 1999
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
    edited by Tiziana Margaria, Tom Melham
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001; 2001
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
    edited by Daniel Geist, Enrico Tronci
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003; 2003
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?

Öffentliche & weitere Bibliotheken

Ausgewählte Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -