Limit Search Results
Author
SpringerLink (Online service)
(124)
Crespi Reghizzi, Stefano. author.
(3)
Dressler, Wolfgang U., contributor.
(3)
Levelt, W. J., author.
(3)
Martín-Vide, Carlos. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(108)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial intelligence.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
178 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
Cover image for A Course in Formal Languages, Automata and Groups
A Course in Formal Languages, Automata and Groups
Author 
Chiswell, Ian M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-940-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for A programmer's introduction to computability and formal languages
A programmer's introduction to computability and formal languages
Author 
Kurki-Suonio, Reino.
Preferred Shelf Number 
QA 267.3 K87 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for L'analyse formelle des langues naturelles = Introduction to the formal analysisof natural languages = Traduction de l'anglais =
L'analyse formelle des langues naturelles = Introduction to the formal analysisof natural languages = Traduction de l'anglais =
Author 
Chomsky, Noam.
Preferred Shelf Number 
P 123 C5214 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Learning Languages, Being Social : Informal Language Learning and Socialization in Additional Languages
Learning Languages, Being Social : Informal Language Learning and Socialization in Additional Languages
Author 
Ackermann-Boström, Constanze, contributor. Barutçuoğlu, Nazlı Deniz, contributor. Costley, Tracey, contributor. Fazzi, Fabiana, contributor. Ferrara, Lindsay, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110794670
https://www.degruyter.com/isbn/9783110794670
Cover https://www.degruyter.com/document/cover/isbn/9783110794670/original
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Prolog: The Next 50 Years
Prolog: The Next 50 Years
Author 
Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis
Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis
Author 
Fornasiero, Elena, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110783445
https://www.degruyter.com/isbn/9783110783445
Cover https://www.degruyter.com/document/cover/isbn/9783110783445/original
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action