UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 198

Sortiert nach

Verification of sequential and concurrent programs

Graduate texts in computer science

2. ed, 1997

Signatur: TVM2568(2)

Logic programming over polymorphically order-sorted types

Smolka, Gert

1989

Signatur: D2127

Selfish routing in networks [Elektronische Ressource]

Gairing, Martin

2006

Link zum Volltext
Volltext

Algorithmic complexity and communication problems

1996

Signatur: TVM3831

Randomness and Complexity

Wang, Yongge

1996

Signatur: DQ2038

Synthesis of parallel algorithms

Reif, John H[Herausgeber]

1. [Dr.], 1993

Signatur: TVM2982

Structural complexity. 2

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

1990

Signatur: TVM2110-2

Algebraic coding theory

McGraw-Hill series in systems science

Berlekamp, Elwyn R

1968

Signatur: TVM1318

Commentary on standard ML

1991

Signatur: TVM2712

Towards structured specifying : theory, practice, applications

Ellis Horwood books in information technology, Ellis Horwood series in software engineering

1989

Signatur: TVM2411

Completeness, confluence, and related properties of clause graph resolution

Eisinger, Norbert

1988

Signatur: D440

Control flow semantics

Foundations of computing

1996

Signatur: TVM4544

Natural language parsing systems

Symbolic computation : artificial intelligence

1987

Signatur: TVM2055

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

1 – 25 von 198

Suche als RSS-Feed

Aktive Filter

SpracheDeutsch

SchlagwortNP-vollständiges Problem

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(198)

Schlagwort

Komplexitätstheorie
(20)
Logische Programmierung
(18)
Algorithmus
(17)
Berechnungskomplexität
(14)
Programmiersprache
(10)
Codierungstheorie
(6)
Constraint-logische Programmierung
(6)
Formale Sprache
(6)
Semantik
(6)
Approximationsalgorithmus
(4)
Diskrete Mathematik
(4)
Funktionale Programmierung
(4)
Komplexität
(4)
Maschinelles Lernen
(4)
Mathematische Logik
(4)
Randomisierter Algorithmus
(4)
Termersetzungssystem
(4)
Algebraische Codierung
(3)
Codierung
(3)
Entscheidung bei mehrfacher Zielsetzung
(3)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(154)
Französisch
(1)

Systemstelle

TVM
(198)
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

Verification of sequential and concurrent programs

Logic programming over polymorphically order-sorted types

Selfish routing in networks [Elektronische Ressource]

Algorithmic complexity and communication problems

Randomness and Complexity

Synthesis of parallel algorithms

Structural complexity. 2

Algebraic coding theory

Commentary on standard ML

Towards structured specifying : theory, practice, applications

Completeness, confluence, and related properties of clause graph resolution

Control flow semantics

Natural language parsing systems

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

Aktive Filter

Suchergebnisse filtern