UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 269

Sortiert nach

Algorithms illuminated

Roughgarden, Tim

Omnibus edition, 2022

Signatur: TVM4790

Declarative logic programming : theory, systems, and applications

ACM books : 20 (Alle Bände)

First edition, [2018]

Signatur: TVM4780

Selfish network creation : on variants of network creation games

Verlagsschriftenreihe des Heinz Nixdorf Instituts : 353 (Alle Bände)

[2016]

Signatur: TVM4764

Type theory and formal proof : an introduction

2014

Signatur: TVM4748

Nominal sets : names and symmetry in computer science

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

Pitts, Andrew M

2013

Signatur: TVM4756

The golden ticket : P, NP, and the search for the impossible

Fortnow, Lance

2013

Signatur: TVM4730

Algorithms for dynamic geometric data streams

HNI-Verlagsschriftenreihe : 290 (Alle Bände)

Frahling, Gereon

2011

Signatur: TVM4714

Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division

HNI-Verlagsschriftenreihe : 261 (Alle Bände)

Lürwer-Brüggemeier, Katharina

2011

Signatur: TVM4691

Transitions and trees : an introduction to structural operational semantics

Hüttel, Hans

2010

Signatur: TVM4683

P, NP, and NP-completeness : the basics of computational complexity

Goldreich, Oded

2010

Signatur: TVM4772

Algorithmen und Datenstrukturen : eine Einführung mit Java

4., überarb. Aufl, 2010

Signatur: TVH2589(4)

Algorithmic adventures : from knowledge to magic

Hromkovič, Juraj

2009

Signatur: TVM4659

Principles of model checking

2008

Signatur: TVM4594

Principles of model checking

2008

Signatur: TVM4594

Hypercomputation : computing beyond the Church-Turing barrier

Syropoulos, Apostolos

2008

Signatur: TVM4633

Computational complexity : a conceptual perspective

Goldreich, Oded

2008

Signatur: TVM4625

Algorithmen kompakt und verständlich : Lösungsstrategien am Computer

Studium

Rimscha, Markus <<von>>

1. Aufl, 2008

Signatur: TVI4405

Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen [Elektronische Ressource]

Marquardt, Oliver

2007

Link zum Volltext
Volltext

Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen

Marquardt, Oliver

2007

Signatur: PQ403

Evolutionäre Algorithmen

Leitfäden der Informatik, Lehrbuch : Informatik

Weicker, Karsten

2., überarb. und erw. Aufl, 2007

Signatur: TVI4049(2)

Modelling and estimation strategies for fault diagnosis of non-linear systems : from analytical to soft computing approaches

Lecture notes in control and information sciences : 354 (Alle Bände)

Witczak, Marcin

2007

Signatur: TVX3608

Selfish routing in networks [Elektronische Ressource]

Gairing, Martin

2006

Link zum Volltext
Volltext

Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]

Grothklags, Sven

2006

Link zum Volltext
Volltext

Algorithms for dynamic geometric data streams [Elektronische Ressource]

Frahling, Gereon

[2006]

Link zum Volltext
Volltext

Selfish routing in networks

Gairing, Martin

2006

Signatur: PQ334

1 – 25 von 269

Suche als RSS-Feed

Aktive Filter

SchlagwortProgrammiersprache

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(269)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TVM
(269)
TVI
(43)
TVU
(16)
TTQ
(5)
TVH
(5)
TWP
(5)
TWZ
(5)
TWT
(4)
TVB
(3)
YCB
(3)
QBB
(2)
TMV
(2)
TVE
(2)
TVP
(2)
TWQ
(2)
YCA
(2)
PZY
(1)
STS
(1)
TCL
(1)
TDB
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Algorithms illuminated

Declarative logic programming : theory, systems, and applications

Selfish network creation : on variants of network creation games

Type theory and formal proof : an introduction

Nominal sets : names and symmetry in computer science

The golden ticket : P, NP, and the search for the impossible

Algorithms for dynamic geometric data streams

Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division

Transitions and trees : an introduction to structural operational semantics

P, NP, and NP-completeness : the basics of computational complexity

Algorithmen und Datenstrukturen : eine Einführung mit Java

Algorithmic adventures : from knowledge to magic

Principles of model checking

Principles of model checking

Hypercomputation : computing beyond the Church-Turing barrier

Computational complexity : a conceptual perspective

Algorithmen kompakt und verständlich : Lösungsstrategien am Computer

Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen [Elektronische Ressource]

Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen

Evolutionäre Algorithmen

Modelling and estimation strategies for fault diagnosis of non-linear systems : from analytical to soft computing approaches

Selfish routing in networks [Elektronische Ressource]

Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]

Algorithms for dynamic geometric data streams [Elektronische Ressource]

Selfish routing in networks

Aktive Filter

Suchergebnisse filtern