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

東南亞史書籍特展

東南亞史書籍特展

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

11
Automata, languages and programming 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
  • 作者：Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.).
  • 出版社：Springer
  • 出版年：c2001.
  • 出版地：Berlin ; New York :
  • 主題：Computer programming ; Formal languages ; Machine theory
  • 作者：Leeuwen, Jan van. ; Orejas, Fernando. ; Spirakis, Paul G.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

12
Automata, languages and programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.
  • 作者：edited by Samson Abramsky ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Machine theory ; Artificial intelligence ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics) ; Computation by Abstract Devices. ; Discrete Mathematics in Computer Science. ; Computer Communication Networks. ; Mathematical Logic and Formal Languages.
  • 作者：Abramsky, Samson.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

13
Automata, languages, and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
  • 作者：Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.)
  • 出版社：Springer
  • 出版年：c1998.
  • 出版地：Berlin ; New York :
  • 主題：Computer programming ; Formal languages ; Machine theory
  • 作者：Larsen, Kim G. ; Skyum, Sven. ; Winskel, Glynn.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

14
Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
詳細內容
延伸查詢
校本部圖書通閱

15
Automated reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
  • 作者：edited by Jurgen Giesl, Reiner Hahnle.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Automatic theorem proving ; Computer logic ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages. ; Logics and Meanings of Programs. ; Logic Design. ; Discrete Mathematics in Computer Science. ; Mathematics of Computing.
  • 作者：Giesl, Jurgen. ; Hahnle, Reiner.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

16
Collected works. gesammelte Werke.
  • 作者：by Ernst Zermelo ; edited by/Herausgegeben von Heinz-Dieter Ebbinghaus, Akihiro Kanamori.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Set theory. ; Mathematics. ; Applications of Mathematics. ; History of Mathematics. ; History of Philosophy. ; History of Science. ; Mathematical Logic and Formal Languages. ; Mathematical Logic and Foundations.
  • 作者：Zermelo, Ernst. ; Ebbinghaus, Heinz-Dieter. ; Kanamori, Akihiro.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

17
Compiler construction 19th international conference, CC 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 Rajiv Gupta.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Compilers (Computer programs) ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Computer Communication Networks. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
  • 作者：Gupta, Rajiv.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

18
Computational intelligence for knowledge-based systems design 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings /
  • 作者：edited by Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computational intelligence ; Expert systems (Computer science) ; Uncertainty (Information theory) ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Computation by Abstract Devices. ; Database Management. ; Information Storage and Retrieval. ; Information Systems Applications (incl.Internet) ; Mathematical Logic and Formal Languages.
  • 作者：Hoffmann, Frank. ; Hullermeier, Eyke. ; Kruse, Rudolf.
  • 電子資源：resource    ;
詳細內容
延伸查詢
校本部圖書通閱

19
Computational linguistics and intelligent text processing 11th international conference, CICLing 2010, Iasi, Romania, March 21-27, 2010 : proceedings /
  • 作者：edited by Alexander Gelbukh.
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Computational linguistics ; Text processing (Computer science) ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Data Mining and Knowledge Discovery. ; Database Management. ; Information Storage and Retrieval. ; Information Systems Applications (incl.Internet) ; Mathematical Logic and Formal Languages.
  • 作者：Gelbukh, Alexander.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

20
Computational logic in multi-agent systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings /
  • 作者：edited by Jurgen Dix ... [et al.].
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 出版年：2010.
  • 出版地：Berlin, Heidelberg :
  • 主題：Multiagent systems ; Computer logic ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Software Engineering. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Computer Communication Networks. ; Programming Languages, Compilers, Interpreters.
  • 作者：Dix, Jurgen.
  • 電子資源：resource
詳細內容
延伸查詢
校本部圖書通閱

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

依年度

依特藏

依作者

依主題

相關集叢系列