Limit Search Results
Author
SpringerLink (Online service)
(123)
Crespi Reghizzi, Stefano. author.
(3)
Martín-Vide, Carlos. editor.
(3)
Baldoni, Matteo. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(108)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial intelligence.
(50)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
140 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal languages
Formal languages
Author 
Salomaa, Arto.
Preferred Shelf Number 
QA 267.3 S24 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331210.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for New Developments in Formal Languages and Applications
New Developments in Formal Languages and Applications
Author 
Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Recent Advances in Formal Languages and Applications
Recent Advances in Formal Languages and Applications
Author 
Esik, Zoltán. editor. Martín-Vide, Carlos. editor. Mitrana, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33461-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal languages and their relation to automata
Formal languages and their relation to automata
Author 
Hopcroft, John E., 1939- Ullman, Jeffrey D., ort. yaz.
Preferred Shelf Number 
QA 267.3 H6 1969
Format: 
Availability 
Beytepe Library~2
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 in Logic A Philosophical and Cognitive Analysis
Formal Languages in Logic A Philosophical and Cognitive Analysis
Author 
Dutilh Novaes, Catarina.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action