Total 220 items
Display Start and End Time: 2016-05-20 ~ 2023-12-31
Stop Borrow Time: 開放外借
Total167 items。
Linking literature, information, and knowledge for biology Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 28 -29, 2009 : revised selected papers /
Author/Creator：edited by Christian Blaschke, Hagit Shatkay.
Publishers：Springer-Verlag Berlin Heidelberg
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：Bioinformatics ; Computer Science. ; Data Mining and Knowledge Discovery. ; Artificial Intelligence (incl. Robotics) ; Algorithm Analysis and Problem Complexity. ; Pattern Recognition. ; Image Processing and Computer Vision. ; Computational Biology/Bioinformatics.
Author/Creator：Blaschke, Christian. ; Shatkay, Hagit.
Electronic resouces：
Logic, language, information and computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
Author/Creator：edited by Anuj Dawar, Ruy Queiroz.
Publishers：Springer-Verlag Berlin Heidelberg
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：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.
Author/Creator：Dawar, Anuj. ; Queiroz, Ruy.
Electronic resouces：
Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
Author/Creator：edited by Petr Hlineny, Antonin Kucera.
Publishers：Springer-Verlag Berlin Heidelberg
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：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.
Author/Creator：Hlineny, Petr. ; Kucera, Antonin.
Electronic resouces：
Mechanisms for autonomous management of networks and services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010 : proceedings /
Author/Creator：edited by Burkhard Stiller, Filip Turck.
Publishers：IFIP International Federation for Information Processing
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：Autonomic computing ; Computer networks ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Computer Communication Networks. ; Information Systems Applications (incl.Internet) ; Operating Systems. ; Programming Techniques. ; Software Engineering.
Author/Creator：Stiller, Burkhard. ; Turck, Filip.
Electronic resouces：
Multiple classifier systems 9th international workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010 : proceedings /
Author/Creator：edited by Neamat Gayar, Josef Kittler, Fabio Roli.
Publishers：Springer-Verlag Berlin Heidelberg
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：Machine learning ; Neural networks (Computer science) ; Pattern perception ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Computation by Abstract Devices. ; Data Mining and Knowledge Discovery. ; Database Management. ; Information Systems Applications (incl.Internet) ; Pattern Recognition.
Author/Creator：El Gayar, Neamat. ; Kittler, Josef. ; Roli, Fabio.
Electronic resouces：
Total 220 items
