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
Configuration based on simplified functional models
Reihe Informatik : 155 (Alle Bände)
1994
Signatur: MQ23965
Open Access
    Datensatz exportieren als...
  • BibTeX
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems [Elektronische Ressource]
2013
    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)
    Datensatz exportieren als...
  • BibTeX
On the restricted equivalence for subclasses of propositional logic
Reihe Informatik : 107 (Alle Bände)
1992
Signatur: MQ23919
    Datensatz exportieren als...
  • BibTeX
Learning shepherding behavior
2016
Signatur: PQ978
Open Access
    Datensatz exportieren als...
  • BibTeX
Anomaly detection as a one-class problem in discrete event systems
2017
    Datensatz exportieren als...
  • BibTeX
Identification of timed behavior models for diagnosis in production systems
2015
Signatur: PQ904
    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
Open Access
    Datensatz exportieren als...
  • BibTeX
Routing and scheduling for home care services : solution approaches for static and dynamic settings
2016
Open Access
    Datensatz exportieren als...
  • BibTeX
Routing and scheduling for home care services : solution approaches for static and dynamic settings
2016
Signatur: PQ1018
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying concurrent programs under weak memory models : = Verifikation nebenläufiger Programme unter schwachen Speichermodellen
2017
    Datensatz exportieren als...
  • BibTeX
Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen : = Adaptive process integrated quality control for ultrasonic wire bonding processes
HNI-Verlagsschriftenreihe : 336 (Alle Bände)
2014
Signatur: P2520, YGY2262
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
Hanser eLibrary
5., aktualisierte Auflage, [2021]
    Datensatz exportieren als...
  • BibTeX
Workshop Logik in der Informatik : May 25 - 27, 1994, University of Paderborn
Reihe Informatik : 146 (Alle Bände), Annual meeting / GI-Fachgruppe 0.1.6 : 1994 (Alle Bände)
1994
Signatur: MQ23956
    Datensatz exportieren als...
  • BibTeX
Design and realization of a knowledge based system that supports the setting into operation of hydraulic systems : technical report
Reihe Informatik : 166 (Alle Bände)
1995
Signatur: MQ23976
    Datensatz exportieren als...
  • BibTeX
On subclasses of minimal unsatisfiable formulas
Reihe Informatik : 190 (Alle Bände)
1997
Signatur: MQ23997
Open Access
    Datensatz exportieren als...
  • BibTeX
Learning shepherding behavior
2016
    Datensatz exportieren als...
  • BibTeX
Search space and average proof length of resolution
Reihe Informatik : 135 (Alle Bände)
1993
Signatur: MQ23945
Open Access
    Datensatz exportieren als...
  • BibTeX
Local strategies for robot formation problems [Elektronische Ressource]
2012
    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
Open Access
    Datensatz exportieren als...
  • BibTeX
Identification of timed behavior models for diagnosis in production systems [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
Identifying behavior models for hybrid production systems
2013
Signatur: PQ782
    Datensatz exportieren als...
  • BibTeX
Vision based tracking in team sports
2011
Signatur: PQ666
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
4., erweiterte Auflage, [2018]
    Datensatz exportieren als...
  • BibTeX
Multi-criteria cooperation in multiagent systems by local adaptation
2011
Signatur: PQ658
1 – 25 von 46
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen