Campusbibliothek

Ihre Suche erzielte 3 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Advances in computing science - ASIAN 2000 proceedings 6th Asian Computing Science Conference, Penang, Malaysia, November 25 - 27, 2000. Jifeng He ... (eds.) von Reihen: ; 196100 | Lecture notes in computer science ; 1961
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Springer 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1961.
Vormerken Zum Korb hinzufügen
2.
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; proceedings Zhiming Liu; Jifeng He (eds.) von Reihen: ; 426000 | Lecture notes in computer science ; 4260
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11901433
Verlag: Berlin Heidelberg [u.a.] Springer 2006
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4260.
Vormerken Zum Korb hinzufügen
3.
Unifying theories of programming C. A. R. Hoare and He Jifeng von Reihen: Prentice Hall series in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London [u.a.] Prentice Hall 1998
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOA ch 1989:2 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha