在您的搜寻 主题建议
Showing 341 - 360 results of 963 for search '"Lecture notes in computer science."', 查询时间: 0.06s Refine Results
  1. 341
    Advances in cryptology--EUROCRYPT '90 : Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990 : proceedings /
    会议录 图书
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  2. 342
    Live data structures in logic programs : derivation by means of abstract interpretation /
    图书
    由 Mulkers, Anne, 1960-
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  3. 343
    Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
    会议录 图书
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  4. 344
    Recent issues in pattern analysis and recognition /
    图书
    出版 1989
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  5. 345
    Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings /
    会议录 图书
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  6. 346
    STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings /
    会议录 图书
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  7. 347
    Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  8. 348
    Advances in intelligent computing--IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994 : selected papers /
    会议录 图书
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  9. 349
    Computer vision, virtual reality, and robotics in medicine : first international conference, CVRMed '95, Nice, France, April 3-6, 1995 : proceedings /
    会议录 图书
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  10. 350
    Algorithms and data structures : third workshop, WADS ʾ93, Montreal, Canada, August 11-13, 1993 : proceedings /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  11. 351
    Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings /
    会议录 图书
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  12. 352
    Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings /
    图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  13. 353
    Modular construction and partial order semantics of Petri nets /
    图书
    由 Vogler, W. (Walter), 1955-
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  14. 354
    Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 1993 : proceedings /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  15. 355
    Interactive relational database design : a logic programming implementation /
    图书
    由 Bagchi, Tapan P.
    出版 1989
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  16. 356
    Advances in cryptology--CRYPTO '90 : proceedings /
    会议录 图书
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  17. 357
    Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, proceedings /
    会议录 图书
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  18. 358
    Program development by specification and transformation : the PROSPECTRA methodology, language family, and system /
    图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  19. 359
    Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
    会议录 图书
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  20. 360
    Automata, languages and programming. 2d Colloquium, University of Saarbr ucken, July 29 - August 2, 1974. /
    会议录 图书
    出版 1974
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索 – 保存搜索