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

東南亞史書籍特展

東南亞史書籍特展

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

31
Developments in language theory 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers /
詳細內容
延伸查詢
校本部圖書通閱

32
Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
  • 作者：edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer science|Mathematics. ; Information theory. ; Formal methods (Computer science) ; Computer Science. ; Logics and Meanings of Programs. ; Software Engineering. ; Mathematical Logic and Formal Languages. ; Algorithm Analysis and Problem Complexity. ; Computer Communication Networks. ; Programming Languages, Compilers, Interpreters.
  • 作者：Blass, Andreas. ; Dershowitz, Nachum. ; Reisig, Wolfgang.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

33
Finite-state methods and natural language processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers /
  • 作者：edited by Anssi Yli-Jyra ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Natural language processing (Computer science) ; Formal methods (Computer science) ; Grammar, Comparative and general|Morphology|Data processing ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages. ; Logics and Meanings of Programs. ; Information Storage and Retrieval. ; Algorithm Analysis and Problem Complexity. ; Language Translation and Linguistics.
  • 作者：Yli-Jyra, Anssi.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

34
Formal concept analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings /
  • 作者：edited by Leonard Kwuida, Baris Sertkaya.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer science|Mathematics ; Mathematical analysis ; Lattice theory ; Logic, Symbolic and mathematical ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Artificial Intelligence (incl. Robotics) ; Data Mining and Knowledge Discovery. ; Mathematical Logic and Formal Languages. ; Discrete Mathematics in Computer Science. ; Order, Lattices, Ordered Algebraic Structures.
  • 作者：Kwuida, Leonard. ; Sertkaya, Baris.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

35
Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
  • 作者：edited by Alessandro Aldini ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Formal methods (Computer science) ; Programming languages (Electronic computers) ; Computer Science. ; Antibodies. ; Information Systems Applications (incl.Internet) ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Software Engineering. ; Software Engineering/Programming and Operating Systems.
  • 作者：Aldini, Alessandro.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

36
Formal methods state of the art and new directions /
  • 作者：edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.
  • 出版社：Springer-Verlag London
  • 出版年：2010.
  • 出版地：London :
  • 主題：Formal methods (Computer science) ; Computer Science. ; Software Engineering. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters.
  • 作者：Boca, Paul. ; Bowen, Jonathan P. ; Siddiqi, Jawed.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

37
Formal techniques for distributed systems Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /
  • 作者：edited by John Hatcliff, Elena Zucca.
  • 出版社：IFIP International Federation for Information Processing
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Formal methods (Computer science) ; Computer Science. ; Computer Communication Networks. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
  • 作者：Hatcliff, John. ; Zucca, Elena.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

38
Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings /
  • 作者：edited by Sebastian Link, Henri Prade.
  • 出版社：Springer Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer systems ; Information technology ; Computer Science. ; Mathematical Logic and Formal Languages. ; Discrete Mathematics in Computer Science. ; Logics and Meanings of Programs. ; Mathematics of Computing. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics)
  • 作者：Link, Sebastian. ; Prade, Henri.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

39
Foundations of software science and computational structures 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
  • 作者：edited by Luke Ong.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computer software ; Computer Science. ; Computation by Abstract Devices. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Software Engineering.
  • 作者：Ong, Luke.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

40
Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers /
  • 作者：edited by Santiago Escobar.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Logic programming ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Software Engineering.
  • 作者：Escobar, Santiago.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

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

依年度

依特藏

依作者

依主題

相關集叢系列