Ihre Suche erzielte 6 Treffer.

Ergebnisse
	1.	Logic based program synthesis and transformation 10th international workshop, London, UK, July 24 - 28, 2000 ; selected papers LOPSTR 2000. Kung-Kiu Lau (ed.) von Lau, Kung-Kiu, 1953- [Hrsg.] LOPSTR 10 2000 London [oth] Reihen: ; 204200 \| Lecture notes in computer science ; 2042 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001 Weitere Titel: LOPSTR 2000 Online-Ressourcen: Inhaltsverzeichnis Kapitel 1 Cover 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) LNCS 2042. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings Kung-Kiu Lau; Richard Banach (ed.) von Lau, Kung-Kiu, 1953- [Hrsg.] Banach, Richard [oth] International Conference on Formal Engineering Methods 7 2005 Manchester [oth] Reihen: ; 378500 \| Lecture notes in computer science ; 3785 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11576280 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Inhaltstext Cover Publisher description Table of contents only 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 3785. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Towards a formal framework for deductive synthesis of logic programs Kung-Kiu Lau; 3001 von Lau, Kung-Kiu [aut] Ornaghi, Mario [aut] Reihen: ; 19921102 \| Victoria University of Manchester Technical report series ; 19921102 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Manchester Univ. 1992 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) Manchester UNI INF UMCS-92-11-2. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Service-oriented and cloud computing second European conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013 ; proceedings Kung-Kiu Lau ... (ed.) von Lau, Kung-Kiu [Hrsg.] Lamersdorf, Winfried [Hrsg.] Pimentel, Ernesto [Hrsg.] ESOCC 2 2013 Málaga [oth] Reihen: ; 813500 \| Lecture notes in computer science ; 8135 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86308976 Verlag: Heidelberg New York, NY Dordrecht London Berlin Springer 2013 Online-Ressourcen: Inhaltstext Cover Inhaltsverzeichnis Inhaltsverzeichnis 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 8135. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Service-oriented and cloud computing third European conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 ; proceedings Massimo Villari ... (eds.) von Villari, Massimo, 1972- [Hrsg.] Zimmermann, Wolf [oth] Lau, Kung-Kiu, 1953- [oth] ESOCC 3. 2014 Manchester [oth] Reihen: ; 874500 \| Lecture notes in computer science ; 8745 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86381422 Verlag: Heidelberg [u.a.] Springer 2014 Online-Ressourcen: Inhaltstext Cover Inhaltsverzeichnis Inhaltsverzeichnis 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 8745. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Logic program synthesis and transformation proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992 Kung-Kiu Lau and Tim Clement (ed.). Sponsored by the Association for Logic Programming and ALPUK. Publ. in collab. with the British Computer Society von Lau, Kung-Kiu, 1953- [Hrsg.] Victoria University of Manchester [oth] International Workshop on Logic Program Synthesis and Transformation 2 1992 Manchester [oth] Reihen: Workshops in Computing \| Workshops in computing series Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: London Berlin Heidelberg New York Paris Tokyo Hong Kong Barcelona Budapest Springer 1993 Online-Ressourcen: Cover 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) LOPSTR 1992 2. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha