Search Results for Machines. - Narrowed by: Machine theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMachines.$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ps$003d300?
2026-05-12T18:41:32Z
Theory of machines : kinematics and dynamics
ent://SD_ILS/0/SD_ILS:248786
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Gupta, B. V. R.<br/>Preferred Shelf Number TJ175 G87 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Automata, languages and machines. Voume B
ent://SD_ILS/0/SD_ILS:257218
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Eilenberg, Samuel. Tilson, Bret.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122340024">http://www.sciencedirect.com/science/book/9780122340024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604336
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63536-6">https://doi.org/10.1007/978-3-031-63536-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611112
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling software with finite state machines : a practical approach
ent://SD_ILS/0/SD_ILS:538858
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Wagner, Ferdinand.<br/>Preferred Shelf Number QA76.76 .D47 M625 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420013641">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
ent://SD_ILS/0/SD_ILS:602163
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615937
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613063
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616292
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41114-9">https://doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal languages and computation : models and their applications
ent://SD_ILS/0/SD_ILS:545727
2026-05-12T18:41:32Z
2026-05-12T18:41:32Z
Author Meduna, Alexander, 1957- author. Taylor and Francis.<br/>Preferred Shelf Number QA267.3<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466513495">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>