UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 202

Sortiert nach

Multi-objective programming and goal programming : theories and applications

Lecture notes in economics and mathematical systems : 432 (Alle Bände)

Tamiz, Mehrdad[Herausgeber]

1996

Signatur: TVM3700

Computation as logic

Prentice-Hall international series in computer science

Lalement, René

1. [Dr.], 1993

Signatur: TVM3310

Introduction to the theory of complexity

Prentice Hall international series in computer science

1994

Signatur: TVM3116

State-space search : algorithms, complexity, extensions, and applications

Zhang, Weixiong

1999

Signatur: TVM4439

Circuit complexity and neural networks

Foundations of computing

Parberry, Ian

1994

Signatur: TVM3611

Algorithms illuminated

Roughgarden, Tim

Omnibus edition, 2022

Signatur: TVM4790

Parameterized complexity

Monographs in computer science

1999

Signatur: TVM4235

Action semantics

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

Mosses, Peter D

1992

Signatur: TVM2827

Handbook of graph grammars and computing by graph transformation

Rozenberg, Grzegorz[Herausgeber]

1997-

Signatur: TVM4081-...

Multiprocessor execution of logic programs

Gupta, Gopal

1994

Signatur: TVM3459

Programming with Threads

A Prentice Hall title

1996

Signatur: TVM3687

Semantics with applications : a formal introduction

Wiley professional computing

1992

Signatur: TVM2754

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution

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

Carpenter, Bob

1992

Signatur: TVM3085

Parallel complexity theory

Research notes in theoretical computer science

Parberry, Ian

1987

Signatur: TVM2209

Algorithms from P to NP. 1. Design & efficiency

Algorithms from P to NP (Alle Bände)

1991

Signatur: TVM2916-1

Evolutionary algorithms in engineering and computer science : recent advances in genetic algorithms, evolution strategies, evolutionary programming, genetic programming and industrial applications

Miettinen, Kaisa[Herausgeber]

1999

Signatur: TVP1656

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)

Finite automata, formal logic, and circuit complexity

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

Straubing, Howard

1994

Signatur: TVM3417

Intercalation theorems for pushdown store and stack languages

Ogden, William F

1979

Signatur: TVM1619

Parallel logic programming

Logic programming

Tick, Evan

1991

Signatur: TVM2908

Attributierte Grammatiken und Attributierungsalgorithmen

Informatik-Fachberichte : 157 (Alle Bände)

Mahn, Ulrich

1988

Signatur: TVM2071

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

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

Multi-objective programming and goal programming : theories and applications

Computation as logic

Introduction to the theory of complexity

State-space search : algorithms, complexity, extensions, and applications

Circuit complexity and neural networks

Algorithms illuminated

Parameterized complexity

Action semantics

Handbook of graph grammars and computing by graph transformation

Multiprocessor execution of logic programs

Programming with Threads

Semantics with applications : a formal introduction

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution

Parallel complexity theory

Algorithms from P to NP. 1. Design & efficiency

Evolutionary algorithms in engineering and computer science : recent advances in genetic algorithms, evolution strategies, evolutionary programming, genetic programming and industrial applications

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

Finite automata, formal logic, and circuit complexity

Intercalation theorems for pushdown store and stack languages

Parallel logic programming

Attributierte Grammatiken und Attributierungsalgorithmen

String searching algorithms

A theory of programming language semantics

Aktive Filter

Suchergebnisse filtern