Visar resultat för...

Workshops in Computing

262 produkter
Charles Rattray - Specification and Verification of Concurrent Systems, Häftad

Specification and Verification of Concurrent Systems

Av Charles Rattray

Häftad, Engelska, 1990

709 kr

Skickas inom 7-10 vardagar
Alan Smeaton, Gabriel McDermott - AI and Cognitive Science ’89, Häftad

AI and Cognitive Science ’89

Av Alan Smeaton, Gabriel McDermott

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
Kei Davis, John Hughes - Functional Programming, Häftad

Functional Programming

Av Kei Davis, John Hughes

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
Marta Z. Kwiatkowska, Michael W. Shields, Richard M. Thomas - Semantics for Concurrency, Häftad

Semantics for Concurrency

Av Marta Z. Kwiatkowska, Michael W. Shields, Richard M. Thomas

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
John Rosenberg, David Koch - Persistent Object Systems, Häftad

Persistent Object Systems

Av John Rosenberg, David Koch

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
John E. Nicholls - Z User Workshop, Häftad

Z User Workshop

Av John E. Nicholls

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
Dan Craigen - Formal Methods for Trustworthy Computer Systems (FM89), Häftad

Formal Methods for Trustworthy Computer Systems (FM89)

Av Dan Craigen

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
John Rosenberg, J.Leslie Keedy, J. Leslie Keedy - Security and Persistence, Häftad

Security and Persistence

Av John Rosenberg, J.Leslie Keedy, J. Leslie Keedy

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
Gillian Lovegrove, Barbara Segal - Women into Computing, Häftad

Women into Computing

Av Gillian Lovegrove, Barbara Segal

Häftad, Engelska, 1991

689 kr

Skickas inom 7-10 vardagar
Liesbeth M. Dusink, Patrick A.V. Hall, Patrick a. V. Hall, Patrick A. V. Hall - Software Re-use, Utrecht 1989, Häftad

Software Re-use, Utrecht 1989

Av Liesbeth M. Dusink, Patrick A.V. Hall, Patrick a. V. Hall, Patrick A. V. Hall

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
Michael F. McTear, Norman Creaney - AI and Cognitive Science ’90, Häftad

AI and Cognitive Science ’90

Av Michael F. McTear, Norman Creaney

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
Joseph M. Morris, Roger C. Shaw - 4th Refinement Workshop, Häftad

4th Refinement Workshop

Av Joseph M. Morris, Roger C. Shaw

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
Geraint Jones, Mary Sheeran - Designing Correct Circuits, Häftad

Designing Correct Circuits

Av Geraint Jones, Mary Sheeran

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
Graham Birtwistle - IV Higher Order Workshop, Banff 1990, Häftad

IV Higher Order Workshop, Banff 1990

Av Graham Birtwistle

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst, Simon Peyton Jones - Functional Programming, Glasgow 1990, Häftad

Functional Programming, Glasgow 1990

Av Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst, Simon Peyton Jones

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
J.E. Nicholls, J. E. Nicholls - Z User Workshop, Oxford 1990, Häftad

Z User Workshop, Oxford 1990

Av J.E. Nicholls, J. E. Nicholls

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
David J. Harper, Moira C. Norrie, Moira Norrie - Specifications of Database Systems, Häftad

Specifications of Database Systems

Av David J. Harper, Moira C. Norrie, Moira Norrie

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Geraint A. Wiggins, Chris Mellish, Tim Duncan - ALPUK91, Häftad

ALPUK91

Av Geraint A. Wiggins, Chris Mellish, Tim Duncan

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
John Darlington, Roland Dietrich - Declarative Programming, Sasbachwalden 1991, Häftad

Declarative Programming, Sasbachwalden 1991

Av John Darlington, Roland Dietrich

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Philip Gray, Roger Took - Building Interactive Systems, Häftad

Building Interactive Systems

Av Philip Gray, Roger Took

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Timothy P. Clement, Kung-Kiu Lau - Logic Program Synthesis and Transformation, Häftad

Logic Program Synthesis and Transformation

Av Timothy P. Clement, Kung-Kiu Lau

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Cliff B. Jones, Roger C. Shaw, Tim Denvir, Cliff Jones - 5th Refinement Workshop, Häftad

5th Refinement Workshop

Av Cliff B. Jones, Roger C. Shaw, Tim Denvir, Cliff Jones

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Robert Giegerich, S.L. Graham, S. L. Graham - Code Generation — Concepts, Tools, Techniques, Häftad

Code Generation — Concepts, Tools, Techniques

Av Robert Giegerich, S.L. Graham, S. L. Graham

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Rogardt Heldal, Carsten K. Holst, Philip Wadler - Functional Programming, Glasgow 1991, Häftad

Functional Programming, Glasgow 1991

Av Rogardt Heldal, Carsten K. Holst, Philip Wadler

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Susan Stepney, Rosalind Barden, David Cooper - Object Orientation in Z, Häftad

Object Orientation in Z

Av Susan Stepney, Rosalind Barden, David Cooper

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
J. E. Nicholls - Z User Workshop, York 1991, Häftad

Z User Workshop, York 1991

Av J. E. Nicholls

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Krysia Broda - ALPUK92, Häftad

ALPUK92

Av Krysia Broda

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Humphrey Sorensen - AI and Cognitive Science ’91, Häftad

AI and Cognitive Science ’91

Av Humphrey Sorensen

Häftad, Engelska, 1992

689 kr

Skickas inom 7-10 vardagar
Tim Denvir, Rosalind Herman, Robin Whitty - Formal Aspects of Measurement, Häftad

Formal Aspects of Measurement

Av Tim Denvir, Rosalind Herman, Robin Whitty

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar