UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 3. Formale Sprachen : nach einer Vorlesung von G. Hotz im Wintersemester 1966/67 an der Universität des Saarlandes / von Günter Hotz und Volker Claus

Automatentheorie und formale Sprachen (Alle Bände), BI-Hochschulskripten : 823,a (Alle Bände)

1972

Vortragsauszüge, Colloquium über Automatentheorie. 3. Vom 19. bis 22. Oktober 1965 in Hannover

Vortragsauszüge, Colloquium über Automatentheorie (Alle Bände), International series of numerical mathematics : 6 (Alle Bände)

Colloquium über Automatentheorie

1967

Signatur: TVH1648

Distributed bucket processing : a paradigm for parallel image processing

ASCI dissertation series : 68 (Alle Bände)

Olk, Jacobus George Eduard

2001

Signatur: TVV17247

Automata, languages, and machines. A / Samuel Eilenberg

Automata, languages, and machines (Alle Bände)

1974

Signatur: TVH1567-A

Faktensysteme - ein vereinheitlichender Modellierungsformalismus für nebenläufige Systeme

Hug, Karlheinz

1988

Signatur: D2196

Ein wissensbasierter Planungsansatz für Reihenfolgeprobleme in einer Roboterzelle

Ricken, Karl-Albrecht

1993

Signatur: DQ1799

Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 1. Turingmaschinen und rekursive Funktionen : Vorlesung im Wintersem. 1966 an d. Univ. d. Saarlandes in Saarbrücken / von Günter Hotz. Ausgearb. von Hermann Walter

Automatentheorie und formale Sprachen (Alle Bände)

[Dr.] B, c1968

Signatur: TVH1012-1

Parsing theory. 1. Languages and parsing

Parsing theory (Alle Bände), EATCS monographs on theoretical computer science : 15 (Alle Bände)

1988

Signatur: TVH2018-1

Automata, languages, and machines. B / Samuel Eilenberg. With two chapters by Bret Tilson

Automata, languages, and machines (Alle Bände)

1976

Signatur: TVH1567-B

Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze

Beckmann, Dirk

2001

Signatur: D13140

Theory of machines and computations : proceedings of an International Symposium on the Theory of Machines and Computations held at Technion in Haifa, Israel on August 16 - 19, 1971

Kohavi, Zvi[Herausgeber]

1971

Signatur: TVH1452

A temporal logic for the specification and verification of distributed behaviour

Niebert, Peter

1998

Signatur: DQ2252

Realization of the highly integrated distributed real time safety critical system MELODY

Lind, Jon Arthur

1999

Signatur: DQ2231

Formale Semantik von Konnektoren

Stern, Detlef

1999

Signatur: D12554

Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen für Parallelrechner mit verteiltem Speicher

Lemke, Max

1993

Signatur: DQ1823

Abstrakte Automaten

Starke, Peter H

1969

Signatur: TVH1070

Benutzer- und datengesteuertes Schleifen-Scheduling auf Parallelrechnern mit distributed shared memory

Berrendorf, Rudolf

1998

Signatur: DQ2232

Parsing theory. 2. LR(k) and LL(k) parsing

Parsing theory (Alle Bände), EATCS monographs on theoretical computer science : 20 (Alle Bände)

1990

Signatur: TVH2018-2

Verwaltung persistenter Daten in einem verteilten objektbasierten Betriebssystem

Schalm, Marion

1995

Signatur: DQ2058

Optimierung digitaler Schaltungen durch Partitionierung und Resynthese

Berichte aus der Informatik

Eikerling, Heinz-Josef

Als Ms. gedr, 1997

Signatur: TVE3820, P1044

Timing analysis, scheduling, and allocation of periodic hard real-time tasks

Altenbernd, Peter

1996

Signatur: P925, TWT4747

Mehrdimensionale Fast-Rule-Filterautomaten

Kemper, Andreas

1995

Signatur: P876, TVH2393

Lectures on quantum information

Physics textbook

Bruß, Dagmar

2007

Signatur: UHE2523

Formal development of programs and proofs

The UT year of programming series

Dijkstra, Edsger W[Herausgeber]

1990

Signatur: TVH2131

The church rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms

Dissertationen der Johannes-Kepler-Universität Linz : 49 (Alle Bände)

Winkler, Franz

1984

Signatur: TVH1949

1 – 25 von 28

Suche als RSS-Feed

Aktive Filter

Art des InhaltsSonstiges

Art des MediumsNicht angegeben

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(28)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(28)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(14)
Englisch
(12)

Systemstelle

TVH
(28)
TWT
(6)
TWZ
(2)
QBB
(1)
TVE
(1)
TVV
(1)
TVX
(1)
TWQ
(1)
TWR
(1)
UHE
(1)
YFH
(1)

6 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 3. Formale Sprachen : nach einer Vorlesung von G. Hotz im Wintersemester 1966/67 an der Universität des Saarlandes / von Günter Hotz und Volker Claus

Vortragsauszüge, Colloquium über Automatentheorie. 3. Vom 19. bis 22. Oktober 1965 in Hannover

Distributed bucket processing : a paradigm for parallel image processing

Automata, languages, and machines. A / Samuel Eilenberg

Faktensysteme - ein vereinheitlichender Modellierungsformalismus für nebenläufige Systeme

Ein wissensbasierter Planungsansatz für Reihenfolgeprobleme in einer Roboterzelle

Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 1. Turingmaschinen und rekursive Funktionen : Vorlesung im Wintersem. 1966 an d. Univ. d. Saarlandes in Saarbrücken / von Günter Hotz. Ausgearb. von Hermann Walter

Parsing theory. 1. Languages and parsing

Automata, languages, and machines. B / Samuel Eilenberg. With two chapters by Bret Tilson

Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze

Theory of machines and computations : proceedings of an International Symposium on the Theory of Machines and Computations held at Technion in Haifa, Israel on August 16 - 19, 1971

A temporal logic for the specification and verification of distributed behaviour

Realization of the highly integrated distributed real time safety critical system MELODY

Formale Semantik von Konnektoren

Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen für Parallelrechner mit verteiltem Speicher

Abstrakte Automaten

Benutzer- und datengesteuertes Schleifen-Scheduling auf Parallelrechnern mit distributed shared memory

Parsing theory. 2. LR(k) and LL(k) parsing

Verwaltung persistenter Daten in einem verteilten objektbasierten Betriebssystem

Optimierung digitaler Schaltungen durch Partitionierung und Resynthese

Timing analysis, scheduling, and allocation of periodic hard real-time tasks

Mehrdimensionale Fast-Rule-Filterautomaten

Lectures on quantum information

Formal development of programs and proofs

The church rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms

Aktive Filter

Suchergebnisse filtern