在您的搜寻 主题建议
Showing 361 - 380 results of 963 for search '"Lecture notes in computer science."', 查询时间: 0.02s Refine Results
  1. 361
    The stability theory of stream ciphers /
    图书
    由 Ding, C. (Cunsheng), 1962-
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  2. 362
    ECOOP '93, object-oriented programming, 7th European conference, Kaiserslautern, Germany, July 26-30, 1993 : proceedings /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  3. 363
    Information and knowledge management : expanding the definition of "database" : First International Conference, CIKM '92, Baltimore, Maryland, USA, November 8-11, 1992 : select papers /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  4. 364
    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  5. 365
    Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings /
    图书
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  6. 366
    Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
    图书
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  7. 367
    Object representation in computer vision : International NSF-ARPA Workshop, New York City, NY, USA, December 5-7, 1994 : proceedings /
    会议录 图书
    出版 1995
    “...Lectures notes in computer science ;...”
    加到收藏夹
    Saved in:
  8. 368
    Distributed algorithms : 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings /
    图书
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  9. 369
    Specification and compositional verification of real-time systems /
    图书
    由 Hooman, J. (Jozef), 1955-
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  10. 370
    Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /
    会议录 图书
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  11. 371
    Spatio-temporal image processing : theory and scientific applications /
    图书
    由 Jähne, Bernd, 1953-
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  12. 372
    Combinatorics on traces /
    图书
    由 Diekert, Volker, 1955-
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  13. 373
    Conditional term rewriting systems /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  14. 374
    Distributed algorithms : 8th international workshop /
    会议录 图书
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  15. 375
    Ada, the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13-17, 1991 : proceedings /
    会议录 图书
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  16. 376
    DCE--the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  17. 377
    Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings /
    会议录 图书
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  18. 378
    Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings /
    会议录 图书
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  19. 379
    Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings /
    会议录 图书
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夹
    Saved in:
  20. 380
    Parallel image analysis : second international conference, ICPIA '92, Ube, Japan, December 21-23, 1992 : proceedings /
    图书
    出版 1992
    “...Lecture notes on computer science ;...”
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索 – 保存搜索