Neural networks (Computer science) Neural networks (Computer science). Formal methods (Computer science) Formal methods(Computer science) B method (Computer science) Statecharts (Computer science) Query languages (Computer science) Data recovery (Computer science) Expert systems (computer science) Virtual reality (Computer science)