1. Recursion theory. ([2018?]) Authors: Shoenfield, Joseph R (Joseph Robert), 1927- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Cellular automata : analysis and applications /: analysis and applications. ([2017]) Authors: Hadeler, K. P (Karl Peter), 1936-; Müller, Johannes Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Probabilistic cellular automata : theory, applications and future perspectives /: theory, applications and future perspectives. (2018) Editors: Louis, Pierre-Yves; Nardi, Francesca R Record Type: Book Extent: 1 online resource (350 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Systems dependability assessment : benefits of petri net models /: benefits of petri net models. (2016) Authors: Aubry, Jean-François; Brînzei, Nicolae; Mazouni, Mohammed-Habib Record Type: Book Extent: 1 online resource, illustrations (black and white, and colour) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Introduction to automata theory, languages, and computation. (©2014) Other Names: Hopcroft, John E, 1939-; Motwani, Rajeev; Ullman, Jeffrey D, 1942- Record Type: Book Extent: 1 online resource (488 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Robust modelling and simulation : integration of SIMIO with coloured Petri nets /: integration of SIMIO with coloured Petri nets. (2017) Authors: Mota, Idalia Flores de la Other Names: Guasch, Antoni; Mujica Mota, Miguel; Piera, M. A (Miquel Angel) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Stochastic petri nets for wireless networks. ([2015]) Authors: Lei, Lei, 1981-; Lin, Chuang; Zhong, Zhangdui Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Introduction to automata theory, languages, and computation. ([2014]) Authors: Hopcroft, John E, 1939-; Motwani, Rajeev; Ullman, Jeffrey D, 1942- Record Type: Book Extent: 1 online resource (488 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Machine analysis with computer applications for mechanical engineers. (2016) Authors: Doane, James Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Application and theory of petri nets and concurrency : 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, proceedings /: 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, proceedings. (2019) Editors: Donatelli, Susanna; Haar, Stefan Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 40th Record Type: Book Extent: 1 online resource (471 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗