Showing 1 - 20 results of 49 for search '"Texts and monographs in computer science"', query time: 0.72s Refine Results
  1. 1
    String-rewriting systems

    String-rewriting systems by Book, Ronald V.

    New York : Springer-Verlag, 1993
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  2. 2
    Prototyping-oriented software development : concepts and tools

    Prototyping-oriented software development : concepts and tools by Bischofberger, W. (Walter), 1962-

    Berlin ; New York : Springer-Verlag, 1992
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  3. 3
    Logic for applications

    Logic for applications by Nerode, Anil, 1932-

    New York : Springer-Verlag, 1993
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  4. 4
    Selected writings on computing : a personal perspective

    Selected writings on computing : a personal perspective by Dijkstra, Edsger W.

    New York : Springer-Verlag, 1982
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  5. 5
    Computational geometry : an introduction

    Computational geometry : an introduction by Preparata, Franco P.

    New York : Springer-Verlag, 1988
    Corr. and expanded 2nd printing.
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  6. 6
    Mathematical foundations of computer science. Volume 1, Sets, relations, and induction

    Mathematical foundations of computer science. Volume 1, Sets, relations, and induction by Fejer, Peter A., Simovici, Dan A.

    New York : Springer-Verlag, 1991
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  7. 7
    The design and analysis of algorithms

    The design and analysis of algorithms by Kozen, Dexter, 1951-

    New York : Springer-Verlag, 1992
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  8. 8
    A practical theory of programming

    A practical theory of programming by Hehner, Eric C. R.

    New York : Springer-Verlag, 1993
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  9. 9
    Object-oriented database programming

    Object-oriented database programming by Alagić, Suad, 1946-

    New York : Springer-Verlag, 1989
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  10. 10
    Predicate calculus and program semantics

    Predicate calculus and program semantics by Dijkstra, Edsger W.

    New York : Springer-Verlag, 1990
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  11. 11
    Larch : languages and tools for formal specification

    Larch : languages and tools for formal specification by Guttag, John V., 1949-

    New York : Springer-Verlag, 1993
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  12. 12
    Compiler construction

    Compiler construction by Waite, W. M. (William McCastline), Goos, Gerhard, 1937-

    New York : Springer-Verlag, 1984
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  13. 13
    Programming with sets : an introduction to SETL

    Programming with sets : an introduction to SETL

    New York : Springer-Verlag, 1986
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  14. 14
    Programming in Modula-2

    Programming in Modula-2 by Wirth, Niklaus

    Berlin ; New York : Springer-Verlag, 1985
    3rd, corr. ed.
    “…Texts and monographs in computer science.…”
    Format: Book


    Save to List
    Saved in:
  15. 15
    Relational database technology

    Relational database technology by Alagić, Suad, 1946-

    New York : Springer-Verlag, 1986
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  16. 16
    Methods and applications of error-free computation

    Methods and applications of error-free computation by Gregory, Robert Todd, 1920-

    New York : Springer-Verlag, 1984
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  17. 17
    The denotational description of programming languages : an introduction

    The denotational description of programming languages : an introduction by Gordon, Michael J. C., 1948-

    New York : Springer-Verlag, 1979
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  18. 18
    First-order logic and automated theorem proving

    First-order logic and automated theorem proving by Fitting, Melvin, 1942-

    New York : Springer-Verlag, 1990
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  19. 19
    The design of well-structured and correct programs

    The design of well-structured and correct programs by Alagić, Suad, 1946-, Arbib, Michael A.

    New York : Springer-Verlag, 1978
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:
  20. 20
    Fairness

    Fairness by Francez, Nissim

    New York : Springer-Verlag, 1986
    “…Texts and monographs in computer science…”
    Format: Book


    Save to List
    Saved in:

Search Tools: