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
:
>
Systemnachricht
Katalogdatenanzeige
Katalogdatenanzeige
Formal aspects of computing: applicable formal methods
.
Bookmark für diesen Satz setzen
Katalogdatensatz500208434
.
Kataloginformation
Katalogdatensatz500208434
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
Hinweise auf parallele Ausgaben
023035412 Erscheint auch als (Druck-Ausgabe): ‡Formal aspects of computing
T I T E L
Formal aspects of computing
Zusatz zum Titel
applicable formal methods
Verlagsort
London
Verlag
Springer
Springer
Erscheinungsjahr
1989-
1989
Umfang
Online-Ressource
Notiz / Fußnoten
Gesehen am 01.11.2022
ISSN
ISSN 1433-299X
Klassifikation
004
1. Schlagwortkette
Formale Methode
ANZEIGE DER KETTE
Formale Methode
2. Schlagwortkette
Systementwicklung
Theoretische Informatik
Zeitschrift
Online-Ressource
ANZEIGE DER KETTE
Systementwicklung -- Theoretische Informatik -- Zeitschrift -- Online-Ressource
3. Schlagwortkette
Formale Sprache
Zeitschrift
Online-Ressource
ANZEIGE DER KETTE
Formale Sprache -- Zeitschrift -- Online-Ressource
SWB-Titel-Idn
078128919
Zusammenfassende Bestandsangaben
$b1.1989 - 14.2002
Elektronische Adresse
$uhttps://ezb.ur.de/detail.phtml?bibid=WHZ&jour_id=2635$xEZB
$uhttps://ezb.ur.de/ReadMe?bibid=WHZ&owner=NALI2&anchor=natli_springer&lang=de$xReadme
$uhttps://link.springer.com/journal/165$xVolltext
SWB-Titel-Idn
078128919
Zusammenfassende Bestandsangaben
$b9.1997,1 - 33.2021,6
Elektronische Adresse
$uhttps://ezb.ur.de/detail.phtml?bibid=WHZ&jour_id=2635$xEZB
$uhttps://ezb.ur.de/ReadMe?bibid=WHZ&owner=DESPR&anchor=deal_springer&lang=de$xReadme
$uhttps://link.springer.com/journal/volumesAndIssues/165$xVolltext
SWB-Titel-Idn
078128919
Zusammenfassende Bestandsangaben
$b32.2020,1 - 33.2021,6
Elektronische Adresse
$uhttps://ezb.ur.de/detail.phtml?bibid=WHZ&jour_id=2635$xEZB
$uhttps://ezb.ur.de/ReadMe?bibid=WHZ&owner=DESPR&anchor=deal_springer_current&lang=de$xReadme
$uhttps://link.springer.com/journal/volumesAndIssues/165$xVolltext
Internetseite / Link
EZB
Siehe auch
Verlag
Siehe auch
H; 1.1989 - 14.2002
.
ISBD-Anzeige
Katalogdatensatz500208434
.
Kategorien-Anzeige
Katalogdatensatz500208434
.
Verwandte Werke
Katalogdatensatz500208434
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500208434
.
Kataloginformation500208434
Datensatzanfang
.
Kataloginformation500208434
Seitenanfang
.
Titel vormerken
Katalogdatensatz500208434
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach