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
Direkte und indirekte Wirkungen rechnergestützter Fertigungssysteme : formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung
Beiträge zur Wirtschaftsinformatik : 15 (Alle Bände)
1995
Signatur: QBB7001
    Datensatz exportieren als...
  • BibTeX
Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht
Informatik und Unternehmensführung
1994
Signatur: TZT2959
    Datensatz exportieren als...
  • BibTeX
Software reliability determination for conventional and logic programming
1994
Signatur: MQ35443, PQ89
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
Informatik
3., überarb. Aufl, 2003-
Signatur: TVI4104-DT,...
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
2. Aufl, 2006
Signatur: TVH2636(2)
    Datensatz exportieren als...
  • BibTeX
Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen
2007
Signatur: PQ403
    Datensatz exportieren als...
  • BibTeX
Graphen, Algorithmen, Netze : Grundlagen und Anwendungen in der Nachrichtentechnik
Studium Technik, Moderne Kommunikationstechnik
1995
Signatur: TVZ2212
Open Access
    Datensatz exportieren als...
  • BibTeX
Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Constraint-Programmierung : Grundlagen und Anwendungen
Springer-Lehrbuch
1997
Signatur: TVM4049
    Datensatz exportieren als...
  • BibTeX
Algorithmisches Lernen
Leitfäden der Informatik
1999
Signatur: TVI3687
    Datensatz exportieren als...
  • BibTeX
Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren
2006
Signatur: PQ337
    Datensatz exportieren als...
  • BibTeX
Evolutionäre Algorithmen
Leitfäden der Informatik, Lehrbuch : Informatik
2., überarb. und erw. Aufl, 2007
Signatur: TVI4049(2)
    Datensatz exportieren als...
  • BibTeX
Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion
Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)
1991
Signatur: M5753
    Datensatz exportieren als...
  • BibTeX
Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache
2003
Signatur: D13906
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Komplexität : mit 39 Beispielen und 104 Aufgaben
Informatik interaktiv
2003
Signatur: TVM4374
    Datensatz exportieren als...
  • BibTeX
Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen
Informatik-Fachberichte : 178 (Alle Bände)
1988
Signatur: TVM2217
    Datensatz exportieren als...
  • BibTeX
Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur
1991
Signatur: D6325
    Datensatz exportieren als...
  • BibTeX
Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung
1995
Signatur: D10353
    Datensatz exportieren als...
  • BibTeX
Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken
Informatik-Fachberichte : 313 (Alle Bände)
1992
Signatur: TVM2835
    Datensatz exportieren als...
  • BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Informatik-Fachberichte : 199 (Alle Bände)
1988
Signatur: TVM2225
    Datensatz exportieren als...
  • BibTeX
Algorithmik
Spektrum-Lehrbuch
2001
Signatur: TVI4081
    Datensatz exportieren als...
  • BibTeX
Automatische Komplexitätsanalyse funktionaler Programme
Informatik-Fachberichte : 261 (Alle Bände)
1990
Signatur: TVM2518
    Datensatz exportieren als...
  • BibTeX
Komplexitätstheorie. 1. Grundlagen : Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus
Komplexitätstheorie (Alle Bände)
2., völlig neubearb. und erw. Aufl, 1999
Signatur: TVM4162(2)-1
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen : eine Einführung ; Skriptum für Hörer aller Fachrichtungen ab 3. Semester
Uni-Text
1977
Signatur: TVM1481
    Datensatz exportieren als...
  • BibTeX
Graphen, Algorithmen, Datenstrukturen : Ergebnisse des Workshops WG 76
Applied computer science : 4 (Alle Bände)
1. Aufl, 1976
Signatur: TVM1512
1 – 25 von 78
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen