Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Struktur und Interpretation von Computerprogrammen : eine Informatik-Einführung
Springer-Lehrbuch
3., überarb. Aufl, 1998
Signatur: TXA2370(3)-DT
    Datensatz exportieren als...
  • BibTeX
Constraint satisfaction in logic programming
Logic programming
1989
Signatur: TVM2615
    Datensatz exportieren als...
  • BibTeX
Visual programming for image analysis in object oriented style
GMD-Bericht : 215 (Alle Bände)
1993
Signatur: TUF1018-215
    Datensatz exportieren als...
  • BibTeX
Logic program synthesis from incomplete information
The Kluwer international series in engineering and computer science : 295 (Alle Bände)
1995
Signatur: TVM3718
    Datensatz exportieren als...
  • BibTeX
Prozeßnahe Roboterprogrammierung unter Einsatz eines inertialen Meßsystems : neue Wege zur Programmierung von Industrierobotern für bahnbezogene Handhabungsaufgaben
1989
Signatur: D5239
    Datensatz exportieren als...
  • BibTeX
Logic programming over polymorphically order-sorted types
1989
Signatur: D2127
    Datensatz exportieren als...
  • BibTeX
Functional programming with partially applicable operators
1989
Signatur: D1681
    Datensatz exportieren als...
  • BibTeX
Roboter-Montagesysteme : aufgabenorientierte Off-line-Programmierung
Automatisierungstechnik aktuell
1990
Signatur: ZHV3383
    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
On determinacy and nondeterminacy in concurrent programming
1996
Signatur: D11137
    Datensatz exportieren als...
  • BibTeX
Programmieren im Großen: Sprachen, Werkzeuge, Wiederverwendung
1994
Signatur: D10208
    Datensatz exportieren als...
  • BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
1988
Signatur: D455
    Datensatz exportieren als...
  • BibTeX
Metaebenen-Architekturen logischer Programme
1989
Signatur: D2201
    Datensatz exportieren als...
  • BibTeX
Die Abbildung zwischen der Beschreibung informationeller Systeme und der Modulstruktur von Programmen großer sequentieller imperativ programmierter Abwicklersyteme
1988
Signatur: D479
    Datensatz exportieren als...
  • BibTeX
Technologiewertbestimmung an CNC-Werkzeugmaschinen : Anforderungen an die technische Unterstützung bei Programmerstellung und Einfahren - Overrideprotokollierung
1. Aufl, 1995
Signatur: ZJA2500
    Datensatz exportieren als...
  • BibTeX
Systematisches Projektieren und Testen von Steuerungssoftware für Werkzeugmaschinen
Berichte aus der Produktionstechnik : 93,13 (Alle Bände)
Als Ms. gedr, 1993
Signatur: ZJB2555
    Datensatz exportieren als...
  • BibTeX
Methoden und Werkzeuge zur visuellen objektorientierten Programmierung
1995
Signatur: D10141
    Datensatz exportieren als...
  • BibTeX
Objektorientierte Software-Entwicklung am Beispiel von ET++ : Design-Muster, Klassenbibliothek, Werkzeuge
1992
Signatur: TXB3444
    Datensatz exportieren als...
  • BibTeX
Foundations of semantic subsumption in deductive databases
1995
Signatur: D10802
    Datensatz exportieren als...
  • BibTeX
Eine relationale PROLOG-Semantik
1989
Signatur: D2191
    Datensatz exportieren als...
  • BibTeX
Informationsrückkopplung zwischen NC-Fertigung und Arbeitsplanung : ein Konzept zur Aktualisierung von Planungsinformationen und NC-Programmen
Produktionstechnische Berichte : 12 (Alle Bände)
1993
Signatur: D8911
    Datensatz exportieren als...
  • BibTeX
CNC-Drücken mit adaptiver Regelung
Fortschritt-Berichte VDI : Reihe 2 : 252 (Alle Bände)
Als Ms. gedr, 1992
Signatur: ZIX1050
    Datensatz exportieren als...
  • BibTeX
Systematik zur Entwicklung eines modularen Programmbaukastens für robotergeführte Klebeprozesse
IWB-Forschungsberichte : 44 (Alle Bände)
1992
Signatur: ZKL1618
    Datensatz exportieren als...
  • BibTeX
Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung
1995
Signatur: D10353
    Datensatz exportieren als...
  • BibTeX
Entwurf und Implementation einer objektorientierten UNIX-Shell : ein Prototyping-orientierter Ansatz
Jenaer geographische Schriften : 6 (Alle Bände)
1997
Signatur: MRP2435-6
1 – 25 von 49
Suche als RSS-Feed
Aktive Filter
Art des InhaltsHochschulschrift (Sonstige)
Suchergebnisse filtern
Filter anzeigen