Topic: Computers

Time and Petri Nets
Modern Formal Methods and Applications
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II /
Applications of Membrane Computing
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II /
Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005. Proceedings /
Scientific Computing with MATLAB and Octave Second Edition /
Innovations in Design & Decision Support Systems in Architecture and Urban Planning
Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity /
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing 7th International Workshop, RSFDGrC’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings /
Geographic Information Metadata for Spatial Data Infrastructures Resources, Interoperability and Information Retrieval /
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
Information Systems Security 13th International Conference, ICISS 2017, Mumbai, India, December 16-20, 2017, Proceedings /
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /
Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systems /
Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II /
Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Stochastic Algorithms: Foundations and Applications 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007. Proceedings /
ICTs and the Millennium Development Goals A United Nations Perspective /