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

東南亞史書籍特展

東南亞史書籍特展

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

51
Logic, language, information and computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
  • 作者：edited by Anuj Dawar, Ruy Queiroz.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer logic ; Logic, Symbolic and mathematical ; Formal methods (Computer science) ; Computer Science. ; Mathematical Logic and Formal Languages. ; Logics and Meanings of Programs. ; Algorithm Analysis and Problem Complexity. ; Computation by Abstract Devices. ; Discrete Mathematics in Computer Science. ; Symbolic and Algebraic Manipulation.
  • 作者：Dawar, Anuj. ; Queiroz, Ruy.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

52
Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /
  • 作者：edited by Danny De Schreye.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Logic programming ; Computer Science. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Artificial Intelligence (incl. Robotics) ; Programming Techniques. ; Software Engineering. ; Programming Languages, Compilers, Interpreters.
  • 作者：Schreye, Danny.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

53
Logical tools for handling change in agent-based systems
  • 作者：by Dov M. Gabbay, Karl Schlechta.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Intelligent agents (Computer software) ; Nonmonotonic reasoning. ; Logic, Symbolic and mathematical. ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages. ; Mathematical Logic and Foundations. ; Logic.
  • 作者：Gabbay, Dov M. ; Schlechta, Karl.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

54
Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
  • 作者：edited by Petr Hlineny, Antonin Kucera.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer science|Mathematics ; Computer logic ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Discrete Mathematics in Computer Science. ; Computation by Abstract Devices. ; Data Structures. ; Mathematical Logic and Formal Languages. ; Logics and Meanings of Programs.
  • 作者：Hlineny, Petr. ; Kucera, Antonin.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

55
Mathematical logic foundations for information science /
  • 作者：by Wei Li.
  • 出版社：Birkhauser Basel
  • 出版年：2010.
  • 出版地：Basel :
  • 主題：Logic, Symbolic and mathematical. ; Computer Science. ; Mathematical Logic and Formal Languages. ; Mathematical Logic and Foundations.
  • 作者：Li, Wei.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

56
Mathematics of program construction 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
  • 作者：edited by Claude Bolduc, Jules Desharnais, Bechir Ktari.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer programming|Mathematics ; Computer programs|Mathematics ; Computer Science. ; Antibodies. ; Artificial Intelligence (incl. Robotics) ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Software Engineering.
  • 作者：Bolduc, Claude. ; Desharnais, Jules. ; Ktari, BEchir.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

57
Membrane computing 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009 : revised selected and invited papers /
  • 作者：edited by Gheorghe Paun ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Molecular computers ; Computer Science. ; Computation by Abstract Devices. ; Computational Biology/Bioinformatics. ; Mathematical Logic and Formal Languages. ; Simulation and Modeling.
  • 作者：Paun, Gheorghe.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

58
Natural deduction, hybrid systems and modal logics
  • 作者：by Andrzej Indrzejczak.
  • 出版社：Springer Science+Business Media B.V.
  • 出版年：2010.
  • 出版地：Dordrecht :
  • 主題：Logic. ; Modality (Logic) ; Philosophy. ; Logic. ; Mathematical Logic and Foundations. ; Mathematical Logic and Formal Languages. ; Algorithms. ; Artificial Intelligence (incl. Robotics)
  • 作者：Indrzejczak, Andrzej.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

59
Natural language processing and information systems 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, Saarbrucken, Germany, June 24-26, 2009 : revised papers /
  • 作者：edited by Helmut Horacek ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Natural language processing (Computer science) ; Computer Science. ; Database Management. ; Computer Communication Networks. ; Data Mining and Knowledge Discovery. ; Information Systems Applications (incl.Internet) ; Mathematical Logic and Formal Languages ; Artificial Intelligence (incl. Robotics)
  • 作者：Horacek, Helmut.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

60
New frontiers in artificial intelligence JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, revised selected papers /
  • 作者：edited by Kumiyo Nakakoji, Yohei Murakami, Eric McCready.
  • 出版社：Springer-Verlag Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Artificial intelligence ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Information Systems Applications (incl.Internet) ; Information Storage and Retrieval. ; Database Management. ; Mathematical Logic and Formal Languages. ; Data Mining and Knowledge Discovery.
  • 作者：Nakakoji, Kumiyo. ; Murakami, Yohei. ; McCready, Eric.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

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

依年度

依特藏

依作者

依主題

相關集叢系列