Showing 141 - 160 results of 5,425 for search '', query time: 0.32s Refine Results
  1. 141
    Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings /
    Published 1993
    Conference Proceeding Book
  2. 142
    Logic and algebra of specification /
    Published 1993
    Conference Proceeding Book
  3. 143
    An introduction to discrete mathematics, formal system specification, and Z /
    by Ince, D. (Darrel)
    Published 1992
    Book
  4. 144
    Mathematics for computer students /
    by Wilton, Rex
    Published 1992
    Book
  5. 145
    The logic of information structures /
    by Wansing, H. (Heinrich)
    Published 1993
    Book
  6. 146
    Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /
    Published 1993
    Conference Proceeding Book
  7. 147
    Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings /
    Published 1993
    Book
  8. 148
    Turing's World 3.0 for the Macintosh : an introduction to computability theory /
    by Barwise, Jon
    Published 1993
    Book
  9. 149
    STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 : proceedings /
    Published 1994
    Conference Proceeding Book
  10. 150
    Deontic logic in computer science : normative system specification /
    Published 1993
    Conference Proceeding Book
  11. 151
    Current trends in theoretical computer science : essays and tutorials /
    Published 1993
    Book
  12. 152
    Substructural logics /
    Published 1993
    Book
  13. 153
    Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
    Published 1994
    Book
  14. 154
    Computer mathematics : proceedings of the Special Program at Nankai Institute of Mathematics, Tianjin, China, January-June 1991 /
    Published 1993
    Book
  15. 155
    Advances on computer mathematics and its applications /
    Published 1993
    Book
  16. 156
    Logic and information flow /
    Published 1994
    Book
  17. 157
    Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings /
    Published 1994
    Book
  18. 158
    Logic, language and computation : festschrift in honor of Satoru Takasu /
    Published 1994
    Book
  19. 159
    Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
    Published 1994
    Conference Proceeding Book
  20. 160
    Graduate assistantship directory in computing /
    Published 1993
    Serial
Search Tools: RSS Feed – Email Search