Suggested Topics within your search.
Showing 1 - 20 results of 49 for search '', query time: 0.10s Refine Results
  1. 1
    The formal semantics of PVS

    The formal semantics of PVS by Owre, Sam

    Published 1999
    Click here to view online
    Government Document Microfilm Book
    Save to List
    Saved in:
  2. 2
    Behavioural Types.

    Behavioural Types. by Gay, Simon

    Published 2017
    Full Text (via ProQuest)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    GLobal Integrated Design Environment (GLIDE) a concurrent engineering application /

    GLobal Integrated Design Environment (GLIDE) a concurrent engineering application / by McGuire, Melissa L.

    Published 2010
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
  4. 4
    Options and auxiliary services in programming language processors /

    Options and auxiliary services in programming language processors / by Sullivan, J. E.

    Published 1972
    Government Document Book
    Save to List
    Saved in:
  5. 5
    Mastering Python Regular Expressions.

    Mastering Python Regular Expressions. by López, Félix

    Published 2014
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  6. 6
    Dealing with Reserved Words As Data Names in a VFP Application.

    Dealing with Reserved Words As Data Names in a VFP Application. by Hentzen, Whil

    Published 2013
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  7. 7
    User guide for compressible flow toolbox version 2.1 for use with MATLAB® version 7 /

    User guide for compressible flow toolbox version 2.1 for use with MATLAB® version 7 / by Melcher, Kevin J.

    Published 2006
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
  8. 8
    Documentation of the GLAS fourth order general circulation model

    Documentation of the GLAS fourth order general circulation model

    Published 1983
    Government Document Microfilm Book
    Save to List
    Saved in:
  9. 9
    Implementation of artificial intelligence rules in a data base management system

    Implementation of artificial intelligence rules in a data base management system by Feyock, Stefan

    Published 1986
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
  10. 10
    SUPES a Software Utilities Package for the Engineering Sciences.

    SUPES a Software Utilities Package for the Engineering Sciences.

    Published 1986
    Full Text (via OSTI)
    Government Document Electronic eBook
    Save to List
    Saved in:
  11. 11
    Digital systems design language : design synthesis of digital systems /

    Digital systems design language : design synthesis of digital systems / by Shiva, Sajjan G.

    Published 1979
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  12. 12
    MINDS : a microcomputer interactive data system for 8086-based controllers /

    MINDS : a microcomputer interactive data system for 8086-based controllers / by Soeder, James F.

    Published 1985
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  13. 13
    Directions in parallel programming HPF, shared virtual memory and object parallelism in pC++ /

    Directions in parallel programming HPF, shared virtual memory and object parallelism in pC++ / by Bodin, Francois

    Published 1994
    Government Document Microfilm Book
    Save to List
    Saved in:
  14. 14
    Programming parallel architectures : the BLAZE family of languages /

    Programming parallel architectures : the BLAZE family of languages / by Mehrotra, Piyush

    Published 2013
    Online Access
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  15. 15
    Julia 1. 0 Programming Complete Reference Guide : Discover Julia, a High-Performance Language for Technical Computing /

    Julia 1. 0 Programming Complete Reference Guide : Discover Julia, a High-Performance Language for Technical Computing / by Balbaert, Ivo

    Published 2019
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  16. 16
    An overview of the Opus language and runtime system

    An overview of the Opus language and runtime system by Mehrotra, Piyush

    Published 1994
    Government Document Microfilm Book
    Save to List
    Saved in:
  17. 17
    Real-time multiprocessor programming language (RTMPL) : users manual /

    Real-time multiprocessor programming language (RTMPL) : users manual / by Arpasi, Dale J.

    Published 1985
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  18. 18
    Documentation for the token ring network simulation system

    Documentation for the token ring network simulation system by Peden, Jeffery H.

    Published 1990
    Government Document Microfilm Book
    Save to List
    Saved in:
  19. 19
    Experience with abstract notation one

    Experience with abstract notation one by Harvey, James D. (James Douglas)

    Published 1991
    Government Document Microfilm Book
    Save to List
    Saved in:
  20. 20
    Procedure for implementation of temperature-dependent mechanical property capability in the Engineering Analysis Language (EAL) system

    Procedure for implementation of temperature-dependent mechanical property capability in the Engineering Analysis Language (EAL) system by Glass, David E.

    Published 1990
    Government Document Microfilm Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search