UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

UAntwerpen (2)

KBR (1)

UGent (1)

VUB (1)

Resource type

book (3)

digital (2)

Language

German (3)

English (1)

Undetermined (1)

Year

From To

2022 (2)

1990 (1)

1987 (1)

1986 (1)

Listing 1 - 5 of 5
Sort by

Book

Einführung in die Programmierung mit Prolog.
Authors: Posthoff, Ch. --- Schubert, S. --- Rätz, D.
Year: 1990 Publisher: Karl-Marx-Stadt : Technische Universität Karl-Marx-Stadt,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Diskrete Mathematik
Authors: Posthoff, Ch. --- Boschmann, D. --- Haubold, K.
ISBN: 3322003841 Year: 1986 Publisher: Leipzig Teubner

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematics

Digital

Probleme und Ergebnisse aus der Arbeitsgruppe Kybernetik, Informationsverarbeitung der Klasse Mathematik 1977/78
Authors: Bochmann, D. --- Gründemann, H. --- Leopold, J. --- Posthoff, Ch --- Scheel, Heinrich --- et al.
ISBN: 9783112504567 9783112504550 Year: 2022 Publisher: Berlin ;; Boston De Gruyter

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer. Automation

Digital

Probleme und Ergebnisse aus der Arbeitsgruppe Kybernetik/Informationsverarbeitung der Klasse Mathematik 1977/78
Authors: Biess, G. --- Bochmann, D. --- Gründemann, H. --- Leopold, J. --- Posthoff, Ch --- et al.
ISBN: 9783112586365 9783112586358 Year: 2022 Publisher: Berlin ;; Boston De Gruyter

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Pure sciences. Natural sciences (general)

Book

Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Authors: Bartoszek, Jerzy --- Bergstra, J A --- Bibel, W --- Bibel, Wolfgang --- Botusharov, O --- et al.
ISBN: 9783112733417 Year: 1987 Publisher: Berlin Boston

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Listing 1 - 5 of 5
Sort by