Ihre Suche erzielte 6 Treffer.

Ergebnisse
	1.	R / The University of Aalborg, Institute for Electronic Systems, Department of Mathematics and Computer Science 87-3 Two-level semantics and code generation / Flemming Nielson; Hanne Riis Nielson The University of Aalborg, Institute for Electronic Systems, Department of Mathematics and Computer Science von Nielson, Flemming [aut] Nielson, Hanne Riis [aut] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: 1987 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) Aalborg UNI R 87-3. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Two-level functional languages Flemming Nielson & Hanne Riis Nielson von Nielson, Flemming [aut] Nielson, Hanne Riis [aut] Reihen: ; 3400 \| Cambridge tracts in theoretical computer science ; 34 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge Cambridge University Press 1992 Online-Ressourcen: Zentralblatt MATH Inhaltstext 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) NIE f 1992:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Program analysis 11.04.1999 - 16.04.1999 (99151) Hanne Riis Nielson ... (eds.) von Nielson, Hanne Riis [Hrsg.] Reihen: ; 236 \| Dagstuhl-Seminar-Report ; 236 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Wadern IBFI 1999 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) Wadern, Dagstuhl IBFI SR 236. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Secure IT systems 18th nordic conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013 ; proceedings Hanne Riis Nielson; Dieter Gollmann (eds.) von Nielson, Hanne Riis [Hrsg.] Gollmann, Dieter [Hrsg.] NordSec 18 2013 Ilulissat [oth] Reihen: ; 820800 \| Lecture notes in computer science ; 8208 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86327677 Verlag: Berlin Heidelberg [u.a.] Springer 2013 Online-Ressourcen: Inhaltsverzeichnis 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 8208. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Semantics with applications a formal introduction Hanne Riis Nielson and Flemming Nielson von Nielson, Hanne Riis [aut] Nielson, Flemming [oth] Riis Nielson, Hanne [oth] Reihen: Wiley professional computing Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Chichester [u.a.] Wiley 1992 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NIE h3 1992:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Operational semantics with applications advanced course computation; [17 - 28 August 1998 in Saarbrücken; 10th European Summer School in Logic, Language and Information] Hannie Rils Nielson; Flemming Nielson von Nielson, Hanne Riis [aut] Nielson, Flemming [aut] European Summer School in Logic, Language and Information 10 1998 Saarbrücken [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken DFKI 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) Saarbrücken FoLLI Advanced Course Nielson. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha