共 86 件
東南亞史書籍特展
東南亞史書籍特展
展示上架起迄時間*: 2020-03-03 ~ 2020-04-30
暫停外借截止時間*: 2020-03-03 ~ 2020-03-03
共85 件。
2
Abstract state machines, Alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22 -25, 2010 : proceedings /
作者:edited by Marc Frappier ... [et al.].
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Machine learning ; 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.
作者:Frappier, Marc.
電子資源:
4
Advances in natural language processing 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 /
作者:edited by Hrafn Loftsson, Eirikur Rognvaldsson, Sigrun Helgadottir.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Natural language processing (Computer science) ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Information Storage and Retrieval. ; Information Systems Applications (incl.Internet) ; Database Management. ; Data Mining and Knowledge Discovery. ; Mathematical Logic and Formal Languages.
作者:Loftsson, Hrafn. ; Rognvaldsson, Eirikur. ; Helgadottir, Sigrun.
電子資源:
7
Applications and theory of Petri nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
作者:edited by Johan Lilius, Wojciech Penczek.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Petri nets ; Computer Science. ; Computation by Abstract Devices. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
作者:Lilius, Johan. ; Penczek, Wojciech.
電子資源: ;
8
Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /
作者:edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Functional programming (Computer science) ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Information Systems Applications (incl.Internet) ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Techniques. ; Software Engineering.
作者:Kitzelmann, Emanuel. ; Plasmeijer, Rinus. ; Schmid, Ute.
電子資源: