Jump to main content

yr 〜
yr

Search results 115

HCI 2009 celebrating people and technology : people and computers 23 : proceedings of HCI 2009 : Churchill College Cambridge, UK : 1-5 September 2009 : Sep 2009, Cambridge, UK. (Electronic Workshops in Computing)

HCI 2009 celebrating people and technology : people and computers 23 : proceedings of HCI 2009 : Churchill College Cambridge, UK : 1-5 September 2009 : Sep 2009, Cambridge, UK. (Electronic Workshops in Computing)
Paper図書
British Informatics Society Limitedc2009.<M17-13-1141>
National Diet Library

Workshop in computational molecular biology, April 15, 1991--April 14, 1994 CONF-9104300-Absts DE95 012915 CONF-9308268-Absts CONF-9308107-Exc

Workshop in computational molecular biology, April 15, 1991--April 14, 1994 CONF-9104300-Absts DE95 012915 CONF-9308268-Absts CONF-9308107-Exc
PaperMicroform規格・テクニカルリポート類
Tavare, S1995<LS-DE95/012915>
National Diet LibraryOther Libraries in Japan

Women into computing : selected papers, 1988-1990 / WiC ; Gillian Lovegrove and Barbara Segal, eds. (Workshops in computing)

Women into computing : selected papers, 1988-1990 / WiC ; Gillian Lovegrove and Barbara Segal, eds. (Workshops in computing)
Paper図書
Springer-Verlagc1991.<EL187-A226>
National Diet Library

Functional programming : Glasgow workshop : Aug 1991, Portree, UK.

Functional programming : Glasgow workshop : Aug 1991, Portree, UK.
Paper図書
Springer-Verlag1992.<M17-93-0603>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: functional progr...
  • Alternative Title(Workshops in Computing) functional programming
  • Alternative Title(Workshops in Computing) functional programming

Computer and telecommunications performance engineering : 7th UK workshop : Jul 1991, Edinburgh, UK.

Computer and telecommunications performance engineering : 7th UK workshop : Jul 1991, Edinburgh, UK.
Paper図書
Springer-Verlag1992.<M17-92-2575>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: computer perform...
  • Alternative Title(Workshops in Computing) computer performance enginee...
  • Alternative Title(Workshops in Computing) computer performance enginee...

ALPUK 91 : 3rd UK annual conference on logic programming : Apr 1991, Edinburgh, UK.

ALPUK 91 : 3rd UK annual conference on logic programming : Apr 1991, Edinburgh, UK.
Paper図書
Springer-Verlag1992.<M17-92-2635>
National Diet Library
  • Note (General)Selected papers. (Workshops in Computing) Index term: ALPUK ; logic pr...
  • Alternative Title(Workshops in Computing) ALPUK ; logic programming ; ...
  • Alternative Title(Workshops in Computing) ALPUK ; logic programming ; ...

Declarative programming : Phoenix seminar and workshop : Nov 1991, Sasbachwalden, Germany.

Declarative programming : Phoenix seminar and workshop : Nov 1991, Sasbachwalden, Germany.
Paper図書
Springer-Verlagc1992.<M17-92-2636>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: declarative prog...
  • Alternative Title(Workshops in Computing) declarative programming ; PH...
  • Alternative Title(Workshops in Computing) declarative programming ; PH...

Z user workshop : 5th Annual meeting : Dec 1990, Oxford, UK.

Z user workshop : 5th Annual meeting : Dec 1990, Oxford, UK.
Paper図書
Springer-Verlag1991.<M17-93-0736>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: Z user. BL shelf...
  • Alternative Title(Workshops in Computing) Z user
  • Alternative Title(Workshops in Computing) Z user

Designing correct circuits : Workshop : Sep 1990, Oxford, UK.

Designing correct circuits : Workshop : Sep 1990, Oxford, UK.
Paper図書
Springer-Verlag1991.<M17-91-1276>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: designing correc...
  • Alternative Title(Workshops in Computing) designing correct circuits
  • Alternative Title(Workshops in Computing) designing correct circuits

Z user workshop : 5th Annual meeting : Dec 1990, Oxford, UK.

Z user workshop : 5th Annual meeting : Dec 1990, Oxford, UK.
Paper図書
Springer-Verlag1991.<M17-92-2571>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: Z user. BL shelf...
  • Alternative Title(Workshops in Computing) Z user
  • Alternative Title(Workshops in Computing) Z user

Refinement : 4th Workshop : Jan 1991, Cambridge, UK.

Refinement : 4th Workshop : Jan 1991, Cambridge, UK.
Paper図書
Published in collaboration with the British Computer Society [by] Springer-Verlagc1991.<M17-92-1302>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: refinement ; BCS...
  • Alternative Title(Workshops in Computing) refinement ; BCS ; FACS
  • Alternative Title(Workshops in Computing) refinement ; BCS ; FACS

Functional programming, Glasgow 1990 : 3rd Workshop : Aug 1990, Ullapool, UK.

Functional programming, Glasgow 1990 : 3rd Workshop : Aug 1990, Ullapool, UK.
Paper図書
Springer-Verlag in collaboration with the British Computer Society1991.<M17-93-2962>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: functional progr...
  • Alternative Title(Workshops in Computing) functional programming
  • Alternative Title(Workshops in Computing) functional programming

4th Higher order workshop : Sep 1990, Banff, Canada.

4th Higher order workshop : Sep 1990, Banff, Canada.
Paper図書
Springer-Verlag1991.<M17-92-2570>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: higher order. BL...
  • Alternative Title(Workshops in Computing) higher order
  • Alternative Title(Workshops in Computing) higher order

AI and cognitive science '90 : 3rd Irish conference on artificial intelligence and cognitive science : Sep 1990, Jordanstown, UK.

AI and cognitive science '90 : 3rd Irish conference on artificial intelligence and cognitive science : Sep 1990, Jordanstown, UK.
Paper図書
Published in collaboration with the British Computer Society [by] Springer-Verlag1991.<M17-92-1299>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: AI ; cognitive s...
  • Alternative Title(Workshops in Computing) AI ; cognitive science ; art...
  • Alternative Title(Workshops in Computing) AI ; cognitive science ; art...

Semantics for concurrency : International workshop : Jul 1990, Leicester, UK.

Semantics for concurrency : International workshop : Jul 1990, Leicester, UK.
Paper図書
Springer-Verlag1990.<M17-91-0708>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: semantics ; BCS ...
  • Alternative Title(Workshops in Computing) semantics ; BCS ; concurrenc...
  • Alternative Title(Workshops in Computing) semantics ; BCS ; concurrenc...

Functional programming : 2nd Glasgow workshop : Aug 1989, Fraserburgh, UK.

Functional programming : 2nd Glasgow workshop : Aug 1989, Fraserburgh, UK.
Paper図書
Springer-Verlag in collaboration with the British Computer Society1990.<M17-90-2793>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: functional progr...
  • Alternative Title(Workshops in Computing) functional programming
  • Alternative Title(Workshops in Computing) functional programming

Z user workshop : 4th Annual meeting : Dec 1989, Oxford, UK.

Z user workshop : 4th Annual meeting : Dec 1989, Oxford, UK.
Paper図書
Springer Verlag1990.<M17-91-0091>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: Z user. BL shelf...
  • Alternative Title(Workshops in Computing) Z user
  • Alternative Title(Workshops in Computing) Z user

Persistent object systems : 3rd International workshop : Jan 1989, Newcastle, Australia.

Persistent object systems : 3rd International workshop : Jan 1989, Newcastle, Australia.
Paper図書
Springer-Verlag1990.<M17-91-0709>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: persistent objec...
  • Alternative Title(Workshops in Computing) persistent object systems
  • Alternative Title(Workshops in Computing) persistent object systems

Security and persistence : International workshop on computer architectures to support security and persistence of information : May 1990, Bremen, Germany.

Security and persistence : International workshop on computer architectures to support security and persistence of information : May 1990, Bremen, Germany.
Paper図書
Springer-Verlag1990.<M17-91-0711>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: computer archite...
  • Alternative Title(Workshops in Computing) computer architectures ; sup...
  • Alternative Title(Workshops in Computing) computer architectures ; sup...

Refinement : 3rd Workshop : Jan 1990, Hursley Park, UK.

Refinement : 3rd Workshop : Jan 1990, Hursley Park, UK.
Paper図書
Springer Verlag1990.<M17-91-1279>
National Diet Library
  • Note (General)Papers. (Workshops in Computing) Index term: refinement ; BCS...
  • Alternative Title(Workshops in Computing) refinement ; BCS ; FACS
  • Alternative Title(Workshops in Computing) refinement ; BCS ; FACS
RSS