skip to main content
Show Results with:

Results 1 - 10 of 16  for Everything in this catalogue

results 1 2 next page
Refined by: subject: Computers--Periodicals remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Cable Belief Networks (Best Application Paper)

Ferguson, Andrew; Thompson, Simon

Lecture notes in computer science. Number 10630 (2017); pp 177-192 -- Springer

Check library holdings

2
Material Type:
Article
Add to My workspace

An Exploration of the Relationship Between Personality and Strategy Formation Using Market Farmer: Using a Bespoke Computer Game in Behavioural Research

Reilly, Andrew

Lecture notes in computer science. Number 11863 (2019); pp 311-323 -- Springer

Check library holdings

3
Material Type:
Article
Add to My workspace

Heterogeneous Semantics and Unifying Theories

Woodcock, Jim; Foster, Simon; Butterfield, Andrew

Lecture notes in computer science. Number 9952 (2016); pp 374-396 -- Springer

Check library holdings

4
Material Type:
Article
Add to My workspace

The Use of Automated Theory Formation in Support of Hazard Analysis

Ireland, Andrew; Llano, Maria Teresa; Colton, Simon

Lecture notes in computer science. Number 10811 (2018); pp 237-243 -- Springer

Check library holdings

5
Material Type:
Article
Add to My workspace

Classifying Ransomware Using Machine Learning Algorithms

Egunjobi, Samuel

Lecture notes in computer science. Number 11872 (2019); pp 45-52 -- Springer

Check library holdings

6
Material Type:
Article
Add to My workspace

ROS Integration for Miniature Mobile Robots

West, Andrew et al.

Lecture notes in computer science. Number 10965 (2018); pp 345-356 -- Springer

Check library holdings

7
Material Type:
Article
Add to My workspace

Massively Parallel Video Networks

Carreira, João et al.

Lecture notes in computer science. Number 11208 (2018); pp 680-697 -- Springer

Check library holdings

8
Material Type:
Article
Add to My workspace

Towards Technologically Assisted Mindfulness Meditation Practice in Older Adults: An Analysis of Difficulties Faced and Design Suggestions for Neurofeedback

Cook, Simon et al.

Lecture notes in computer science. Number 10285 (2017); pp 423-442 -- Springer

Check library holdings

9
Material Type:
Article
Add to My workspace

Model Finding for Recursive Functions in SMT

Reynolds, Andrew et al.

Lecture notes in computer science. Number 9706 (2016); pp 133-151 -- Springer

Check library holdings

10
Material Type:
Article
Add to My workspace

Semi-Automated Design Space Exploration for Formal Modelling

Grov, Gudmund et al.

Lecture notes in computer science. Number 9675 (2016); pp 282-289 -- Springer

Check library holdings

Results 1 - 10 of 16  for Everything in this catalogue

results 1 2 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (15)
  2. Online: Reading Room only  (1)
  3. Refine further open sub menu

Creation date 

From To

Publisher 

  1. Springer  (14)
  2. Elsevier  (2)
  3. Refine further open sub menu

Additional Features 

  1. Abstract  (2)
  2. No Abstract  (14)
  3. Refine further open sub menu

Searching Remote Databases, Please Wait