館藏書目查詢 > 主題書展
:::
    觀看其他主題
     
共 86 件

東南亞史書籍特展

東南亞史書籍特展

  • 展示上架起迄時間*: 2020-03-03 ~ 2020-04-30
  • 暫停外借截止時間*: 2020-03-03 ~ 2020-03-03
共85件。
   排序   1 2 3 4 5 6 7 8 9   每頁顯示 檢視方式

71
Testing techniques in software engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
  • 作者：edited by Paulo Borba ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer software|Testing ; Software engineering ; Computer Science. ; Software Engineering. ; Programming Techniques. ; Programming Languages, Compilers, Interpreters. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Management of Computing and Information Systems.
  • 作者：Borba, Paulo.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

72
Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
  • 作者：edited by Gordon Fraser, Angelo Gargantini.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer software|Testing ; Computer software|Verification ; Formal methods (Computer science) ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
  • 作者：Fraser, Gordon. ; Gargantini, Angelo.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

73
The language of machines : an introduction to computability and formal languages
詳細內容
延伸查詢
校本部圖書通閱

74
The mathematics of language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers /
  • 作者：edited by Christian Ebert, Gerhard Jager, Jens Michaelis.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Mathematical linguistics ; Computer Science. ; Mathematical Logic and Formal Languages. ; Symbolic and Algebraic Manipulation. ; Discrete Mathematics in Computer Science. ; Logics and Meanings of Programs. ; Theory of Computation. ; Mathematics of Computing.
  • 作者：Ebert, Christian. ; Jager, Gerhard. ; Michaelis, Jens.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

75
Theoretical computer science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
  • 作者：edited by Cristian S. Calude, Vladimiro Sassone.
  • 出版社：IFIP International Federation for Information Processing
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer science ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Logics and Meanings of Programs. ; Computation by Abstract Devices. ; Software Engineering. ; Computer Communication Networks. ; Mathematical Logic and Formal Languages.
  • 作者：Calude, Cristian S. ; Sassone, Vladimiro.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

76
Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings /
  • 作者：edited by Jan Kratochvil ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer science|Mathematics ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Discrete Mathematics in Computer Science. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Mathematics of Computing. ; Theory of Computation.
  • 作者：Kratochvil, Jan.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

77
Theory and applications of satisfiability testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
  • 作者：edited by Ofer Strichman, Stefan Szeider.
  • 出版社：Springer-Verlag Heidelberg Berlin
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Propositional calculus ; Decision making ; Computer algorithms ; Algebra, Boolean ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Software Engineering. ; Programming Techniques. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Mathematics of Computing.
  • 作者：Strichman, Ofer. ; Szeider, Stefan.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

78
Theory and practice of model transformations third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings /
  • 作者：edited by Laurence Tratt, Martin Gogolla.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer software|Development ; Model-driven software architecture ; Computer Science. ; Computer Communication Networks. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
  • 作者：Gogolla, Martin. ; Tratt, Laurence.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

79
Theory of computer science : automata, language and computation
詳細內容
延伸查詢
校本部圖書通閱

80
Time for verification essays in memory of Amir Pnueli /
  • 作者：edited by Zohar Manna, Doron A. Peled.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer software|Verification. ; Computer Science. ; Programming Techniques. ; Mathematical Logic and Formal Languages. ; Computation by Abstract Devices. ; Logics and Meanings of Programs.
  • 作者：Manna, Zohar. ; Peled, Doron A.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

   排序   1 2 3 4 5 6 7 8 9   每頁顯示 檢視方式
:::

依年度

依特藏

依作者

依主題

相關集叢系列