Showing 141 - 160 results of 5,738 for search 'Springer Verlag,', query time: 0.38s Refine Results
  1. 141
    Constraint processing : selected papers /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  2. 142
    Term rewriting : French Spring School of Theoretical Computer Scas printed], France, May 17-21, 1993 : advanced course /
    Published 1995
    “...Springer Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 143
    Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 144
    Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 145
    Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  6. 146
    Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 147
    Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 148
    From natural to artificial neural computation : International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7-9, 1995 : proceedings /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 149
    Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 150
    Algorithmic learning for knowledge-based systems : GOSLER final report /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  11. 151
    Image analysis and processing : 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995 : proceedings /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  12. 152
    Field-programmable logic and applications : 5th international workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995 : proceedings /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  13. 153
    Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 154
    Efficient graph rewriting and its implementation /
    by Dörr, Heiko, 1962-
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  15. 155
    Exploitation of fine-grain parallelism /
    by Böckle, Günter, 1949-
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  16. 156
    Tractable reasoning in artificial intelligence /
    by Cadoli, Marco, 1965-
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  17. 157
    Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    eBook
  18. 158
    Advances in spatial databases : 4th international symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  19. 159
    Applied algebra, algebraic algorithms, and error-correcting codes : 11th international symposium, AAECC-11, Paris, France, July 1995 : proceedings /
    Published 1995
    “...Springer-Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 160
    Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '95, Fribourg, Switzerland, July 1995 : proceedings /
    Published 1995
    “...Springer Verlag,...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search