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

東南亞史書籍特展

東南亞史書籍特展

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

21
Computational processing of the Portuguese language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010 : proceedings /
  • 作者：edited by Thiago Alexandre Salgueiro Pardo ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Portuguese language|Data processing ; Computational linguistics ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Information Systems Applications (incl.Internet) ; Information Storage and Retrieval. ; Data Mining and Knowledge Discovery. ; Mathematical Logic and Formal Languages. ; Database Management.
  • 作者：Pardo, Thiago Alexandre Salgueiro.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

22
Computer aided verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
  • 作者：edited by Tayssir Touili, Byron Cook, Paul Jackson.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer software|Verification ; Electronic digital computers|Evaluation ; Computer Science. ; Logics and Meanings of Programs. ; Software Engineering. ; Programming Languages, Compilers, Interpreters. ; Mathematical Logic and Formal Languages. ; Artificial Intelligence (incl. Robotics) ; Computer Communication Networks.
  • 作者：Touili, Tayssir. ; Cook, Byron. ; Jackson, Paul.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

23
Computer science - theory and applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
  • 作者：edited by Farid Ablayev, Ernst W. Mayr.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer science ; Information theory ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Computation by Abstract Devices. ; Discrete Mathematics in Computer Science. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Mathematics of Computing.
  • 作者：Ablayev, Farid. ; Mayr, Ernst W.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

24
Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
  • 作者：edited by Anuj Dawar, Helmut Veith.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer logic ; Computer Science. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Artificial Intelligence (incl. Robotics) ; Software Engineering. ; Programming Languages, Compilers, Interpreters. ; Algorithm Analysis and Problem Complexity.
  • 作者：Dawar, Anuj. ; Veith, Helmut.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

25
Conceptual structures from information to intelligence : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010, proceedings /
  • 作者：edited by Madalina Croitoru, Sebastien Ferre, Dickson Lukose.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Conceptual structures (Information theory) ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Database Management. ; Data Mining and Knowledge Discovery. ; Mathematical Logic and Formal Languages. ; Pattern Recognition. ; Data Storage Representation.
  • 作者：Croitoru, Madalina. ; Ferre, Sebastien. ; Lukose, Dickson.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

26
Concurrency, compositionality, and correctness essays in honor of Willem-Paul de Roever /
  • 作者：edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
  • 出版社：Springer Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Parallel programming (Computer science) ; Computer programs|Correctness. ; Computer science. ; Computer Science. ; Logics and Meanings of Programs. ; Computation by Abstract Devices. ; Mathematical Logic and Formal Languages. ; Algorithm Analysis and Problem Complexity. ; Software Engineering. ; Programming Languages, Compilers, Interpreters.
  • 作者：Roever, Willem Paul. ; Dams, Dennis. ; Hannemann, Ulrich. ; Steffen, Martin.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

27
Controlled natural language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009 : revised papers /
  • 作者：edited by Norbert E. Fuchs.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Natural language processing (Computer science) ; Semantic Web ; Computational linguistics ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Information Storage and Retrieval. ; Information Systems Applications (incl.Internet) ; Mathematical Logic and Formal Languages. ; Database Management. ; Data Mining and Knowledge Discovery.
  • 作者：Fuchs, Norbert E.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

28
Data mining and knowledge discovery via logic-based methods theory, algorithms, and applications /
  • 作者：by Evangelos Triantaphyllou.
  • 出版社：Springer Science+Business Media, LLC
  • 出版年：2010.
  • 出版地：Boston, MA :
  • 主題：Data mining. ; Mathematics. ; Mathematical Logic and Formal Languages. ; Operations Research, Mathematical Programming. ; Operations Research/Decision Theory.
  • 作者：Triantaphyllou, Evangelos.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

29
Deontic logic in computer science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
  • 作者：edited by Guido Governatori, Giovanni Sartor.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer logic ; Deontic logic ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages. ; Discrete Mathematics in Computer Science. ; Computation by Abstract Devices. ; Logics and Meanings of Programs. ; Mathematics of Computing.
  • 作者：Governatori, Guido. ; Sartor, Giovanni.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

30
Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings /
  • 作者：edited by Yuan Gao ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Formal languages ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Computation by Abstract Devices. ; Mathematical Logic and Formal Languages. ; Discrete Mathematics in Computer Science. ; Logics and Meanings of Programs. ; Artificial Intelligence (incl. Robotics)
  • 作者：Gao, Yuan.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

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

依年度

依特藏

依作者

依主題

相關集叢系列