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
Software reliability determination for conventional and logic programming
1994
Signatur: MQ35443, PQ89
    Datensatz exportieren als...
  • BibTeX
Software testing for conventional and logic programming
1995
Signatur: MQ35420, PQ97
    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
P, NP, and NP-completeness : the basics of computational complexity
2010
Signatur: TVM4772
    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
Principles of model checking
2008
Signatur: TVM4594
    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
Online computation and competitive analysis
1. paperback ed, 2005
Signatur: TVM4667
    Datensatz exportieren als...
  • BibTeX
Handbook of formal languages. 2. Linear modeling : background and application
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-2
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine Einführung mit Java
4., überarb. Aufl, 2010
Signatur: TVH2589(4)
    Datensatz exportieren als...
  • BibTeX
Transitions and trees : an introduction to structural operational semantics
2010
Signatur: TVM4683
    Datensatz exportieren als...
  • BibTeX
Parameterized complexity theory
Texts in theoretical computer science
2006
Signatur: TVM4675
    Datensatz exportieren als...
  • BibTeX
Approximation algorithms for NP-hard problems
Computer science
1997
Signatur: TVM3815
    Datensatz exportieren als...
  • BibTeX
Data streams : algorithms and applications
Foundations and trends in theoretical computer science : 1,2 (Alle Bände)
c2005
Signatur: TVB4599
    Datensatz exportieren als...
  • BibTeX
Algorithm design
Pearson internat. ed, 2006
Signatur: TVM4552
    Datensatz exportieren als...
  • BibTeX
Approximation algorithms
Corr. 2. print, 2003
Signatur: TVM4316
    Datensatz exportieren als...
  • BibTeX
The complexity of Boolean functions
Wiley-Teubner series in computer science
1987
Signatur: TVM2013
    Datensatz exportieren als...
  • BibTeX
Hypercomputation : computing beyond the Church-Turing barrier
2008
Signatur: TVM4633
    Datensatz exportieren als...
  • BibTeX
Algorithmen kompakt und verständlich : Lösungsstrategien am Computer
Studium
1. Aufl, 2008
Signatur: TVI4405
    Datensatz exportieren als...
  • BibTeX
Algorithms on trees and graphs
2002
Signatur: TVI4120
1 – 25 von 253
Suche als RSS-Feed
Aktive Filter
SchlagwortKomplexitätstheorie
Suchergebnisse filtern
Filter anzeigen