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
Informatik : eine grundlegende Einführung. 3. Systemstrukturen und systemnahe Programmierung
Informatik (Alle Bände)
1994
Signatur: TWG6794-3
    Datensatz exportieren als...
  • BibTeX
Engineering theories of software intensive systems : proceedings of the NATO Advanced Study Institute on engineering theories of software intensive systems, Marktoberdorf, Germany, 3 - 15 August 2004
NATO science series : Series 2, Mathematics, physics and chemistry : 195 (Alle Bände)
2005
Signatur: TTQ043902
    Datensatz exportieren als...
  • BibTeX
Special issue on Engineering Automation for Computer Based Systems
Science of computer programming : 42,1 (Alle Bände)
2002
Signatur: 64s19
    Datensatz exportieren als...
  • BibTeX
VDI-Lexikon Informatik und Kommunikationstechnik
2., erw. und neubearb. Aufl, 1999
Signatur: TTS2154(2)
    Datensatz exportieren als...
  • BibTeX
Übungen zur Einführung in die Informatik : strukturierte Aufgabensammlung mit Musterlösungen ; mit 30 Tabellen
Springer-Lehrbuch
1998
Signatur: TWG7287
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung. 4. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung
Informatik (Alle Bände)
1995
Signatur: TWG6794-4
    Datensatz exportieren als...
  • BibTeX
Specification and refinement of reactive systems : 26.09. - 30.09.94 (9439)
Dagstuhl-Seminar-Report : 98 (Alle Bände)
1994
Signatur: TUF1092-98
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung
Springer-Lehrbuch
1992-
Signatur: TWG6794
    Datensatz exportieren als...
  • BibTeX
Concurrent systems : semantics, specification, and synthesis ; 11.3.1991 - 15.3.1991 (9111)
Dagstuhl-Seminar-Report : 9 (Alle Bände)
1991
Signatur: TUF1092-9
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung. 2. Rechnerstrukturen und maschinennahe Programmierung
Informatik (Alle Bände)
1993
Signatur: TWG6794-2
    Datensatz exportieren als...
  • BibTeX
Software pioneers : contributions to software engineering
2002
Signatur: TWQ9718
    Datensatz exportieren als...
  • BibTeX
Übungen zur Einführung in die Informatik : strukturierte Aufgabensammlung mit Musterlösungen ; mit 30 Tabellen
Springer-Lehrbuch
2., überarb. Aufl, 2002
Signatur: TWG7287(2)
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung. 1 [1/2. Programmierung und Rechnerstrukturen : mit 33 Tabellen
Informatik (Alle Bände)
2. Aufl, 1998
Signatur: TWG6794(2)-1
    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
Künstliche Intelligenz
Edition Universitas
1990
Signatur: TVU3027
    Datensatz exportieren als...
  • BibTeX
Modellbildung in der Informatik
Xpert.press
2004
Signatur: TUA3528
    Datensatz exportieren als...
  • BibTeX
Informatik und Mathematik : Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag
1991
Signatur: TTQB1004
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung. 1. Problemnahe Programmierung
Informatik (Alle Bände)
1992
Signatur: TWG6794-1
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
SchlagwortProgrammsynthese
Suchergebnisse filtern
Filter anzeigen