Search

Subject Computer simulation

201. Latent variable analysis and signal separation : 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018 : proceedings /: 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018 : proceedings. ([2018])

Editors:
Deville, Yannick, 1964-; Gannot, Sharon; Mason, Russell; Plumbley, Mark D; Ward, Dominic
Other Names:
LVA/ICA (Conference), 14th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

202. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018)

Editors:
Chockler, Hana; Weissenbacher, Georg
Other Names:
CAV (Conference), 30th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xix, 703 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

204. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018)

Editors:
Chockler, Hana; Weissenbacher, Georg
Other Names:
CAV (Conference), 30th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xx, 545 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗