UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 28

Sortiert nach

Abstrakte Automaten

Starke, Peter H

1969

Signatur: TVH1070

Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze

Beckmann, Dirk

2001

Signatur: D13140

Automata, languages, and machines. A / Samuel Eilenberg

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

1974

Signatur: TVH1567-A

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

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

1976

Signatur: TVH1567-B

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

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

Signatur: TVH1012-3

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

Berrendorf, Rudolf

1998

Signatur: DQ2232

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

Distributed bucket processing : a paradigm for parallel image processing

ASCI dissertation series : 68 (Alle Bände)

Olk, Jacobus George Eduard

2001

Signatur: TVV17247

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

Hug, Karlheinz

1988

Signatur: D2196

Formal development of programs and proofs

The UT year of programming series

Dijkstra, Edsger W[Herausgeber]

1990

Signatur: TVH2131

Formale Semantik von Konnektoren

Stern, Detlef

1999

Signatur: D12554

Lectures on quantum information

Physics textbook

Bruß, Dagmar

2007

Signatur: UHE2523

Lernende Automaten : Bericht über die Fachtagung der Nachrichtentechnischen Gesellschaft im VDE (NTG), Fachausschuß 6 "Informationsverarbeitung" in Karlsruhe am 13. und 14. April 1961

Beihefte zur Zeitschrift "Elektronische Rechenanlagen" : 3 (Alle Bände)

Billing, Heinz[Herausgeber]

1961

Signatur: TVH1923

Mehrdimensionale Fast-Rule-Filterautomaten

Kemper, Andreas

1995

Signatur: P876, TVH2393

Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen für Parallelrechner mit verteiltem Speicher

Lemke, Max

1993

Signatur: DQ1823

Optimierung digitaler Schaltungen durch Partitionierung und Resynthese

Berichte aus der Informatik

Eikerling, Heinz-Josef

Als Ms. gedr, 1997

Signatur: TVE3820, P1044

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

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

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

Lind, Jon Arthur

1999

Signatur: DQ2231

SWITCHING MACHINES. 1. COMBINATIONAL SYSTEMS. INTRODUCTION TO SEQUENTIAL SYSTEMS

SWITCHING MACHINES (Alle Bände)

Signatur: TVH1787-1

SWITCHING MACHINES. 2. SEQUENTIAL SYSTEMS.S

SWITCHING MACHINES (Alle Bände)

Signatur: TVH1787-2

A temporal logic for the specification and verification of distributed behaviour

Niebert, Peter

1998

Signatur: DQ2252

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

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

Altenbernd, Peter

1996

Signatur: P925, TWT4747

1 – 25 von 28

Suche als RSS-Feed

Aktive Filter

Art des InhaltsSonstiges

SchlagwortBiologie

SchlagwortKünstliche Intelligenz

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(26)
Nicht angegeben
(2)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(28)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(13)
Englisch
(11)

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

Abstrakte Automaten

Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze

Automata, languages, and machines. A / Samuel Eilenberg

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

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 : 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

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

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

Distributed bucket processing : a paradigm for parallel image processing

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

Formal development of programs and proofs

Formale Semantik von Konnektoren

Lectures on quantum information

Lernende Automaten : Bericht über die Fachtagung der Nachrichtentechnischen Gesellschaft im VDE (NTG), Fachausschuß 6 "Informationsverarbeitung" in Karlsruhe am 13. und 14. April 1961

Mehrdimensionale Fast-Rule-Filterautomaten

Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen für Parallelrechner mit verteiltem Speicher

Optimierung digitaler Schaltungen durch Partitionierung und Resynthese

Parsing theory. 1. Languages and parsing

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

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

SWITCHING MACHINES. 1. COMBINATIONAL SYSTEMS. INTRODUCTION TO SEQUENTIAL SYSTEMS

SWITCHING MACHINES. 2. SEQUENTIAL SYSTEMS.S

A temporal logic for the specification and verification of distributed behaviour

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

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

Aktive Filter

Suchergebnisse filtern