語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Computer programs - Congresses.
概要
作品:
4 作品在 0 項出版品 0 種語言
書目資訊
International Conference on Software Engineering : = World Congress Centre, Melbourne, Australia, May 11-15, 1992 /
by:
(書目-語言資料,印刷品)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers/
by:
(書目-語言資料,印刷品)
Perspectives of system informatics = 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers/
by:
(書目-語言資料,印刷品)
Programs as data objects = Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
主題
Programming (Electronic computers)- Congresses.
Mathematical Logic and Formal Languages.
Data structures (Computer science)
Computer programs- Congresses.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Electronic digital computers- Programming
Programming Languages, Compilers, Interpreters.
Computer Science.
Symbolic and Algebraic Manipulation.
處理中
...
變更密碼
登入