Breadcrumb Home Catalog Catalog Book Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 Publication date May 2011 Editors Kofod-Petersen, A., Heintz, F., Langseth, H. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 227 of Frontiers in Artificial Intelligence and Applications more details Book Behaviour Monitoring and Interpretation – BMI Well-Being Publication date April 2011 Editors Aghajan, H., Gottfried, B. Subjects Computer Sciences, Mathematics & Statistics, Environmental Sciences, Computer Sciences, Artificial Intelligence Volume 9 of Ambient Intelligence and Smart Environments more details Book Combinatorial Optimization: Methods and Applications Publication date April 2011 Editors Chvátal, V. Subjects Security & Terrorism, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 31 of NATO Science for Peace and Security Series - D: Information and Communication Security more details Book Software and Systems Safety Specification and Verification Publication date April 2011 Editors Broy, M., Hoare, T., Leuxner, C. Subjects Security & Terrorism, Social Sciences, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security more details Book Formal Models and Techniques for Analyzing Security Protocols Publication date March 2011 Editors Cortier, V., Kremer, S. Subjects Security & Terrorism, Social Sciences, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 5 of Cryptology and Information Security Series more details Book Process-oriented Semantic Web Search Publication date March 2011 Authors Tran, D.T. Subjects Semantic Web, Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 10 of Studies on the Semantic Web more details Book Radio Frequency Identification System Security RFIDsec'11 Asia Workshop Proceedings Publication date March 2011 Editors Wang, P., Chu, C.-H., Wang, G., Li, T. Subjects Security & Terrorism, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 6 of Cryptology and Information Security Series more details Book A Change-Oriented Architecture for Mathematical Authoring Assistance Publication date February 2011 Authors Wagner, M. Subjects Computer Sciences, Mathematics & Statistics, Technology, Engineering & Architecture, Computer Sciences, Artificial Intelligence Volume 333 of Dissertations in Artificial Intelligence more details Book Formal Concept Analysis and Tag Recommendations in Collaborative Tagging Systems Publication date February 2011 Authors Jäschke, R. Subjects Computer Sciences, Mathematics & Statistics, Neurosciences, Artificial Intelligence Volume 332 of Dissertations in Artificial Intelligence more details Book From Mathematical Beauty to the Truth of Nature To Jerzy Tiuryn on his 60th Birthday Publication date February 2011 Editors Niwiński, D., Gambin, A., Urzyczyn, P. Subjects Mathematics, Computer Sciences, Mathematics & Statistics, Computer Sciences more details Book Granularity Analysis for Tutoring Mathematical Proofs Publication date February 2011 Authors Schiller, M.R.G. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 334 of Dissertations in Artificial Intelligence more details Book Databases and Information Systems VI Selected Papers from the Ninth International Baltic Conference, DB&IS 2010 Publication date January 2011 Editors Barzdins, J., Kirikova, M. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 224 of Frontiers in Artificial Intelligence and Applications more details Pagination First page First Previous page Previous … Page 32 Page 33 Page 34 Page 35 Current page 36 Page 37 Page 38 Page 39 Page 40 … Next page Next Last page Last
Book Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 Publication date May 2011 Editors Kofod-Petersen, A., Heintz, F., Langseth, H. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 227 of Frontiers in Artificial Intelligence and Applications more details
Book Behaviour Monitoring and Interpretation – BMI Well-Being Publication date April 2011 Editors Aghajan, H., Gottfried, B. Subjects Computer Sciences, Mathematics & Statistics, Environmental Sciences, Computer Sciences, Artificial Intelligence Volume 9 of Ambient Intelligence and Smart Environments more details
Book Combinatorial Optimization: Methods and Applications Publication date April 2011 Editors Chvátal, V. Subjects Security & Terrorism, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 31 of NATO Science for Peace and Security Series - D: Information and Communication Security more details
Book Software and Systems Safety Specification and Verification Publication date April 2011 Editors Broy, M., Hoare, T., Leuxner, C. Subjects Security & Terrorism, Social Sciences, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security more details
Book Formal Models and Techniques for Analyzing Security Protocols Publication date March 2011 Editors Cortier, V., Kremer, S. Subjects Security & Terrorism, Social Sciences, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 5 of Cryptology and Information Security Series more details
Book Process-oriented Semantic Web Search Publication date March 2011 Authors Tran, D.T. Subjects Semantic Web, Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 10 of Studies on the Semantic Web more details
Book Radio Frequency Identification System Security RFIDsec'11 Asia Workshop Proceedings Publication date March 2011 Editors Wang, P., Chu, C.-H., Wang, G., Li, T. Subjects Security & Terrorism, Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 6 of Cryptology and Information Security Series more details
Book A Change-Oriented Architecture for Mathematical Authoring Assistance Publication date February 2011 Authors Wagner, M. Subjects Computer Sciences, Mathematics & Statistics, Technology, Engineering & Architecture, Computer Sciences, Artificial Intelligence Volume 333 of Dissertations in Artificial Intelligence more details
Book Formal Concept Analysis and Tag Recommendations in Collaborative Tagging Systems Publication date February 2011 Authors Jäschke, R. Subjects Computer Sciences, Mathematics & Statistics, Neurosciences, Artificial Intelligence Volume 332 of Dissertations in Artificial Intelligence more details
Book From Mathematical Beauty to the Truth of Nature To Jerzy Tiuryn on his 60th Birthday Publication date February 2011 Editors Niwiński, D., Gambin, A., Urzyczyn, P. Subjects Mathematics, Computer Sciences, Mathematics & Statistics, Computer Sciences more details
Book Granularity Analysis for Tutoring Mathematical Proofs Publication date February 2011 Authors Schiller, M.R.G. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 334 of Dissertations in Artificial Intelligence more details
Book Databases and Information Systems VI Selected Papers from the Ninth International Baltic Conference, DB&IS 2010 Publication date January 2011 Editors Barzdins, J., Kirikova, M. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 224 of Frontiers in Artificial Intelligence and Applications more details
