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
Propositional logic : deduction and algorithms
Cambridge tracts in theoretical computer science : 48 (Alle Bände)
1999
Signatur: TVU4895-EN
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden ; [für Bachelor geeignet
2., überarb. und erw. Aufl, 2008
Signatur: TUA3617(2)
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
4., erweiterte Auflage, [2018]
Signatur: TUA3617(4)
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
3., überarb. Aufl, 2014
Signatur: TUA3617(3)
    Datensatz exportieren als...
  • BibTeX
Local strategies for robot formation problems
2012
Signatur: PQ698
    Datensatz exportieren als...
  • BibTeX
Aussagenlogik: Deduktion und Algorithmen
Leitfäden und Monographien der Informatik
1994
Signatur: TVU4895
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
Grundlagenwissen für Informatiker
2005
Signatur: TUA3617
    Datensatz exportieren als...
  • BibTeX
PROLOG : Grundlagen und Anwendungen ; mit zahlreichen ... Tabellen und Programmbeispielen
Leitfäden der angewandten Informatik
2., überarb. u. erw. Aufl, 1988
Signatur: TXU1879(2)
Open Access
    Datensatz exportieren als...
  • BibTeX
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen : = Generating type-safe UML association implementations
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Identifying behavior models for hybrid production systems
2013
Signatur: PQ782
Open Access
    Datensatz exportieren als...
  • BibTeX
Vision based tracking in team sports [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Resolution for quantified Boolean formulas
Reihe Informatik : 106 (Alle Bände)
1992
Signatur: MQ23918
    Datensatz exportieren als...
  • BibTeX
Towards automated service composition under quality constraints
2017
Signatur: PQ1101
    Datensatz exportieren als...
  • BibTeX
Learning and coordination in sequential multiagent problems
2012
Signatur: PQ711
    Datensatz exportieren als...
  • BibTeX
An algorithm for resource based configuration
Reihe Sonderforschungsbereich / Sonderforschungsbereich 376, Massive Parallelität: Algorithmen, Entwurfsmethoden, Anwendungen : 22 (Alle Bände)
1996
Signatur: MQ24044
    Datensatz exportieren als...
  • BibTeX
Configuration based on simplified functional models
Reihe Informatik : 155 (Alle Bände)
1994
Signatur: MQ23965
    Datensatz exportieren als...
  • BibTeX
Report on a SAT competition
Reihe Informatik : 110 (Alle Bände)
1992
Signatur: MQ23920
    Datensatz exportieren als...
  • BibTeX
Learning shepherding behavior
2016
Signatur: PQ978
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
4., erweiterte Auflage, [2018]
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Identification of timed behavior models for diagnosis in production systems [Elektronische Ressource]
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Identifying behavior models for hybrid production systems [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
New aspects and applications of resource based configuration
Reihe Sonderforschungsbereich / Sonderforschungsbereich 376, Massive Parallelität: Algorithmen, Entwurfsmethoden, Anwendungen : 23 (Alle Bände)
1996
Signatur: MQ24045
    Datensatz exportieren als...
  • BibTeX
Multi-criteria cooperation in multiagent systems by local adaptation
2011
Signatur: PQ658
Open Access
    Datensatz exportieren als...
  • BibTeX
Anomaly detection as a one-class problem in discrete event systems
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Multi-criteria cooperation in multiagent systems by local adaptation [Elektronische Ressource]
2011
Volltextzugriff (PDF)
1 – 25 von 46
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen