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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
The Satisfiability problem : algorithms and analyses
Mathematik für Anwendungen : 3 (Alle Bände), Informatik
2013
Signatur: TVI4609
    Datensatz exportieren als...
  • BibTeX
Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996
DIMACS series in discrete mathematics and theoretical computer science : 35 (Alle Bände)
1997
Signatur: TTQ961883
    Datensatz exportieren als...
  • BibTeX
Problems of reducing the exhaustive search
Translations / American Mathematical Society : 2,178 (Alle Bände)
1997
Signatur: 61a24
    Datensatz exportieren als...
  • BibTeX
Cliques, coloring and satisfiability : this DIMACS volume resulting from the second DIMACS Implementation Challenge contains refereed papers presented at the Challenge Workshop held at DIMACS on October 11 - 13, 1993
DIMACS series in discrete mathematics and theoretical computer science : 26 (Alle Bände)
1996
Signatur: TAY931101
    Datensatz exportieren als...
  • BibTeX
Handbook of satisfiability
Frontiers in artificial intelligence and applications : 185 (Alle Bände)
2009
Signatur: TVI4740
    Datensatz exportieren als...
  • BibTeX
Model based transformations for quantified Boolean formulas
Dissertationen zur künstlichen Intelligenz : 329 (Alle Bände)
2010
Signatur: TVD2335, P2258
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5584
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Karriereanreize für Wissenschaftler an Hochschulen im deutsch-amerikanischen Vergleich
Vorträge / Nordrhein-Westfälische Akademie der Wissenschaften : I, Ingenieur- und Wirtschaftswissenschaften : 11 (Alle Bände)
2004
Signatur: AFG1927-11
    Datensatz exportieren als...
  • BibTeX
Aussagenlogik: Deduktion und Algorithmen
Leitfäden und Monographien der Informatik
1994
Signatur: TVU4895
    Datensatz exportieren als...
  • BibTeX
Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
2., überarb. Aufl., [Nachdr.], [20]03
Signatur: TXL1395(2)
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing – SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parameterized Complexity in the Polynomial Hierarchy : Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
Theoretical Computer Science and General Issues : 11880
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Komplexitätstheorie und Kryptologie : eine Einführung in Kryptokomplexität
eXamen.press
2008
Signatur: TVB4418
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing – SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6175
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Grundkurs Algorithmen und Datenstrukturen in JAVA : eine Einführung in die praktische Informatik
Studium
4., aktualisierte Aufl, 2008
Signatur: TVI3768(4)
    Datensatz exportieren als...
  • BibTeX
Grundkurs Algorithmen und Datenstrukturen in JAVA : eine Einführung in die praktische Informatik ; [mit Online-Service zum Buch
3., überarb. und erw. Aufl, 2002
Signatur: TVI3768(3)
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing – SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing – SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Grundlagen der theoretischen Informatik mit Anwendungen : eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik
Vieweg-Lehrbuch
2., überarb. und aktualisierte Aufl, 2002
Signatur: TUA3413(2)
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung. 2 [3/4. Systemstrukturen und theoretische Informatik : mit 18 Tabellen
Informatik (Alle Bände)
2., überarb. Aufl, 1998
Signatur: TWG6794(2)-2
    Datensatz exportieren als...
  • BibTeX
Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit
it, Informatik
3., aktualisierte Aufl, 2011
Signatur: TXL1395(3)
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java : 32 Klassiker vom Rucksackproblem bis zu neuronalen Netzen
Rheinwerk Computing, Programmierung
1. Auflage, 2021
Signatur: TVI4730
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing – SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theoretical Computer Science and General Issues : 11628
1st ed. 2019, 2019
Volltextzugriff (PDF)
1 – 25 von 31
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen