Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Algorithms illuminated
Omnibus edition, 2022
Signatur: TVM4790
    Datensatz exportieren als...
  • BibTeX
Declarative logic programming : theory, systems, and applications
ACM books : 20 (Alle Bände)
First edition, [2018]
Signatur: TVM4780
    Datensatz exportieren als...
  • BibTeX
Selfish network creation : on variants of network creation games
Verlagsschriftenreihe des Heinz Nixdorf Instituts : 353 (Alle Bände)
[2016]
Signatur: TVM4764
    Datensatz exportieren als...
  • BibTeX
Type theory and formal proof : an introduction
2014
Signatur: TVM4748
    Datensatz exportieren als...
  • BibTeX
Nominal sets : names and symmetry in computer science
Cambridge tracts in theoretical computer science : 57 (Alle Bände)
2013
Signatur: TVM4756
    Datensatz exportieren als...
  • BibTeX
The golden ticket : P, NP, and the search for the impossible
2013
Signatur: TVM4730
    Datensatz exportieren als...
  • BibTeX
Algorithms for dynamic geometric data streams
HNI-Verlagsschriftenreihe : 290 (Alle Bände)
2011
Signatur: TVM4714
    Datensatz exportieren als...
  • BibTeX
Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division
HNI-Verlagsschriftenreihe : 261 (Alle Bände)
2011
Signatur: TVM4691
    Datensatz exportieren als...
  • BibTeX
Transitions and trees : an introduction to structural operational semantics
2010
Signatur: TVM4683
    Datensatz exportieren als...
  • BibTeX
P, NP, and NP-completeness : the basics of computational complexity
2010
Signatur: TVM4772
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine Einführung mit Java
4., überarb. Aufl, 2010
Signatur: TVH2589(4)
    Datensatz exportieren als...
  • BibTeX
Algorithmic adventures : from knowledge to magic
2009
Signatur: TVM4659
    Datensatz exportieren als...
  • BibTeX
Principles of model checking
2008
Signatur: TVM4594
    Datensatz exportieren als...
  • BibTeX
Computational complexity : a conceptual perspective
2008
Signatur: TVM4625
    Datensatz exportieren als...
  • BibTeX
Hypercomputation : computing beyond the Church-Turing barrier
2008
Signatur: TVM4633
    Datensatz exportieren als...
  • BibTeX
Principles of model checking
2008
Signatur: TVM4594
    Datensatz exportieren als...
  • BibTeX
Algorithmen kompakt und verständlich : Lösungsstrategien am Computer
Studium
1. Aufl, 2008
Signatur: TVI4405
Open Access
    Datensatz exportieren als...
  • BibTeX
Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen
2007
Signatur: PQ403
    Datensatz exportieren als...
  • BibTeX
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)
2007
Signatur: TVX3608
    Datensatz exportieren als...
  • BibTeX
Evolutionäre Algorithmen
Leitfäden der Informatik, Lehrbuch : Informatik
2., überarb. und erw. Aufl, 2007
Signatur: TVI4049(2)
Open Access
    Datensatz exportieren als...
  • BibTeX
Selfish routing in networks [Elektronische Ressource]
2006
Open Access
    Datensatz exportieren als...
  • BibTeX
Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]
2006
Open Access
    Datensatz exportieren als...
  • BibTeX
Algorithms for dynamic geometric data streams [Elektronische Ressource]
[2006]
    Datensatz exportieren als...
  • BibTeX
Approximationsalgorithmen : eine Einführung
Leitfäden der Informatik, Lehrbuch : Informatik
1. Aufl, 2006
Signatur: TVM4560
1 – 25 von 280
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen