Ihre Suche erzielte 6 Treffer.

Ergebnisse
	1.	Computer safety, reliability, and security 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21 - 24, 2004 ; proceedings Maritta Heisel; Peter Liggesmeyer; Stefan Wittmann (ed.) von Heisel, Maritta [Hrsg.] Liggesmeyer, Peter, 1963- [oth] Wittmann, Stefan [oth] SAFECOMP 23 2004 Potsdam [oth] Reihen: ; 321900 \| Lecture notes in computer science ; 3219 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11317234 Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Cover Inhaltsverzeichnis Einführung/Vorwort Online-Zugang Publisher description Restricted to SpringerLINK subscribers Volltext 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 3219. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	YEAST a formal specification case study in Z Maritta Heisel; Balachander Krishnamurthy von Heisel, Maritta [aut] Krishnamurthy, Balachander [aut] Reihen: ; 199532 \| Technische Universität Berlin Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik ; 199532 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 1995 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) Berlin TU Nr.95-32. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Bi-directional approach to modeling architectures Maritta Heisel; Balachander Krishnamurthy von Heisel, Maritta [aut] Krishnamurthy, Balachander [aut] Reihen: ; 199531 \| Technische Universität Berlin Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik ; 199531 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 1995 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) Berlin TU Nr.95-31. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	A generic system architecture for strategy-based software development Maritta Heisel; Thomas Santen; Dominik Zimmermann von Heisel, Maritta [aut] Santen, Thomas [aut] Zimmermann, Dominik [aut] Reihen: ; 199508 \| Technische Universität Berlin Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik ; 199508 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 1995 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) Berlin TU Nr.95-8. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	A formal notion of strategy for software development Maritta Heisel. [Technische Universität Berlin, Fachbereich 13, Informatik] von Heisel, Maritta [aut] Reihen: ; 199428 \| Technische Universität Berlin Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik ; 199428 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 [1994] 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) Berlin TU Nr.94-28. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Software service and application engineering essays dedicated to Bernd Krämer on the occasion of his 65th birthday Maritta Heisel (ed.) von Heisel, Maritta [Hrsg.] Krämer, Bernd [GefeierteR] Reihen: Festschrift \| ; 7365 \| Lecture notes in computer science ; 7365 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86114371 Verlag: Berlin Heidelberg [u.a.] Springer 2012 Online-Ressourcen: Inhaltsverzeichnis Inhaltstext Cover 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 7365. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha