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
Algorithm design
Pearson internat. ed, 2006
Signatur: TVM4552
    Datensatz exportieren als...
  • BibTeX
Algorithmic adventures : from knowledge to magic
2009
Signatur: TVM4659
    Datensatz exportieren als...
  • BibTeX
Computational complexity
Reprint. with corr, 1995
Signatur: TVM3344
    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
Computational complexity : a conceptual perspective
2008
Signatur: TVM4625
    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
1 – 25 von 280
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen