Katalog der Deutschen Nationalbibliothek

Go to:

Catalogue (Beta)

Knowledge Web

Organization
Organization

Organization

Institut für Informatik (Karlsruhe)

Karlsruhe

Name

Institut für Informatik (Karlsruhe)

Time

1969-1971 (Bestehen)

Place

Karlsruhe
Deutschland

Variant

Universität Karlsruhe. Institut für Informatik
Institut für Informatik (Computer Science) (Karlsruhe)
Universität Karlsruhe. Institut für Informatik (Computer Science)

Successor

Universität Karlsruhe (TH). Fakultät für Informatik

Hierarchical superior

Universität Karlsruhe (TH)

Record type

Organization

GND-Identifier

500208-4

Record ID

005002087

Involved in

show all

A unified approach to the generation and the acception of formal languages

Simulation-universal automata

REUF : e. System zum Edieren u. Formatieren von Ms.

Simulation of a simple stored-program computer with stack, index and indirect addressable instructions

Statistische Angaben zum aktuellen Stand der Prozessdatenverarbeitung in der BRD : (e. Befragung, ihre Ergebnisse u. Folgerungen bezügl. Wirtschaftlichkeitsanalysen beim PVD-Einsatz)

T-unification

Pt. 1. Unification of commutative terms

Design and simulation of switching circuits using the computer design language CDL : paper presented at the Workshop on Hardware Description Languages Darmstadt, 31. 07. - 01. 08. 1974

Zur Verwendung der Computer Design Language CDL auf der Anlage B 6700 [sechstausendsiebenhundert] in Karlsruhe

Automatic synthesis of minimal algorithms from samples of their behavior

Automatic synthesis of minimal algorithms from samples of their behavior

Der verschiebliche Code : UNIVAC 1108

Informatik und Gesellschaft: Ausbildung und Berufsbild : Ergebnisse e. Proseminars

Interner Bericht / Universität Karlsruhe, Fakultät für Informatik

Systembeschreibung des IBIS (Informatik-Bibliothek-Informationssystem)

TRAC : e. Symbolmanipulationssprache

Antwortanalyseverfahren fuer LIDIA-KA

Ein Compiler für Floyd-Evans Production-Language

Jahresbericht ... des Instituts für Informatik, Universität Karlsruhe (TH)

1971

Kostenfunktionen für Boole'sche Ausdrücke

Über ein Verfahren zur iterativen Verbesserung von Eigenvektor- und Eigenwertschranken

Zeichnen von Baeumen mit Rekursion

Zum Entwurf eines flexiblen und portablen Software-Systems fuer rechnergestuetzten Unterricht

Jahresbericht ... des Instituts für Informatik, Universität Karlsruhe (TH)

1970.

Jahresbericht ... des Instituts für Informatik, Universität Karlsruhe (TH)
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal