UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 202

Sortiert nach

Algorithms from P to NP. 1. Design & efficiency

Algorithms from P to NP (Alle Bände)

1991

Signatur: TVM2916-1

The temporal logic of reactive and concurrent systems. 1. Specification

The temporal logic of reactive and concurrent systems (Alle Bände)

1992

Signatur: TVM4502-1

Handbook of graph grammars and computing by graph transformation. 1. Foundations

Handbook of graph grammars and computing by graph transformation (Alle Bände)

Rozenberg, Grzegorz[Herausgeber]

1997

Signatur: TVM4081-1

Handbook of formal languages. 1. Word, language, grammar

Handbook of formal languages (Alle Bände)

Rozenberg, Grzegorz[Herausgeber]

1997

Signatur: TVM3920-1

Structural complexity. 1

Structural complexity (Alle Bände), Texts in theoretical computer science

2., rev. ed, 1995

Signatur: TVM2110(2)-1

Data streams : algorithms and applications

Foundations and trends in theoretical computer science : 1,2 (Alle Bände)

Muthukrishnan, S. Muthu

c2005

Signatur: TVB4599

Handbook of formal languages. 2. Linear modeling : background and application

Handbook of formal languages (Alle Bände)

Rozenberg, Grzegorz[Herausgeber]

1997

Signatur: TVM3920-2

Structural complexity. 2

Structural complexity (Alle Bände), EATCS monographs on theoretical computer science : 22 (Alle Bände)

1990

Signatur: TVM2110-2

Algorithms in ambient intelligence

Philips research book series : 2 (Alle Bände)

Verhaegh, Wim[Herausgeber]

2004

Signatur: TVU8598

Handbook of graph grammars and computing by graph transformation. 2. Applications, languages and tools

Handbook of graph grammars and computing by graph transformation (Alle Bände)

Rozenberg, Grzegorz[Herausgeber]

1999

Signatur: TVM4081-2

String searching algorithms

Lecture notes series on computing : 3 (Alle Bände)

Stephen, Graham A

1994

Signatur: TVI3132

Handbook of formal languages. 3. Beyond words

Handbook of formal languages (Alle Bände)

Rozenberg, Grzegorz[Herausgeber]

1997

Signatur: TVM3920-3

A distributed implementation of flat concurrent prolog on message passing multiprocessor systems

Teubner-Texte zur Informatik : 3 (Alle Bände)

Glässer, Uwe

1993

Signatur: TVM3035, P681

Programming in Martin-Löf's type theory : an introduction

The international series of monographs on computer science : 7 (Alle Bände)

1990

Signatur: TVM2479

Grundlagen offener Sprachen

Europäische Hochschulschriften : Reihe 41, Informatik : 9 (Alle Bände)

Brillowski, Claus

1993

Signatur: TVM3069

Computational complexity theory

IAS/Park City mathematics series : 10 (Alle Bände)

Rudich, Steven[Herausgeber]

2004

Signatur: TVM4528

The graph isomorphism problem : its structural complexity

Progress in theoretical computer science : 10 (Alle Bände)

1993

Signatur: TVM3166

Finite automata, formal logic, and circuit complexity

Progress in theoretical computer science : 11 (Alle Bände)

Straubing, Howard

1994

Signatur: TVM3417

Logic programming : formal methods and practical applications

Studies in computer science and artificial intelligence : 11 (Alle Bände)

Beierle, Christoph[Herausgeber]

1995

Signatur: TVM3475

Complexité et décidabilité

Mathématiques & applications : 12 (Alle Bände)

Dehornoy, Patrick

1993

Signatur: TVM3213

Declarative logic programming : theory, systems, and applications

ACM books : 20 (Alle Bände)

First edition, [2018]

Signatur: TVM4780

Computational complexity

Mathematics and its applications : (East European series) : 21 (Alle Bände)

1986

Signatur: TVM1902

A practical introduction to denotational semantics

Cambridge computer science texts : 23 (Alle Bände)

Allison, Lloyd

1986

Signatur: TVM1978

Action semantics

Cambridge tracts in theoretical computer science : 26 (Alle Bände)

Mosses, Peter D

1992

Signatur: TVM2827

Syntaxanalyse

Reihe Informatik : 27 (Alle Bände)

Mayer, Otto

3., durchges. Aufl, 1986

Signatur: TVM1635(3)

1 – 25 von 202

Suche als RSS-Feed

Aktive Filter

SpracheDeutsch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(202)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(157)
Französisch
(1)

Systemstelle

TVM
(202)
TVI
(24)
TVU
(11)
TTQ
(5)
TWT
(4)
TWZ
(4)
TVB
(3)
TWP
(3)
YCB
(3)
TVP
(2)
TWQ
(2)
YCA
(2)
STS
(1)
TCL
(1)
TKM
(1)
TVE
(1)
TVH
(1)
TVV
(1)
TVX
(1)
TVY
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Algorithms from P to NP. 1. Design & efficiency

The temporal logic of reactive and concurrent systems. 1. Specification

Handbook of graph grammars and computing by graph transformation. 1. Foundations

Handbook of formal languages. 1. Word, language, grammar

Structural complexity. 1

Data streams : algorithms and applications

Handbook of formal languages. 2. Linear modeling : background and application

Structural complexity. 2

Algorithms in ambient intelligence

Handbook of graph grammars and computing by graph transformation. 2. Applications, languages and tools

String searching algorithms

Handbook of formal languages. 3. Beyond words

A distributed implementation of flat concurrent prolog on message passing multiprocessor systems

Programming in Martin-Löf's type theory : an introduction

Grundlagen offener Sprachen

Computational complexity theory

The graph isomorphism problem : its structural complexity

Finite automata, formal logic, and circuit complexity

Logic programming : formal methods and practical applications

Complexité et décidabilité

Declarative logic programming : theory, systems, and applications

Computational complexity

A practical introduction to denotational semantics

Action semantics

Syntaxanalyse

Aktive Filter

Suchergebnisse filtern