Detail page

Knowledge Web

Organisation

Technische Universität Berlin. Fachbereich Informatik

Berlin

Name	Technische Universität Berlin. Fachbereich Informatik
Place	Berlin Deutschland
Variant	Technische Universität Berlin. Fachbereich 20 (Fachbereich Informatik) (SS 1993) Technische Universität Berlin. Fachbereich 13 (Fachbereich Informatik) (WS 1993 -) Technische Universität Berlin. Computer Science Department Technische Universität Berlin. FB 13
Predecessor	Technische Universität Berlin. Fachbereich Kybernetik
Successor	Technische Universität Berlin. Fakultät Elektrotechnik und Informatik
Hierarchical superior	Technische Universität Berlin
Further information	Zählung des Fachbereichs hat gewechselt
Record type	Organisation
GND-Identifier	5031143-8
Record ID	050311433
Involved in show all Jahresbericht / Technische Universität Berlin, Fachbereich Informatik Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik : Bericht ... ACT one: an algebraic specification language with two levels of semantics Algebraic concepts applied to software development using parameterized specifications with requirements Algebraische Grundlagen von Syntax und Semantik abstrakter Datentypen Auswertungsalgorithmen für attributierte Grammatiken BPP and the polynomial hierarchy Bus-Arbitration in Mikroprozessorsystemen Compiler generation : from compiler descriptions to efficient compilers Concurrent transformations of structures: from graphs to relational data structures Entwicklung geeigneter Kriterien zur Untersuchung der Benutzerfreundlichkeit bildschirmorientierter Editoren und ihre Anwendung auf bestehende Systeme Interruptsysteme in der Mikroprozessortechnik Methoden der statistischen Preisanalyse Preemptive scheduling on identical processors with time dependent availabilities Some new results in no-wait flow shop scheduling Algebraic constraints for specifications and canonical form results Flowshop scheduling with no wait in process on three machines Kleine Systeme Konzepte zur Messung von Ähnlichkeiten und Parallelitäten zwischen kategorialen Zeitreihen LISP : e. funktionaler Kern On two computational models for probabilistic algorithms Some examples of algebraic specifications and implementations Pt. 4. Parameterized specifications of strings, binary trees and 2x2-matrices with correctness proofs An efficient extension of strong LL(k) parsing Anwendung der Theorie von Graphgrammatiken auf die Spezifikation der Prozesssteuerung von Eisenbahnsystemen Bus routing problems on acyclic networks Informatik in der Sekundarstufe II [zwei] an Berliner Gymnasien : Ergebnisse e. Unters. Language-world systems : a communication model (and its use for dialogue systems) Programmablauf zur Berechnung von nachfrageorientierten Netzen des öffentlichen Personennahverkehrs auf der Grundlage eines Planungsinformationssystems 10 Jahre Fachbereich 20 / [Technische Universität Berlin] 10 Jahre Fachbereich 20 / Technische Universität Berlin, Fachbereich 20 A bird's eye view to path problems A UCSD PASCAL extension for interactive computer graphics Algebraic complexity of path problems Algebraic implementation of abstract data types Architecture of interactive software Complexity of algebraic implementations for abstract data types Compound algebraic implementations : an approach to stepwise refinement of software systems Concurrency in Graph-Grammatiken Hardwareunterstützung für die Wiedergewinnung von Informationen in tabellenartig organisierten Datenbeständen Hardwareunterstützung für relationale Datenbanken mit sortierten Tabellen Solvability and complexity of algebraic implementation problems Some papers on firmware specification and design Syntax, Semantik und Korrektheit eines algebraischen Spezifikationsschemas für ein Stücklisten-Datenbanksystem TAKO, ein Programmsystem zur Leitungswegkontrolle im Tankfeld der NWO : im Rahmen d. Transportseminars am Inst. für Angewandte Informatik (Fachgebiet Angewandte EDV) d. Techn. Univ. Berlin 1980 Valuating transformations and inferences A method for structured data type specification Algebraic implementation of abstract data types : concept, syntax, semantics and correctness Algebraische Implementierung abstrakter Datentypen Algebraische Komplexität des allgemeinen Wegeproblems in Graphen Automatic determination of data flow in extended affix grammars Bericht des Arbeitskreises Medizinische Informatik an der Technischen Universität Berlin Nr. 4. Commutativity, parallelism and concurrency for transformations of structures Ein Anwendungssystem zur Erstellung eines Stauplanes für Containerschiffe Locality swapping in a segmented virtual memory Proving the correctness of implementations by exclusive use of term algebras Relating graphisomorphism and clique problems Scaling techniques for minimal cost network flows : prepared for the Workshop WG 79 Graphentheoret. Konzepte d. Informatik, June 21 - 23, 1979, Berlin SPEZI, eine Sprache zur Formulierung von Spezifikationen Vorschlag einer Firmware-engineering-Disziplin : FELCAMP-Projekt Anwendungen der algebraischen Theorie von Graph-Grammatiken auf Konsistenz und Synchronisation in Datenbanksystemen

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:

Katalog der Deutschen Nationalbibliothek

Technische Universität Berlin. Fachbereich Informatik

Jahresbericht / Technische Universität Berlin, Fachbereich Informatik

Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik : Bericht ...

ACT one: an algebraic specification language with two levels of semantics

Algebraic concepts applied to software development using parameterized specifications with requirements

Algebraische Grundlagen von Syntax und Semantik abstrakter Datentypen

Auswertungsalgorithmen für attributierte Grammatiken

BPP and the polynomial hierarchy

Bus-Arbitration in Mikroprozessorsystemen

Compiler generation : from compiler descriptions to efficient compilers

Concurrent transformations of structures: from graphs to relational data structures

Entwicklung geeigneter Kriterien zur Untersuchung der Benutzerfreundlichkeit bildschirmorientierter Editoren und ihre Anwendung auf bestehende Systeme

Interruptsysteme in der Mikroprozessortechnik

Methoden der statistischen Preisanalyse

Preemptive scheduling on identical processors with time dependent availabilities

Some new results in no-wait flow shop scheduling

Algebraic constraints for specifications and canonical form results

Flowshop scheduling with no wait in process on three machines

Kleine Systeme

Konzepte zur Messung von Ähnlichkeiten und Parallelitäten zwischen kategorialen Zeitreihen

LISP : e. funktionaler Kern

On two computational models for probabilistic algorithms

Some examples of algebraic specifications and implementations

An efficient extension of strong LL(k) parsing

Anwendung der Theorie von Graphgrammatiken auf die Spezifikation der Prozesssteuerung von Eisenbahnsystemen

Bus routing problems on acyclic networks

Informatik in der Sekundarstufe II [zwei] an Berliner Gymnasien : Ergebnisse e. Unters.

Language-world systems : a communication model (and its use for dialogue systems)

Programmablauf zur Berechnung von nachfrageorientierten Netzen des öffentlichen Personennahverkehrs auf der Grundlage eines Planungsinformationssystems

10 Jahre Fachbereich 20 / [Technische Universität Berlin]

10 Jahre Fachbereich 20 / Technische Universität Berlin, Fachbereich 20

A bird's eye view to path problems

A UCSD PASCAL extension for interactive computer graphics

Algebraic complexity of path problems

Algebraic implementation of abstract data types

Architecture of interactive software

Complexity of algebraic implementations for abstract data types

Compound algebraic implementations : an approach to stepwise refinement of software systems

Concurrency in Graph-Grammatiken

Hardwareunterstützung für die Wiedergewinnung von Informationen in tabellenartig organisierten Datenbeständen

Hardwareunterstützung für relationale Datenbanken mit sortierten Tabellen

Solvability and complexity of algebraic implementation problems

Some papers on firmware specification and design

Syntax, Semantik und Korrektheit eines algebraischen Spezifikationsschemas für ein Stücklisten-Datenbanksystem

TAKO, ein Programmsystem zur Leitungswegkontrolle im Tankfeld der NWO : im Rahmen d. Transportseminars am Inst. für Angewandte Informatik (Fachgebiet Angewandte EDV) d. Techn. Univ. Berlin 1980

Valuating transformations and inferences

A method for structured data type specification

Algebraic implementation of abstract data types : concept, syntax, semantics and correctness

Algebraische Implementierung abstrakter Datentypen

Algebraische Komplexität des allgemeinen Wegeproblems in Graphen

Automatic determination of data flow in extended affix grammars

Bericht des Arbeitskreises Medizinische Informatik an der Technischen Universität Berlin

Commutativity, parallelism and concurrency for transformations of structures

Ein Anwendungssystem zur Erstellung eines Stauplanes für Containerschiffe

Locality swapping in a segmented virtual memory

Proving the correctness of implementations by exclusive use of term algebras

Relating graphisomorphism and clique problems

Scaling techniques for minimal cost network flows : prepared for the Workshop WG 79 Graphentheoret. Konzepte d. Informatik, June 21 - 23, 1979, Berlin

SPEZI, eine Sprache zur Formulierung von Spezifikationen

Vorschlag einer Firmware-engineering-Disziplin : FELCAMP-Projekt

Anwendungen der algebraischen Theorie von Graph-Grammatiken auf Konsistenz und Synchronisation in Datenbanksystemen