Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Anmelden
Neuer Katalog (Beta-Version)
Weitere Infos
Universitätsbibliothek
Katalog
Suche
im Katalog
Katalog
Central Discovery Index
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Ort / Verlag
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Ort / Verlag
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
1 – 5 von 5
Sortiert nach
Bandzählung
Relevanz
Autor / Autorin
Erscheinungsjahr
Systemstelle
Titel
Bandzählung
Neuerwerbung
Beim Laden der Verfügbarkeitsinformationen ist ein Fehler aufgetreten. Bitte versuchen Sie es zu einem späteren Zeitpunkt erneut.
Discrete relaxation techniques
The international series of monographs on computer science : 5
(
Alle Bände
)
Henderson, Thomas C
1990
Signatur:
TVI2021
Bitte anmelden um Merklisten zu nutzen
Programming in Martin-Löf's type theory : an introduction
The international series of monographs on computer science : 7
(
Alle Bände
)
Nordström, Bengt
;
Petersson, Kent
;
Smith, Jan M
1990
Signatur:
TVM2479
Bitte anmelden um Merklisten zu nutzen
Derivation and validation of software metrics
The International series of monographs on computer science : 9
(
Alle Bände
)
Shepperd, Martin
;
Ince, Darrel
1993
Signatur:
TWQ5984
Bitte anmelden um Merklisten zu nutzen
Automated deduction in multiple valued logics
The International series of monographs on computer science : 10
(
Alle Bände
), Oxford science publications
Hähnle, Reiner
1993
Signatur:
TVC1499
Bitte anmelden um Merklisten zu nutzen
Computation and reasoning : a type theory for computer science
The international series of monographs on computer science : 11
(
Alle Bände
)
Luo, Zhaohui
1994
Signatur:
TVA2291
Bitte anmelden um Merklisten zu nutzen
Suche teilen
Suche als RSS-Feed
Aktive Filter
Schlagwort
Kombinatorische Geometrie
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Gedruckt
(5)
Mehr anzeigen...
Weniger anzeigen...
Autor / Autorin
Henderson, Thomas C
(1)
Hähnle, Reiner
(1)
Ince, Darrel
(1)
Luo, Zhaohui
(1)
Nordström, Bengt
(1)
Petersson, Kent
(1)
Shepperd, Martin
(1)
Smith, Jan M
(1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsform
Buch
(5)
Mehr anzeigen...
Weniger anzeigen...
Schlagwort
Automatisches Beweisverfahren
(1)
Logischer Entwurf
(1)
Martin-Löf-Typentheorie
(1)
Maschinelles Sehen
(1)
Mehrwertige Logik
(1)
Paralleler Algorithmus
(1)
Relaxationsmethode
(1)
Softwareentwicklung
(1)
Softwaremetrie
(1)
Theoretische Informatik
(1)
Typentheorie
(1)
VLSI
(1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Ergebnisse filtern
Neu hinzugefügt
... in den letzten 12 Monaten
(0)
... in den letzten 3 Monaten
(0)
... im letzten Monat
(0)
Sprache
Englisch
(4)
Mehr anzeigen...
Weniger anzeigen...
Systemstelle
TCL
(1)
TVA
(1)
TVC
(1)
TVI
(1)
TVM
(1)
TWQ
(1)
Mehr anzeigen...
Weniger anzeigen...
Art des Inhalts
Sonstiges
(4)
Hochschulschrift (Sonstige)
(1)
Mehr anzeigen...
Weniger anzeigen...
