UB Paderborn / Katalog / Suche / im Katalog

26 – 50 von 158

Sortiert nach

Logic programming : proceedings of the 1991 International Symposium ; [papers presented at the 1991 International Symposium on Logic Programming, held in San Diego, USA, from Oct. 28 to Nov. 1, 1991

Logic programming

Saraswat, Vijay

1991

Signatur: TVM2843

Property testing and geometry [Elektronische Ressource]

Sohler, Christian

2002

Link zum Volltext
Volltext

Algorithms and data structures : design, correctness, analysis

International computer science series

Kingston, Jeffrey H

2. ed., repr, 1998

Signatur: TWX1163(2)

Intercalation theorems for pushdown store and stack languages

Ogden, William F

1979

Signatur: TVM1619

Parallel logic programming

Logic programming

Tick, Evan

1991

Signatur: TVM2908

String searching algorithms

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

Stephen, Graham A

1994

Signatur: TVI3132

A theory of programming language semantics

Signatur: TVM1449-...

Handbook of formal languages. 3. Beyond words

Handbook of formal languages (Alle Bände)

Rozenberg, Grzegorz[Herausgeber]

1997

Signatur: TVM3920-3

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

Handbook of formal languages (Alle Bände)

Rozenberg, Grzegorz[Herausgeber]

1997

Signatur: TVM3920-2

Algebraic coding theory

Berlekamp, Elwyn R

Rev. ed. [= 2. ed.], 1984

Signatur: TVM1318

Efficient collision detection for point and polygon based models [Elektronische Ressource]

Klein, Jan

2005

Link zum Volltext
Volltext

A practical introduction to denotational semantics

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

Allison, Lloyd

1986

Signatur: TVM1978

An introduction to formal language theory

Texts and monographs in computer science : The AKM series in theoretical computer science

1988

Signatur: TVM2259

Constraint logic programming : selected research

Logic programming

Benhamou, Frédéric[Herausgeber]

1993

Signatur: TVM3108

Constraint satisfaction in logic programming

Logic programming

Van Hentenryck, Pascal

1989

Signatur: TVM2615

Types in logic programming

Logic programming

Pfenning, Frank[Herausgeber]

1992

Signatur: TVM2924

Programming with constraints : an introduction

1998

An introduction to Kolmogorov complexity and its applications

Texts and monographs in computer science

1993

Signatur: TVI2712

A theory of heuristic information in game-tree search

Symbolic computation : Artificial intelligence

Tzeng, Chun-Hung

1988

Signatur: TVM2241

Programming with constraints : an introduction

Repr, 1999

Signatur: TVM4510

Computational complexity of sequential and parallel algorithms

Wiley series in computing, A Wiley-Interscience publication

Kronsjö, Lydia

1985

Signatur: TVM2005

Time and logic : a computational approach

Bolc, Leonard[Herausgeber]

1995

Signatur: TVM3603

Learning kernel classifiers : theory and algorithms

Adaptive computation and machine learning

Herbrich, Ralf

2002

Signatur: TVU8239

Using Z : specification, refinement, and proof

Prentice Hall international series in computer science

[Repr.], Digital printing, 2004

Signatur: TXU10849

Advances in logic programming theory

International schools for computer scientists, Oxford science publications

Levi, Giorgio[Herausgeber]

1994

Signatur: TVM3328

26 – 50 von 158

Suche als RSS-Feed

Aktive Filter

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(158)

Schlagwort

Komplexitätstheorie
(18)
Algorithmus
(17)
Berechnungskomplexität
(11)
Logische Programmierung
(11)
Programmiersprache
(9)
Codierungstheorie
(6)
Semantik
(6)
Constraint-logische Programmierung
(5)
Approximationsalgorithmus
(4)
Formale Sprache
(4)
Randomisierter Algorithmus
(4)
Algebraische Codierung
(3)
Codierung
(3)
Datenstruktur
(3)
Diskrete Mathematik
(3)
Entscheidung bei mehrfacher Zielsetzung
(3)
Heuristik
(3)
Informationstheorie
(3)
Kombinatorische Optimierung
(3)
Komplexität
(3)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(1)

Systemstelle

TVM
(158)
TVI
(22)
TVU
(9)
TTQ
(4)
TWZ
(4)
TVB
(3)
TWP
(3)
YCB
(3)
TVP
(2)
TWQ
(2)
TWT
(2)
STS
(1)
TCL
(1)
TKM
(1)
TVE
(1)
TVV
(1)
TVX
(1)
TVY
(1)
TWX
(1)
TXU
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Logic programming : proceedings of the 1991 International Symposium ; [papers presented at the 1991 International Symposium on Logic Programming, held in San Diego, USA, from Oct. 28 to Nov. 1, 1991

Property testing and geometry [Elektronische Ressource]

Algorithms and data structures : design, correctness, analysis

Intercalation theorems for pushdown store and stack languages

Parallel logic programming

String searching algorithms

A theory of programming language semantics

Handbook of formal languages. 3. Beyond words

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

Algebraic coding theory

Efficient collision detection for point and polygon based models [Elektronische Ressource]

A practical introduction to denotational semantics

An introduction to formal language theory

Constraint logic programming : selected research

Constraint satisfaction in logic programming

Types in logic programming

Programming with constraints : an introduction

An introduction to Kolmogorov complexity and its applications

A theory of heuristic information in game-tree search

Programming with constraints : an introduction

Computational complexity of sequential and parallel algorithms

Time and logic : a computational approach

Learning kernel classifiers : theory and algorithms

Using Z : specification, refinement, and proof

Advances in logic programming theory

Aktive Filter

Suchergebnisse filtern