Showing 1 - 20 results of 135,230 for search 'SpringerLink (Online service)', query time: 0.40s Refine Results
  1. 1
    Group-theoretic algorithms and graph isomorphism /
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  2. 2
    Towards a formal description of Ada /
    Published 1980
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  3. 3
    Compiler specification and verification /
    by Polak, Wolfgang, 1950-
    Published 1981
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  4. 4
    Verifying concurrent processes using temporal logic /
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  5. 5
    Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /
    Published 1982
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  6. 6
    Axiomatising the logic of computer programming /
    by Goldblatt, Robert
    Published 1982
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  7. 7
    An analytical description of CHILL, the CCITT high level language /
    by Branquart, Paul, 1937-
    Published 1982
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  8. 8
    An Attribute grammar for the semantic analysis of ADA /
    Published 1982
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  9. 9
    Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 /
    Published 1979
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  10. 10
    First-order dynamic logic /
    by Harel, David, 1950-
    Published 1979
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  11. 11
    L systems /
    Published 1974
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  12. 12
    The concurrency control problem for database systems /
    by Casanova, Marco Antonio
    Published 1981
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  13. 13
    The Vienna development method : the Meta-language /
    Published 1978
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  14. 14
    A Concurrent PASCAL compiler for minicomputers /
    by Hartmann, Alfred C., 1948-
    Published 1977
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  15. 15
    Matrix eigensystem routines : EISPACK guide extension /
    Published 1977
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  16. 16
    Computing in systems described by equations /
    by O'Donnell, Michael J., 1952-
    Published 1977
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  17. 17
    The design of dynamic data structures /
    by Overmars, Mark H., 1958-
    Published 1983
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  18. 18
    Alternating sequential/parallel processing /
    by Wallach, Y. (Yehuda), 1928-
    Published 1982
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  19. 19
    Anaphora in natural language understanding : a survey /
    by Hirst, Graeme
    Published 1981
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  20. 20
    Simple program schemes and formal languages /
    by Engelfriet, Joost
    Published 1974
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search