Limit Search Results
Author
SpringerLink (Online service)
(249)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Hameurlain, Abdelkader. editor.
(4)
Martín-Vide, Carlos. editor.
(4)
Language
English
(256)
Publication Date
-
Subject
Formal Languages and Automata Theory.
(249)
Computer science.
(160)
Computer Science Logic and Foundations of Programming.
(137)
Software engineering.
(135)
Artificial intelligence.
(126)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
256 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for An introduction to formal languages and automata
An introduction to formal languages and automata
Author 
Linz, Peter.
Preferred Shelf Number 
QA267.3 L56 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Theory of automata languages and computation
Theory of automata languages and computation
Author 
Kumar, Rajendra.
Preferred Shelf Number 
QA267 K86 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Automata, languages and machines. Voume B
Automata, languages and machines. Voume B
Author 
Eilenberg, Samuel. Tilson, Bret.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780122340024
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Introduction to automata theory, languages, and computation
Introduction to automata theory, languages, and computation
Author 
Hopcroft, John E., 1939- Motwani, Rajeev. Ullman, Jeffrey D., 1942-
Preferred Shelf Number 
QA267 H56 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Problem solving in automata, languages, and complexity
Problem solving in automata, languages, and complexity
Author 
Du, Dingzhu. Ko, Ker-I.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
John Wiley http://dx.doi.org/10.1002/0471224642
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2001275892.html
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=215154
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Author 
Morazán, Marco T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43973-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Author 
Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45279-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Author 
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47958-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Author 
Rigo, Michel.
Preferred Shelf Number 
ONLINE(342165.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119008200
John Wiley http://dx.doi.org/10.1002/9781119042853
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal languages and computation : models and their applications
Formal languages and computation : models and their applications
Author 
Meduna, Alexander, 1957- author. Taylor and Francis.
Preferred Shelf Number 
QA267.3
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Author 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action