Suche in der Hochschulbibliografie

Treffer 11-13 von 13

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 2 von 2

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 11
  49GBVUOB_ALMA2115944395000350149GBVUOB_ALMA21159443950003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21159443950003501
  
  Buch
  Spektrum Lehrbuch: System, Modell, Programm : vom GOTO zur objektorientierten Programmierung

  von Wolfgang Peter Kowalk

  1996

  Details anzeigen

  ISBN: 3827400627

  Beteiligte Personen (Uni Oldenburg): Kowalk, Wolfgang Peter

  Verlag: Heidelberg Berlin Oxford: Spektrum, Akad. Verl.

  Umfang: 684 S. graph. Darst. 25 cm.

  Weitere Angaben:

  Literaturverz. S. [627] - 630

  Schlagwörter: LehrbuchProgrammierungObjektorientierte ProgrammierungObjektorientierte ProgrammierspracheDatenverarbeitungSoftwareentwicklung

  Übergeordnetes Werk: Spektrum Lehrbuch

  Verknüpfte Titel: Spektrum Lehrbuch

  Notation: inf 300

  Sprache: Deutsch
• 12
  49GBVUOB_ALMA2114810070000350149GBVUOB_ALMA21148100700003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21148100700003501
  
  Buch
  Leitfäden der Informatik: Rechnernetze : Konzepte und Techniken der Datenübertragung in Rechnernetzen

  von Wolfgang Peter Kowalk ; Manfred Burke

  1994

  Details anzeigen

  ISBN: 3519021412

  Beteiligte Personen (Uni Oldenburg): Burke, Manfred ([1993-1997])Kowalk, Wolfgang Peter

  Verlag: Stuttgart: Teubner

  Umfang: 507 S. graph. Darst..

  Weitere Angaben:

  Literaturverz. S. [481] - 486

  Schlagwörter: Computer networks; LehrbuchRechnernetzDatennetzMehrrechnersystemVerteiltes System

  Übergeordnetes Werk: Leitfäden der Informatik

  Verknüpfte Titel: Leitfäden der Informatik

  Notation: inf 220

  Sprache: Deutsch
• 13
  49GBVUOB_ALMA2119060186000350149GBVUOB_ALMA21190601860003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21190601860003501
  
  Buch
  Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen

  von Wolfgang Peter Kowalk

  c 1993

  Details anzeigen

  ISBN: 3411160012

  Beteiligte Personen (Uni Oldenburg): Kowalk, Wolfgang Peter

  Verlag: Mannheim u.a.: BI-Wiss.-Verl.

  Umfang: 310 S. graph. Darst..

  Weitere Angaben:

  Literaturverz. S. 299 - 302

  Schlagwörter: ProgrammverifikationProgrammKorrektheitBeweisVerifikationHoare-LogikBegründungBeweisbarkeitSoftware

  Notation: inf 320

  Sprache: Deutsch