在您的搜寻 主题建议
Showing 1 - 19 results of 19 for search 'Electronic Proceedings in Theoretical Computer Science', 查询时间: 0.05s Refine Results
  1. 1
    Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
    会议录 图书
    出版 1985
    主题: “...Computer software Congresses....”
    加到收藏夹
    Saved in:
  2. 2
    Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings /
    图书
    出版 1986
    主题: “...Computer software Congresses....”
    加到收藏夹
    Saved in:
  3. 3
    Proceedings : Fourth Annual Symposium on Logic in Computer Science /
    会议录 图书
    出版 1989
    主题: “...Electronic data processing Congresses....”
    加到收藏夹
    Saved in:
  4. 4
    Electronic dictionaries and automata in computational linguistics : LITP Spring School on theoretical computer science, Saint-Pierre d'Oléron, France, May 25-29, 1987 : proceedings /
    会议录 图书
    出版 1989
    主题: “...Computational linguistics....”
    加到收藏夹
    Saved in:
  5. 5
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    会议录 图书
    出版 1974
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  6. 6
    Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
    会议录 图书
    出版 1990
    主题: “...Parallel processing (Electronic computers)...”
    加到收藏夹
    Saved in:
  7. 7
    Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /
    会议录 图书
    出版 1982
    主题: “...Electronic digital computers Programming....”
    加到收藏夹
    Saved in:
  8. 8
    Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /
    会议录 图书
    出版 1990
    主题: “...Electronic data processing Congresses....”
    加到收藏夹
    Saved in:
  9. 9
    Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: proceedings /
    会议录 图书
    出版 1991
    主题: “...Electronic data processing Congresses....”
    加到收藏夹
    Saved in:
  10. 10
    STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 /
    会议录 图书
    出版 1986
    主题: “...Electronic data processing Congresses....”
    加到收藏夹
    Saved in:
  11. 11
    STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris, [April] 11-13, 1984 /
    会议录 图书
    出版 1984
    主题: “...Electronic data processing Congresses....”
    加到收藏夹
    Saved in:
  12. 12
    MATH/CHEM/COMP 1988 : proceedings of an International Course and Conference on the Interfaces between Mathematics, Chemistry, and Computer Science, Dubrovnik, Yugoslavia, 20-25 June 1988 /
    会议录 图书
    出版 1989
    主题: “...Electronic data processing Congresses....”
    加到收藏夹
    Saved in:
  13. 13
    MATH/CHEM/COMP 1987 : proceedings of an International Course and Conference on the Interfaces between Mathematics, Chemistry, and Computer Science, Dubrovnik, Yugoslavia, 22-26 June 1987 /
    会议录 图书
    出版 1988
    主题: “...Electronic data processing Congresses....”
    加到收藏夹
    Saved in:
  14. 14
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
    会议录 图书
    出版 1984
    主题: “...Programming languages (Electronic computers) Semantics Congresses....”
    加到收藏夹
    Saved in:
  15. 15
    A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /
    图书
    出版 1994
    书本目录: “... to the Theoretical Aspects of Coloured Petri Nets / K. Jensen -- Temporal Verification of Simulation and Refinement...”
    加到收藏夹
    Saved in:
  16. 16
    Atoms to Andromeda : selected lectures on theoretical physics, high-energy nuclear and cosmic ray research, plasma and thermonuclear physics, astronomy, astrophysics and electronic computing /
    会议录 图书
    出版 1966
    加到收藏夹
    Saved in:
  17. 17
    Electronic voting and democracy : a comparative analysis /
    会议录 图书
    出版 2004
    书本目录: “...Part I: Issues and Theoretical Frameworks. 1. Electronic Voting and Democratic Issues...”
    Contributor biographical information
    Publisher description
    Table of contents only
    加到收藏夹
    Saved in:
  18. 18
    Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings /
    会议录 图书
    出版 1986
    主题: “...Programmming (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  19. 19
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
    会议录 图书
    出版 1981
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索 – 保存搜索