Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Suchergebnisse
Suchergebnisse
Ihre Suche nach
SOMENZI FABIO
ergibt
1
Einträge
Sortierpräferenz
1 - Titel, Erscheinungsjahr
0 - Standard
2 - Erscheinungsjahr, Titel
3 - Erscheinungsjahr, Verfasser
4 - Verfasser, Erscheinungsjahr
5 - Erscheinungsjahr absteigend
6 - Regalstandort
7 - Verfasser, Titel
Suchergebnisseite:
.
1
.
.
Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.
Suchergebnisse einschränken
Medientyp:
1
E-Book
(1)
Sprache:
1
englisch
(1)
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr.
Cover
Titel
Verfasser
Jahr
Beschreibung
Exemplarinformation
1
Wählen Sie diesen Titel
Abstraction Refinement for Large Scale Model Checking [E-Book]
2006
.
Suchergebnisseite:
.
1
.
.
Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.
Export
Ausgewählte Datensätze
Diese Ergebnisse
As
Feldformat
Bibliographisches Format
ISBD-Format
MARC-Format
MARC-Binärformat
MARCXML-Format
Bis
Datei
E-Mail
Schnellsuche
Suche nach
