國立高雄大學圖資館 |

Search result for [ subject:"Formal Languages and Automata Theory."]

102 records (0.034s)· Page 1 of 11 • 1 2 3 4 5

1.
- Rigorous state-based methods9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023 : proceedings /
- by: (1998 :); Glässer, Uwe.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031331626; 9783031331633
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Coalgebraic methods in computer science16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /
- by: (1998 :); Hansen, Helle Hvid.; SpringerLink (Online service); Zanasi, Fabio.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031107351; 9783031107368
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.
- Metainferential logics
- by: Da Re, Bruno.; Pailos, Federico.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031443800; 9783031443817
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- Programming-based formal languages and automata theorydesign, implement, validate, and prove /
- by: Morazán, Marco T.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031439728; 9783031439735
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Harmony and paradoxintensional aspects of proof-theoretic semantics /
- by: Schroeder-Heister, Peter.; SpringerLink (Online service); Tranchini, Luca.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031469206; 9783031469213
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.
- The application of formal methodsessays dedicated to Jim Woodcock on the occasion of his retirement /
- by: Foster, Simon.; Sampaio, Augusto.; SpringerLink (Online service); Woodcock, Jim.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031671135; 9783031671142
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- The practice of formal methodsessays in honour of Cliff Jones.Part II /
- by: Baxter, James.; Cavalcanti, Ana.; Jones, C. B.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031666728; 9783031666735
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- The practice of formal methodsessays in honour of Cliff Jones.Part I /
- by: Baxter, James.; Cavalcanti, Ana.; Jones, C. B.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031666759; 9783031666766
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.
- An introduction to theory of computationan algorithmic approach /
- by: Ogihara, Mitsunori.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2025
- ISBN: 9783031847394; 9783031847400
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.
- Go where the bugs areessays dedicated to Wolfgang Reif on the occasion of his 65th Birthday /
- by: Ernst, Gidon.; Reif, Wolfgang.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2025
- ISBN: 9783031921957; 9783031921964
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items