Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised select... by SpringerLink (Online service), International Conference on Software Engineering and Formal Methods, International Workshop on Behavioral Types Workshop, Workshop on Formal Methods in the Development of Software, Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems, International Symposium on Modelling and Knowledge Management for Sustainable Development, International Workshop on Foundations and Techniques for Open Source Software Certification

“…SpringerLink (Online service)…”
Get full text

New frontiers in applied data mining PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised selected papers / by Pacific-Asia Conference on Knowledge Discovery and Data Mining Shenzhen, China, SpringerLink (Online service), International Workshop on Behavior Informatics, Quality Issues, Measures of Interestingness and Evaluation of Data Mining Models Workshop, Workshop on Advances and Issues in Traditional Chinese Medicine Clinical Data Mining, Workshop on Biologically Inspired Techniques for Data Mining, Workshop on Data Mining for Healthcare Management

Get full text

Database and expert systems applications - DEXA 2021 workshops : BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021 virtual event, September 27-30, 2021 : proceedings / by Database and Expert Systems Applications Conference Online, International Workshop on Biological Knowledge Discovery from Data, International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, International Workshop on Machine Learning and Knowledge Graphs, International Workshop on Artificial Intelligence for Clean, Affordable and Reliable Energy Supply, International Workshop on Time Ordered Data, International Workshop on AI System Engineering: Math, Modelling and Software, SpringerLink (Online service)

Get full text

Highlights of practical applications of agents, multi-agent systems, and sustainability : the PAAMS collection : International Workshops of PAAMS 2015, Salamanca, Spain, June 3-4,... by SpringerLink (Online service), Workshop on Agents and Multi-agent System for AAL and E-HEALTH Committee, Workshop on Agent-Based Solutions for Manufacturing and Supply Chain Committee, Workshop on MAS for Complex Networks and Social Computation, Workshop on Intelligent Systems for Context-Based Information Fusion Committee, Workshop on Multi-agent Based Applications for Smart Grids and Sustainable Energy Systems Committee, Workshop on Multiagent System Based Learning Environments, Workshop on Intelligent Human-Agent Societies Committee, International Conference on Practical Applications of Agents and Multiagent Systems

“…SpringerLink (Online service)…”
Get full text