Showing 1 - 20 results of 5,738 for search 'Springer Verlag,', query time: 0.23s Refine Results
  1. 1
    ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /
    Published 1988
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
    Published 1982
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
    Published 1980
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 /
    Published 1981
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  5. 5
    Group-theoretic algorithms and graph isomorphism /
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  6. 6
    Trends in information processing systems : 3rd Conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings /
    Published 1981
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  7. 7
    Towards a formal description of Ada /
    Published 1980
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  8. 8
    Compiler specification and verification /
    by Polak, Wolfgang, 1950-
    Published 1981
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  9. 9
    Verifying concurrent processes using temporal logic /
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  10. 10
    Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /
    Published 1982
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  11. 11
    Axiomatising the logic of computer programming /
    by Goldblatt, Robert
    Published 1982
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  12. 12
    An analytical description of CHILL, the CCITT high level language /
    by Branquart, Paul, 1937-
    Published 1982
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  13. 13
    An Attribute grammar for the semantic analysis of ADA /
    Published 1982
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  14. 14
    Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
    Published 1975
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978 /
    Published 1979
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 16
    Interval mathematics : proceedings of the international symposium, Karlsruhe, West Germany, May 20-24, 1975 /
    Published 1975
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 /
    Published 1979
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 18
    Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /
    Published 1979
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  19. 19
    Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 /
    Published 1979
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 20
    Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 /
    Published 1979
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search