Computer Methodologies : Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish
Here are entered works on computer-based simulation of systems and processes, involving the formulation of a mathematical model, its conversion into a computer program, and execution of experiments with the computerized model for the understanding, evaluation, or design modification of the system or process of interest --subdivision Computer simulation under topical headings, e.g. Psychology--Computer simulation
Here are entered musical works not in a specific form or of a specific type that consist solely of sounds performed live on electronic instruments or recorded from electronic instruments or other analog sources and sometimes subsequently rearranged or alteredThe term "electronics" is used as the medium of performance in headings for forms and types of electronic music, e.g. Suites (Electronics) and for forms and types of music that combine electronic music with other mediums of performance, e.g. Sacred songs (High voice) with electronics; Septets (Electronics, percussion) --headings for forms and types of music that include "electronics" and headings with medium of performance that include "electronics"
A system containing any combination of computers, computer terminals, printers, audio or visual display devices, or telephones interconnected by telecommunications equipment or cables: used to transmit or receive information. (Random House Unabridged Dictionary, 2d ed)
computer network management. : Network classification for traffic management : anomaly detection, feature selection, clustering and classification / Zahir Tari, Adil Fahad, Abdulmohsen Almalawi and Xun Yi