共 220 件
性別平等書展
展示上架起迄時間*: 2016-05-20 ~ 2023-12-31
暫停外借截止時間*: 開放外借
共85 件。
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.
電子資源：
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.
電子資源：
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.
電子資源：
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.
電子資源：
共 220 件
