KOBV Portal

Hits per page

hits 1 - 10 | 18 hits

Sorting

Book

Grundlagen der Betriebssysteme / (1975)

Krayl, Heinrich ; Neuhold, Erich J. 1940- ; Unger, Claus 1939-

Berlin [u.a.] :de Gruyter,

add to watchlist on the watchlist

Details

UID:

almafu_BV003181671

Format: 231 S. : , graph. Darst.

ISBN: 3-11-004320-3

Series Statement: Sammlung Göschen 2051

Language: German

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

ST 260

Keywords: Betriebssystem

Author information: Unger, Claus 1939-

Author information: Neuhold, Erich J. 1940-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

HWR Berlin

Berlin VÖBB/ZLB

TU Berlin

MPI Bildungsforschung

Technikmuseum Berlin

Online Resource

A concurrent Pascal compiler for minicomputers (1977)

Hartmann, Alfred C. [Verfasser]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036039529

Format: 1 Online-Ressource (119 S.) , graph. Darst.

ISBN: 3540082409 , 0387082409

Series Statement: Lecture notes in computer science 50

Language: English

Subjects: Computer Science

RVK:

SS 4800

RVK:

ST 265

Keywords: PASCAL ; Compiler ; Minicomputer ; PASCAL ; Compiler ; Hochschulschrift

DOI: 10.1007/3-540-08240-9

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Simulationstechnik : Entwurf und Simulation von Systemen auf digitalen Rechenautomaten (1976)

Bauknecht, Kurt 1936-2019 ; Kohlas, Jürg 1939- ; Zehnder, Carl August 1937-

Berlin u.a. :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV002281773

Format: IV, 218 S. : 15 graph. Darst.

ISBN: 3-540-07960-2 , 0-387-07960-2

Series Statement: Hochschultext

Language: German

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

ST 325

RVK:

ST 340

Keywords: Simulation ; Computersimulation

Author information: Zehnder, Carl August 1937-

Author information: Bauknecht, Kurt 1936-2019

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FU Berlin

Zentrum Info.arbeit Bundeswehr

TU Berlin

MPI Bildungsforschung

Technikmuseum Berlin

Book

Conceptual information processing / (1975)

Schank, Roger C. 1946-2023

Amsterdam :North-Holland Publ.,

add to watchlist on the watchlist

Details

UID:

almafu_BV002055833

Format: VIII, 374 S. : graph. Darst.

ISBN: 0-7204-2507-7

Series Statement: Fundamental studies in computer science 3

Language: English

Subjects: Computer Science , Comparative Studies. Non-European Languages/Literatures , Psychology

RVK:

CP 4000

RVK:

ES 900

RVK:

ES 930

RVK:

ES 940

RVK:

ST 285

Keywords: Linguistik ; Informationsverarbeitung ; Informationsverarbeitung ; Künstliche Intelligenz ; Sprache ; Kybernetik ; Informationsverarbeitung ; Künstliche Intelligenz ; Aufsatzsammlung

URL: Inhaltsverzeichnis

Author information: Schank, Roger C. 1946-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

TU Berlin

MPI Bildungsforschung

Online Resource

Readings on cognitive ergonomics - mind and computers : proceedings of the 2. European conference Gmunden, Austria, Sept. 10 - 14, 1984 (1984)

Veer, G. C. van der [Sonstige] 1940- ; European Conference on Cognitive Ergonomics - Mind and Computers 2 1984 Gmunden

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035987928

Format: 1 Online-Ressource (269 S. , Ill.)

ISBN: 3540133941 , 0387133941

Series Statement: Lecture notes in computer science 178

Language: English

Subjects: Computer Science , Psychology

RVK:

CM 5000

RVK:

CW 3000

RVK:

SS 4800

Keywords: Ergonomie ; Kognitive Psychologie ; Datenverarbeitung ; Ergonomie ; Kognition ; Mensch-Maschine-Kommunikation ; Konferenzschrift

DOI: 10.1007/3-540-13394-1

URL: Volltext

Author information: Veer, G. C. van der 1940-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Edinburgh LCF : a mechanised logic of computation (1979)

Gordon, Michael J. C. [Verfasser] 1948- ; Milner, Arthur [Verfasser] ; Wadsworth, Christopher P. [Verfasser]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036033996

Format: 1 Online-Ressource (VIII, 159 S.)

ISBN: 3540097244 , 0387097244

Series Statement: Lecture notes in computer science 78

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

Keywords: Lambda-Kalkül ; LISP ; Berechenbarkeit ; Programmverifikation

DOI: 10.1007/3-540-09724-4

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Human factors in computer systems / (1984)

Thomas, John C.

Norwood, NJ :Ablex Publ. Corp.,

add to watchlist on the watchlist

Details

UID:

almafu_BV000307600

Format: XVI, 276 S.

ISBN: 0-89391-146-1

Series Statement: Human/computer interaction

Language: English

Subjects: Computer Science , Comparative Studies. Non-European Languages/Literatures , Psychology

RVK:

CW 3000

RVK:

CW 4000

RVK:

ES 900

RVK:

ST 110

RVK:

ST 278

Keywords: Computer ; Psychologie ; Mensch-Maschine-Kommunikation ; Mensch-Maschine-System ; Computer ; Software ; Benutzerfreundlichkeit ; Aufsatzsammlung ; Konferenzschrift ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FU Berlin

TU Berlin

MPI Bildungsforschung

Online Resource

Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3 - 8, 1980 (1982)

Messina, Paul C. [Sonstige] ; International Seminar on Problems and Methodologies in Mathematical Software Production 1980 Sorrent

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036029900

Format: 1 Online-Ressource (271 S. , graph. Darst.)

ISBN: 3540116036 , 0387116036

Series Statement: Lecture notes in computer science 142

Language: English

Subjects: Computer Science

RVK:

SS 1980

RVK:

SS 4800

Keywords: Mathematik ; Software ; Entwicklung ; Konferenzschrift

DOI: 10.1007/3-540-11603-6

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Lambda-calculus and computer science theory : proceedings of the symposium held in Rome, March 25 - 27, 1975 (1975)

Böhm, Corrado [Sonstige] 1923-2017 ; Istituto per le Applicazioni del Calcolo Mauro Picone 〈Rom〉

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036039570

Format: 1 Online-Ressource (XII, 370 S.)

ISBN: 3540074163 , 0387074163

Series Statement: Lecture notes in computer science 37

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

Keywords: Programmiersprache ; Kombinatorische Logik ; Datenverarbeitung ; Lambda-Kalkül ; Logik ; Lambda-Kalkül ; Metamathematik ; Konferenzschrift

DOI: 10.1007/BFb0029515

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Logics of programs : workshop, Yorktown Heights, N. Y., May 1981 (1982)

Kozen, Dexter [Sonstige] 1951- ; Logics of Programs Workshop 1981 Yorktown Heights, NY

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036033277

Format: 1 Online-Ressource (VI, 429 S. , graph. Darst.)

ISBN: 354011212X , 038711212X

Series Statement: Lecture notes in computer science 131

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmierlogik ; Programmierung ; Logik ; Konferenzschrift

DOI: 10.1007/BFb0025769

URL: Volltext

Author information: Kozen, Dexter 1951-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

hits 1 - 10 | 18 hits

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

Kooperativer Bibliotheksverbund

Berlin Brandenburg