在您的搜寻 主题建议
Showing 241 - 260 results of 1,498 for search '"Programming languages."', 查询时间: 0.03s Refine Results
  1. 241
    Automatic verification of programs with complex data structures /
    图书
    由 Suzuki, Norihisa, 1946-
    出版 1980
    主题: “...Programming languages (Electronic computers) Semantics....”
    加到收藏夹
    Saved in:
  2. 242
    Mixed language programming /
    图书
    由 Telles, Matthew A.
    出版 1994
    主题: “...Visual programming languages (Computer science)...”
    加到收藏夹
    Saved in:
  3. 243
    Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 /
    会议录 图书
    出版 1977
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  4. 244
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
    会议录 图书
    出版 1981
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  5. 245
    A practical formal semantic definition and verification system for TYPED LISP /
    Thesis 图书
    由 Cartwright, Robert, 1949-
    出版 1976
    主题: “...LISP (Computer program language)...”
    加到收藏夹
    Saved in:
  6. 246
    CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification /
    图书
    由 Diaconescu, Razvan
    出版 1998
    主题: “...Programming languages (Electronic computers)...”
    加到收藏夹
    Saved in:
  7. 247
    Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /
    会议录 图书
    出版 1979
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  8. 248
    International Computing Symposium, 1975 : proceedings of the International Computing Symposium, 1975, Antibes, France, 2-4 June 1975 /
    会议录 图书
    出版 1975
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  9. 249
    Correspondence texts for Units 10, 11 and 12 /
    图书
    出版 1973
    主题: “...Programming languages (Electronic computers)...”
    加到收藏夹
    Saved in:
  10. 250
    Erlang in real time : notes for CS584 - real time and concurrent systems /
    图书
    由 Castro, Maurice
    出版 1998
    主题: “...Programming languages (Electronic computers)...”
    加到收藏夹
    Saved in:
  11. 251
    Builder Lite : developing dynamic batch files /
    图书
    由 Richardson, Ronny
    出版 1993
    主题: “...Programming languages (Electronic computers) Software....”
    加到收藏夹
    Saved in:
  12. 252
    High-level language computer architecture /
    图书
    出版 1975
    主题: “...Programming languages (Electronic computers)...”
    加到收藏夹
    Saved in:
  13. 253
    Data types and persistence /
    图书
    出版 1988
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  14. 254
    PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings /
    会议录 图书
    出版 1987
    主题: “...Programming languages (Electronic computers) Congresses....”
    加到收藏夹
    Saved in:
  15. 255
    OOPS messenger : a quarterly publication of the Special Interest Group on Programming Languages.
    杂志
    出版 1990
    主题: “...Programming languages (Electronic computers) Periodicals....”
    加到收藏夹
    Saved in:
  16. 256
    Turbo C++ programming : an object-oriented approach /
    图书
    由 Ezzell, Ben
    出版 1990
    主题: “...C++ (Computer program language)...”
    加到收藏夹
    Saved in:
  17. 257
    American national standard programing language APT /
    图书
    出版 1980
    主题: “...APT (Computer program language) Standards United States....”
    加到收藏夹
    Saved in:
  18. 258
    Languages and compilers for parallel computing.
    会议录
    主题: “...Programming languages (Electronic computers) Congresses....”
    Vols. listed in order by LNCS series number.
    Vols. listed in order by LNCS series number.
    加到收藏夹
    Saved in:
  19. 259
    American national standard programing language FORTRAN /
    图书
    出版 1978
    主题: “...FORTRAN (Computer program language) Standards United States....”
    加到收藏夹
    Saved in:
  20. 260
    Pascal from BASIC /
    图书
    主题: “...Pascal (Computer program language)...”
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索 – 保存搜索