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
:
>
Erweitertes Suchen
Suchergebnisse
Suchergebnisse
Ihre Suche nach
03D20
ergibt
5
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
Buch
(4)
1
E-Book
(1)
LitAbtlg:
1
Freihand
(4)
Sprache:
1
deutsch
(4)
1
englisch
(1)
Standort:
1
Hauptbibliothek
(4)
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr.
Cover
Titel
Verfasser
Jahr
Beschreibung
Exemplarinformation
1
Wählen Sie diesen Titel
Algorithmen und Berechenbarkeit: eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik [Buch]
Bretz, Manfred
1992
Regalstandort:
ST 130 B845.
Lit.abteilungen:
Freihand.
Verfügbar in:
Hauptbibliothek
.
Anzahl Exemplare:
3.
2
Wählen Sie diesen Titel
Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion [E-Book]
Witt, Kurt-Ulrich
2013
.
3
Wählen Sie diesen Titel
Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion ; [Lehrbuch] [Buch]
Witt, Kurt-Ulrich
2013
Regalstandort:
ST 120 W827.
Lit.abteilungen:
Freihand.
Verfügbar in:
Hauptbibliothek
.
Anzahl Exemplare:
2.
4
Wählen Sie diesen Titel
Proofs and algorithms: an introduction to logic and computability [Buch]
Dowek, Gilles
2011
Regalstandort:
ST 134 D746.
Lit.abteilungen:
Freihand.
Verfügbar in:
Hauptbibliothek
.
Anzahl Exemplare:
1.
5
Wählen Sie diesen Titel
Rekursive Funktionen [Buch]
Lüneburg, Heinz
2002
Regalstandort:
ST 130 L948.
Lit.abteilungen:
Freihand.
Verfügbar in:
Hauptbibliothek
.
Anzahl Exemplare:
2.
Ihre Suche nach
03D20
ergibt
5
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.
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
