KOBV Portal

Hits per page

hits 1 - 3 | 3 hits

Sorting

Book

Logikkalküle / (1978)

Richter, Michael M. 1938-2020

Stuttgart :B.G. Teubner,

add to watchlist on the watchlist

Details

UID:

almafu_BV002244632

Format: 232 Seiten.

ISBN: 3-519-02345-8

Series Statement: Leitfäden der angewandten Mathematik und Mechanik Band 43

Language: German

Subjects: Computer Science , Mathematics , Philosophy

RVK:

CC 2600

RVK:

SK 130

RVK:

ST 120

Keywords: Logik ; Prädikatenlogik ; Aussagenlogik ; Mathematische Logik ; Logikkalkül ; Einführung ; Einführung ; Einführung

URL: Inhaltsverzeichnis

URL: Cover

Author information: Richter, Michael M. 1938-2020

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FU Berlin

UB Potsdam

EUV Frankfurt

BTU Cottbus

TU Berlin

Technikmuseum Berlin

Book

Betriebssysteme : eine Einführung ; mit zahlreichen Beispielen (1977)

Richter, Lutz, 1935-2017.

Stuttgart :Teubner,

add to watchlist on the watchlist

Details

UID:

almahu_BV001985259

Format: 152 S. : , graph. Darst.

ISBN: 3-519-02335-0

Series Statement: Leitfäden der angewandten Mathematik und Mechanik 29

Language: German

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

ST 260

Keywords: Betriebssystem

Author information: Richter, Lutz, 1935-2017.

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

Berlin VÖBB/ZLB

TU Berlin

Technikmuseum Berlin

Book

Produktionsplanung mit elektronischer Datenverarbeitung : Grundzüge eines integrierbaren EDV-Projektes der mittelfristigen Produktionsplanung in sozialistischen Chemiekombinaten (1970)

Kuhnert, Werner ; Kunitz, Werner ; Richter, Roland

Leipzig :Dt. Verl. für Grundstoffindustrie,

add to watchlist on the watchlist

Details

UID:

almafu_BV005701546

Format: 188 S. : , graph. Darst.

Language: German

Subjects: Computer Science , Economics

RVK:

QP 540

RVK:

QP 542

RVK:

ST 610

Keywords: Produktionsplanung ; Datenverarbeitung

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

HTW Berlin

TU Berlin

Technikmuseum Berlin

hits 1 - 3 | 3 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean der rechter?

Did you mean der richler?

Did you mean der richtar?

Kooperativer Bibliotheksverbund

Berlin Brandenburg