1. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Logic synthesis for finite state machines based on linear chains of states : foundations, recent developments and challenges /: foundations, recent developments and challenges. ([2018]) Authors: Barkalov, Alexander; Titarenko, Larysa; Bieganowski, Jacek Record Type: Book Extent: 1 online resource (viii, 225 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Sequential logic : analysis and synthesis /: analysis and synthesis. (2007) Other Names: Cavanagh, Joseph Record Type: Book Extent: 1 online resource (xiii, 896 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Handbook of finite state based models and applications. ([2013]) Other Names: Wang, Jiacun, 1963- Record Type: Book Extent: 1 online resource (xii, 386 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Cellular automata : 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings /: 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings. (2018) Editors: Mauri, Gian Carlo; El Yacoubi, Samira; Dennunzio, Alberto; Nishinari, Katsuhiro; Manzoni, Luca Other Names: International Conference on Cellular Automata for Research and Industry, 13th Record Type: Book Extent: 1 online resource (xv, 528 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. (2016) Editors: Kordon, Fabrice; Moldt, Daniel Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 37th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Cellular automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016. Fez, Morocco, September 5-8, 2016, proceedings /: 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016. Fez, Morocco, September 5-8, 2016, proceedings. (2016) Editors: El Yacoubi, Samira; Wąs, Jarosław; Bandini, S (Stefania), 1956- Other Names: International Conference on Cellular Automata for Research and Industry, 12th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Theory of practical cellular automaton. (2018) Authors: Li, Xuewei; Wu, Jinpei; Li, Xueyan Record Type: Book Extent: 1 online resource (361 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Transactions on petri nets and other models of concurrency XI. (2016) Editors: Koutny, Maciej, 1958-; Desel, Jörg; Kleijn, Jetty Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 36th; International Conference on Application of Concurrency to System Design, 15th Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Transactions on petri nets and other models of concurrency XII. (2017) Editors: Koutny, Maciej, 1958-; Kleijn, Jetty; Penczek, Wojciech Record Type: Book Extent: 1 online resource (xvii, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗