subjectheading:[Machine theory] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Machine theory]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Descriptional complexity of formal systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings[...] DCFS (Workshop) (25th : 2023 : Potsdam, Germany); Bordihn, Henning, editor.; Tran, N[...] Cham : Springer, [2023] QA267.3 .D34 2023 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Implementation and application of automata : 26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022, Proceedings / Pascal [...] CIAA (Conference) (26th : 2022 : Rouen, France); Caron, Pascal, editor.; Mignot, Lud[...] Cham, Switzerland : Springer, 2022. QA267 .C53 2022eb \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings / Alexander Raschke, Dominique[...] ABZ (Conference) (8th : 2021 : Online); Raschke, Alexander., editor.; Méry, Dominiq[...] Cham : Springer, [2021] ©2021 Q325.5 .A29 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Language and automata theory and applications : 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, proceedings / Alberto Le[...] LATA (Conference) (15th : 2021 : Milan, Italy); Leporati, Alberto, editor; Martín V[...] Cham, Switzerland : Springer, [2021] QA267 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Descriptional complexity of formal systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings / Galina [...] DCFS (Workshop) (22nd : 2020); Jirásková, Galina, editor.; Pighizzini, Giovanni, e[...] Cham, Switzerland : Springer, [2020] View e-resource \| Available Online \| Detailed record - Similar records
6.	Language and automata theory and applications : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, proceedings / Alberto L[...] LATA (Conference) (14th : 2020 : Milan, Italy); Leporati, Alberto.; Martín Vide, Ca[...] Cham, Switzerland : Springer, [2020] QA267 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings [...] LATA (Conference) (13th : 2019 : Saint Petersburg, Russia); Martín Vide, Carlos, [...] Cham, Switzerland : Springer, 2019. QA267 .L38 2019eb \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Implementation and application of automata [electronic resource] : 21st International Conference, Proceedings, CIAA 2016, Seoul, South Korea, Jul[...] CIAA (Conference) (21st : 2016 : Seoul, Korea); Han, Yo-Sub, editor.; Salomaa, Kai, [...] Switzerland : Springer, [2013] QA267 .C53 2016eb \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Abstract state machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016[...] ABZ (Conference) (5th : 2016 : Linz, Austria); Butler, Michael, editor.; Schewe, Kla[...] Switzerland : Springer, 2016. Q325.5 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Language and automata theory and applications [electronic resource] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-[...] LATA (Conference) (10th : 2016 : Prague, Czech Republic); Horia Dediu, Adrian, edi[...] Cham : Springer, 2016. QA267 \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.