在您的搜尋 主題建議
Showing 281 - 300 results of 964 for search '"Lecture Notes in Computer Science"', 查詢時間: 0.05s Refine Results
  1. 281
    Specifying message passing and time-critical systems with temporal logic /
    圖書
    由 Koymans, R. (Ron), 1959-
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  2. 282
    Graph-theoretic concepts in computer science : 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  3. 283
    Logic, language, and computation: festschrift in honor of Satoru Takasu /
    圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  4. 284
    Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  5. 285
    Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  6. 286
    TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  7. 287
    Graph-theoretic concepts in computer science : 19th international workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  8. 288
    Advances in cryptology--CRYPTO '91 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  9. 289
    Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings /
    Conference Proceeding 圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  10. 290
    Foundations of data organization and algorithms : 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993 : proceedings /
    圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  11. 291
    Software engineering education : SEI conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989 proceedings /
    Conference Proceeding 圖書
    出版 1989
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  12. 292
    Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  13. 293
    Advances in cryptology--CRYPTO '88 : proceedings /
    Conference Proceeding 圖書
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  14. 294
    IPMU '92, advanced methods in artificial intelligence : 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  15. 295
    Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /
    圖書
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  16. 296
    Applications of databases : first international conference, ADB-94, Vadstena, Sweden, June 21-23, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  17. 297
    EURO-PAR '95 parallel processing : First Intrnational EURO PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  18. 298
    Distributed algorithms : 7th international workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  19. 299
    Algebraic methods : theory, tools, and applications /
    圖書
    出版 1989
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  20. 300
    Information management in computer integrated manufacturing : a comprehensive guide to state-of-the-art CIM solutions /
    圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索