Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Computer science. --- Computers. --- Computer logic. --- Mathematical logic. --- Mathematical statistics. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Probability and Statistics in Computer Science. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Statistical methods --- Computer science --- Machine theory. --- Computer science—Mathematics. --- Formal Languages and Automata Theory. --- Theory of Computation. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the First International Conference, DSAI 2023, held in Bangkok, Thailand, during November 27–30, 2023. The 22 full papers and the 4 short papers included in this volume were carefully reviewed and selected from 70 submissions. This volume focuses on ideas, methodologies, and cutting-edge research that can drive progress and foster interdisciplinary collaboration in the fields of data science and artificial intelligence.

Artificial intelligence. --- Machine learning. --- Artificial intelligence --- Computer vision. --- Natural language processing (Computer science). --- Artificial Intelligence. --- Machine Learning. --- Data Science. --- Computer Vision. --- Natural Language Processing (NLP). --- Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- OS (operating system) --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- ontwerpen --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- software engineering --- OS (operating system)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Mathematical logic --- Logic --- Computer science --- Computer. Automation --- computers --- ontwerpen --- programmeren (informatica) --- wiskunde --- software engineering --- logica --- computerkunde