Bitte beachten Sie auch das verfügbare Angebot an E-Books, die zurzeit noch nicht in unserem Katalog nachgewiesen sind, aber über die Verlagsportale bereits freigeschaltet sind.
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Beckstein, Clemens - 1988
Signatur: TVM2225
Spielbaum-Suchverfahren
Reinefeld, Alexander - 1989
Signatur: TVM2233
Datenbankgestützte Repräsentation und Extraktion von Episodenbeschreibungen aus Bildfolgen
Walter, Ingrid - 1989
Signatur: TVV6127
Qualität und Testbarkeit hochintegrierter Schaltungen : Qualitätssicherung durch regelbasierte Systeme
Bidjan-Irani, Mehrdad - 1989
Signatur: TVE2275
Kopplung von Rechnernetzen : Techniken zu Planung, Entwurf, Vermessung und Leistungsoptimierung
Zieher, Martin - 1989
Signatur: M32725
Test von OSI-Protokollen
Stoll, Wilhelm - 1989
Signatur: M32724
Verteilte Basisalgorithmen
Mattern, Friedemann - 1989
Signatur: TWT2224
Erfahrung und Berechnung : Kritik der Expertensystemtechnik
Coy, Wolfgang; Bonsiepen, Lena - 1989
Signatur: TUC1364
Diensteintegrierende Kommunikationsnetze mit teilnehmerüberprüfbarem Datenschutz
Pfitzmann, Andreas - 1990
Signatur: M32726
Sprecherunabhängigkeit und Sprecheradaption : Lösungsansätze für das Problem des Sprecherwechsels bei der automatischen Spracherkennung
Kämmerer, Bernhard R. - 1990
Signatur: TVV7377
Automatische Komplexitätsanalyse funktionaler Programme
Zimmermann, Wolf - 1990
Signatur: TVM2518
Analyse dynamischer Systeme in Medizin, Biologie und Ökologie : 4. Ebernburgerer Gespräch, Bad Münster, 5. - 7. April 1990 ; proceedings
Möller, Dietmar [Herausgeber]; Erwin-Riesch-Arbeitstagung (4 : 1990 : Bad Münster am Stein- Ebernburg); [u.a.] - 1991
Signatur: TAY900362
Flexible, realzeitfähige Kollisionsvermeidung in Mehrroboter-Systemen
Borgolte, Ulrich - 1991
Signatur: TZH6084
Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung
Westfechtel, Bernhard - 1991
Signatur: TWQ4043
Modellbildung, Wissensrevision und Wissensrepräsentation im maschinellen Lernen
Emde, Werner - 1991
Signatur: TVU3263
Die strukturierte Analyse Markovscher Modelle
Buchholz, Peter - 1991
Signatur: TKF1864
Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung : eine kritische Gegenüberstellung
Helm, Gerhard - 1991
Signatur: TVV8103
Software-Bewertung : ein semantischer Ansatz für Informationsmaße
Baumann, Peter - 1992
Signatur: TWQ4255
Prinzipien piktorieller Repräsentationssysteme : Untersuchungen zur bildhaften Repräsentation von Wissen in informationsverarbeitenden Systemen
Mohnhaupt, Michael - 1992
Signatur: TVV8226
Automatische Synthese rekursiver Programme als Beweisverfahren
Biundo, Susanne - 1992
Signatur: TVI2160
Entscheidungsorientiertes Konfigurationsmanagement
Rose, Thomas - 1992
Signatur: TVV8412
Ontologie und Axiomatik der Wissensbasis von LILOG : Wissensmodellierung im IBM-Deutschland-LILOG-Projekt
Klose, Gudrun [Herausgeber]; [u.a.] - 1992
Signatur: TVU3409
Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen
Retz-Schmidt, Gudula - 1992
Signatur: TVV8268
Informatik zwischen Wissenschaft und Gesellschaft : zur Erinnerung an Reinhold Franck ; proceedings
Kreowski, Hans-Jörg [Herausgeber]; Franck, Reinhold - 1992
Signatur: TTQF1004
Situationsmodellierung in der Bildfolgenauswertung
Krüger, Wolfgang - 1992
Signatur: TVV8420
Nach oben
Die Universität der Informationsgesellschaft