語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Abstract data types (Computer science)
概要
作品:
6 作品在 1 項出版品 1 種語言
書目資訊
Data structures with abstract data types and Ada /
by:
(書目-語言資料,印刷品)
Data structures, algorithms, and performance /
by:
(書目-語言資料,印刷品)
Data abstraction and structures using C++
by:
(書目-語言資料,印刷品)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
(書目-語言資料,印刷品)
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
by:
(書目-電子資源)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(書目-電子資源)
主題
Data structures (Computer science)
Mathematical Logic and Foundations.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Systems engineering
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Abstract data types (Computer science)
Ada (Computer program language)
Logic Design.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Functional programming (Computer science)
Lambda calculus.
Proof theory.
Computer Science.
C++ (Computer program language)
Curry-Howard isomorphism.
處理中
...
變更密碼
登入