Search Results - "IFIP Transactions"

Suggested Topics within your search.
Refine Results
  1. 21
    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '...

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 22
    Intelligent computer aided design proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 September 1991-3 October 1991

    Intelligent computer aided design proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 September 1991-3 October...

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 23
    Designing correct circuits proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

    Designing correct circuits proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 24
    Managing information technology's organisational impact, II proceedings of the IFIP TC9 Conference on Managing Information Technology's Organisational Impact, II, Adelaide, Australia, 7-8 October, 1991

    Managing information technology's organisational impact, II proceedings of the IFIP TC9 Conference on Managing Information Technology's Organisational Impact, II, Adelaide, Austral...

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 25
    Interoperable database systems (DS-5) proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992

    Interoperable database systems (DS-5) proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database systems (DS-5), Lorne, Victoria, Australia, 16-20 Novemb...

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 26
    Integration in production management systems proceedingsof the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, Eindhoven, The Netherlands, 24-27 August 1992

    Integration in production management systems proceedingsof the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, Eindhoven, The Netherlands, 24-27 Aug...

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 27
    Manufacturing in the era of concurrent engineering revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzlya, Israel, 13-15 April, 1992

    Manufacturing in the era of concurrent engineering revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Enginee...

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 28
    Computer networks, architecture and applications

    Computer networks, architecture and applications

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 29
    Facing the challenge of risk and vulnerablity in an information society proceedings of the IFIP WG9.2 Working Conference on Facing the Challenge of Risk and Vulnerability in an Information Society, Namur, Belgium, 20-22, 1993

    Facing the challenge of risk and vulnerablity in an information society proceedings of the IFIP WG9.2 Working Conference on Facing the Challenge of Risk and Vulnerability in an Inf...

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 30
    Geometric modeling for product realization selected and expanded papers from the IFIP TC5/WG5.2 Working Conference on Geometric Medeling, Rensselaerville, NY, U.S.A., 27 September-1 October 1992

    Geometric modeling for product realization selected and expanded papers from the IFIP TC5/WG5.2 Working Conference on Geometric Medeling, Rensselaerville, NY, U.S.A., 27 September-...

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 31
    Architectures and compilation techniques for fine and medium grain parallelism proceedings of the IFIP WG 10.3 Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, Orlando, Florida, USA, 20-22 Ja

    Architectures and compilation techniques for fine and medium grain parallelism proceedings of the IFIP WG 10.3 Working Conference on Architectures and Compilation Techniques for Fi...

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 32
    VLSI 91 proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991

    VLSI 91 proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 33
    Database security, VI status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August, 1992

    Database security, VI status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August, 1992

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 34
    Computer applications in the automation of shipyard operation and ship design, VII proceedings of the IFIP TC 5/WG 5.6 Seventh International Conference on Computer Applications in the Automation uo

    Computer applications in the automation of shipyard operation and ship design, VII proceedings of the IFIP TC 5/WG 5.6 Seventh International Conference on Computer Applications in...

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 35
    Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

    Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

    Published 1992
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  16. 36
    Synthesis for control dominated circuits selected papers from the IFIP WG10.2/WG10.5 workshops, Grenoble, France, April and September 1992

    Synthesis for control dominated circuits selected papers from the IFIP WG10.2/WG10.5 workshops, Grenoble, France, April and September 1992

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 37
    Human, organizational, and social dimensions of information systems development proceedings of the IFIP WG 8.2 Working Group, Information Systems Development--Human, Social, and Organizational Aspects, Noordwijkerhout, The Netherlands, 17-19 Ma

    Human, organizational, and social dimensions of information systems development proceedings of the IFIP WG 8.2 Working Group, Information Systems Development--Human, Social, and Or...

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  18. 38
    Decision support in public administration proceedings of the IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration, Noordwijkerhout, The Netherlands, 13-14 May 1993

    Decision support in public administration proceedings of the IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration, Noordwijkerhout, The Netherlands, 13-14...

    Published 1993
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 39
    Database security, II status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Ontario, Canada 5-7 October ,1988

    Database security, II status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Ontario, Canada 5-7 October ,1988 by Landwher, Carl E

    Published 1989
    “…IFIP transactions.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 40
    Fractals in the natural and applied sciences proceedings of the second IFIP working Conference on Fractals in te Natural and Applied Sciences, London, U.K. 7-10 September l993

    Fractals in the natural and applied sciences proceedings of the second IFIP working Conference on Fractals in te Natural and Applied Sciences, London, U.K. 7-10 September l993

    Published 1994
    “…IFIP transactions…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: