在您的搜尋 主題建議
Showing 221 - 240 results of 964 for search '"Lecture Notes in Computer Science"', 查詢時間: 0.05s Refine Results
  1. 221
    Multimedia transport and teleservices : International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  2. 222
    Algorithms : proceedings /
    Conference Proceeding 圖書
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  3. 223
    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 /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  4. 224
    Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /
    Conference Proceeding 圖書
    出版 1989
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  5. 225
    Advances in computing and information--ICCI '90 /
    Conference Proceeding 圖書
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  6. 226
    Directions in databases : 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  7. 227
    Integer programming and combinatorial optimization : 4th International IPCO Conference, Copenhagen, Denmark, May 29-31, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  8. 228
    Human-computer interaction : third international conference, EWHCI '93, Moscow, Russia, August 3-7, 1993 : selected papers /
    Conference Proceeding 圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  9. 229
    CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
    Conference Proceeding 圖書
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  10. 230
    Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /
    Conference Proceeding 圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  11. 231
    Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings /
    Conference Proceeding 圖書
    出版 1989
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  12. 232
    Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  13. 233
    Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  14. 234
    VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
    Conference Proceeding 圖書
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  15. 235
    Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada /
    圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  16. 236
    Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  17. 237
    Algebraic methods II : theory, tools, and applications /
    圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  18. 238
    Computer-aided verification : proceedings /
    Conference Proceeding 圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  19. 239
    Parallel scientific computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  20. 240
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索