Breadcrumb Home Catalog Catalog Toggle filters Search Clear all filters Search Search by alphabet Clear A B C D E F (-) G H I J K L M N O (-) P Q R S T U V W X Y Z Type (-) All types (29) Book (28) Book series (1) Subjects (-) Clear (317) Computer Sciences, Mathematics & Statistics (75) (-) Artificial Intelligence (19) (-) Mathematics (3) Computer Sciences (39) Information Sciences (13) Semantic Web (6) Computer Networks & Communications (1) Technology, Engineering & Architecture (64) (-) Transportation (7) Engineering (27) Urban Studies (17) Marine Technology (4) Telecommunications (4) Technology (2) Natural Sciences (60) Geosciences (19) Biochemistry (10) Physics (8) Medicine & Health (56) Medicine (36) Health Information Technology (29) Public Health (12) Neurosciences (8) Rehabilitation (8) Cancer Research (4) Assistive Technology (2) Ergonomics (2) Humanities & Social Sciences (53) Policy & Law (24) Social Sciences (20) Behavioral Sciences (12) Security & Terrorism (12) Management (4) Administration (3) Economics (2) Environmental & Energy Sciences (9) Environmental Sciences (6) Sustainability (4) Water, Energy & Fuels (1) Access Open Access Discontinued Include Discontinued Book PAIS 2022 11th Conference on Prestigious Applications of Artificial Intelligence, 25 July 2022, Vienna, Austria (co-located with IJCAI-ECAI 2022) Publication date August 2022 Editors Passerini, A. , Schiex, T. Subjects Artificial Intelligence more details Book Proceedings of the 1st International Conference on New Materials, Machinery and Vehicle Engineering Publication date May 2022 Editors Xu, J., Cai, Y., El Mansori, M. Subjects Engineering, Technology, Transportation more details Book Proceedings of the 20th International Ship and Offshore Structures Congress (ISSC 2018) Volume 3 Discussions Publication date February 2020 Editors Kaminski, M.L., Rigo, P. Subjects Engineering, Marine Technology, Transportation more details Book Proceedings of the 20th International Ship and Offshore Structures Congress (ISSC 2018) Volume 1 Technical Committee Reports Publication date July 2018 Editors Kaminski, M.L., Rigo, P. Subjects Engineering, Marine Technology, Transportation more details Book Proceedings of the 20th International Ship and Offshore Structures Congress (ISSC 2018) Volume 2 Specialist Committee Reports Publication date July 2018 Editors Kaminski, M.L., Rigo, P. Subjects Engineering, Marine Technology, Transportation more details Book Grounding Geographic Information in Perceptual Operations Publication date August 2012 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details Book Process Model Management Using Description Logics Publication date May 2012 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details Book Probabilistic Reasoning with Incomplete and Inconsistent Beliefs Publication date January 2012 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details Book Process-oriented Semantic Web Search Publication date March 2011 Subjects Semantic Web, Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details Book Granularity Analysis for Tutoring Mathematical Proofs Publication date February 2011 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details Book Physics and Theoretical Computer Science From Numbers and Languages to (Quantum) Cryptography Publication date February 2007 Editors Gazeau, J.-P., Nešetřil, J., Rovan, B. Subjects Mathematics, Natural Sciences, Computer Sciences, Mathematics & Statistics, Computer Sciences more details Book Proof Technology and Computation Publication date July 2006 Editors Spies, K., Schwichtenberg, H. Subjects Mathematics, Computer Sciences, Mathematics & Statistics more details Pagination Current page 1 Page 2 Page 3 Next page Next Last page Last
Book PAIS 2022 11th Conference on Prestigious Applications of Artificial Intelligence, 25 July 2022, Vienna, Austria (co-located with IJCAI-ECAI 2022) Publication date August 2022 Editors Passerini, A. , Schiex, T. Subjects Artificial Intelligence more details
Book Proceedings of the 1st International Conference on New Materials, Machinery and Vehicle Engineering Publication date May 2022 Editors Xu, J., Cai, Y., El Mansori, M. Subjects Engineering, Technology, Transportation more details
Book Proceedings of the 20th International Ship and Offshore Structures Congress (ISSC 2018) Volume 3 Discussions Publication date February 2020 Editors Kaminski, M.L., Rigo, P. Subjects Engineering, Marine Technology, Transportation more details
Book Proceedings of the 20th International Ship and Offshore Structures Congress (ISSC 2018) Volume 1 Technical Committee Reports Publication date July 2018 Editors Kaminski, M.L., Rigo, P. Subjects Engineering, Marine Technology, Transportation more details
Book Proceedings of the 20th International Ship and Offshore Structures Congress (ISSC 2018) Volume 2 Specialist Committee Reports Publication date July 2018 Editors Kaminski, M.L., Rigo, P. Subjects Engineering, Marine Technology, Transportation more details
Book Grounding Geographic Information in Perceptual Operations Publication date August 2012 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details
Book Process Model Management Using Description Logics Publication date May 2012 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details
Book Probabilistic Reasoning with Incomplete and Inconsistent Beliefs Publication date January 2012 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details
Book Process-oriented Semantic Web Search Publication date March 2011 Subjects Semantic Web, Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details
Book Granularity Analysis for Tutoring Mathematical Proofs Publication date February 2011 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence more details
Book Physics and Theoretical Computer Science From Numbers and Languages to (Quantum) Cryptography Publication date February 2007 Editors Gazeau, J.-P., Nešetřil, J., Rovan, B. Subjects Mathematics, Natural Sciences, Computer Sciences, Mathematics & Statistics, Computer Sciences more details
Book Proof Technology and Computation Publication date July 2006 Editors Spies, K., Schwichtenberg, H. Subjects Mathematics, Computer Sciences, Mathematics & Statistics more details