Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 341 - 360 kết quả của 964 cho tìm kiếm '"Lecture Notes in Computer Science"', thời gian truy vấn: 0.04s Tinh chỉnh kết quả
  1. 341
    Advances in cryptology--EUROCRYPT '90 : Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1991
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  2. 342
    Live data structures in logic programs : derivation by means of abstract interpretation /
    Sách
    Bằng Mulkers, Anne, 1960-
    Được phát hành 1993
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  3. 343
    Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1994
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  4. 344
    Recent issues in pattern analysis and recognition /
    Sách
    Được phát hành 1989
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  5. 345
    Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1991
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  6. 346
    STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1990
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  7. 347
    Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1993
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  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 /
    Hội nghị đang tiến hành Sách
    Được phát hành 1995
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  9. 349
    Computer vision, virtual reality, and robotics in medicine : first international conference, CVRMed '95, Nice, France, April 3-6, 1995 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1995
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  10. 350
    Algorithms and data structures : third workshop, WADS ʾ93, Montreal, Canada, August 11-13, 1993 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1993
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  11. 351
    Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1995
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  12. 352
    Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings /
    Sách
    Được phát hành 1993
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  13. 353
    Modular construction and partial order semantics of Petri nets /
    Sách
    Bằng Vogler, W. (Walter), 1955-
    Được phát hành 1992
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  14. 354
    Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 1993 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1993
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  15. 355
    Interactive relational database design : a logic programming implementation /
    Sách
    Bằng Bagchi, Tapan P.
    Được phát hành 1989
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  16. 356
    Advances in cryptology--CRYPTO '90 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1991
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  17. 357
    Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1990
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  18. 358
    Program development by specification and transformation : the PROSPECTRA methodology, language family, and system /
    Sách
    Được phát hành 1993
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  19. 359
    Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1995
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
  20. 360
    Automata, languages and programming. 2d Colloquium, University of Saarbr ucken, July 29 - August 2, 1974. /
    Hội nghị đang tiến hành Sách
    Được phát hành 1974
    “…Lecture notes in computer science ;…”
    Lưu vào danh sách
    Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS – Tìm kiếm email này – Lưu tìm kiếm