( en | de | ru )

 

Disambiguierung von "Sage, Meurig"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FranTk - a declarative GUI language for Haskell.

. ICFP, Seite 106-117. ACM, (2000)SIGPLAN Notices 35(9), September 2000.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Siegfried Sage

Siegfried Sage

Aled Sage

Kingsley Sage

Walter Sage

 

Weitere Publikationen von Autoren mit dem selben Namen

Formally verified, rapid prototyping for Air Traffic Control., und . Reliab. Eng. Syst. Saf., 75 (2): 121-132 (2002)Data Capture for Clinical Anaesthesia on a Pen-based PDA: Is It a Viable Alternative to Paper?, , , und . BCS HCI/IHM, Seite 439-456. Springer, (2001)Dynamic Links for Mobile Connected Context-Sensitive Systems., und . EHCI, Volume 2254 von Lecture Notes in Computer Science, Seite 281-298. Springer, (2001)Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle., und . DSV-IS, Seite 134-154. Springer, (1998)FranTk - a declarative GUI language for Haskell.. ICFP, Seite 106-117. ACM, (2000)SIGPLAN Notices 35(9), September 2000.Interactors and Haggis: Executable specifications for interactive systems., und . DSV-IS, Seite 93-108. Springer, (1997)Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style., und . INTERACT, Volume 96 von IFIP Conference Proceedings, Seite 126-133. Chapman & Hall, (1997)Declarative support for prototyping interactive systems.. University of Glasgow, UK, (2001)British Library, EThOS.A multi-scaled display technique for PDAs., , und . CHI Extended Abstracts, Seite 123-124. ACM, (2001)