Showing 81 - 100 results of 5,738 for search 'Springer Verlag,', query time: 0.31s Refine Results
  1. 81
    A relational theory of computing /
    by Sanderson, John G., 1929-
    Published 1980
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  2. 82
    Pictorial information systems /
    Published 1980
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  3. 83
    Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 /
    Published 1980
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  4. 84
    Edinburgh LCF : a mechanised logic of computation /
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  5. 85
    Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen /
    Published 1984
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  6. 86
    Advances in cryptology--EUROCRYPT '88 : Workshop on the Theory and Application of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988: proceedings /
    Published 1988
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 87
    Distributed systems--architecture and implementation : an advanced course /
    Published 1981
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 88
    Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings /
    Published 1989
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 89
    Design and implementation of large spatial databases : first symposium, SSD '89, Santa Barbara, California, July 17/18, 1989 : proceedings /
    Published 1990
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 90
    ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
    Published 1990
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 91
    Advances in cryptology : CRYPTO '89, proceedings /
    Published 1990
    “...Springer-Verlag,...”
    Conference Proceeding eBook
  12. 92
    ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
    Published 1992
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  13. 93
    Advances in cryptology--EUROCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992 : proceedings /
    Published 1993
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 94
    Parle '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings /
    Published 1993
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 95
    Application and theory of petri nets, 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : proceedings /
    Published 1994
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 96
    Applications of databases : first international conference, ADB-94, Vadstena, Sweden, June 21-23, 1994 : proceedings /
    Published 1994
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 97
    Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings /
    Published 1994
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 98
    Foundations of knowledge representation and reasoning /
    Published 1994
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  19. 99
    Knowledge representation and reasoning under uncertainty : logic at work /
    Published 1994
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  20. 100
    Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
    Published 1994
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search