Limit Search Results
Author
SpringerLink (Online service)
(1135)
Project Muse.
(75)
Wiley InterScience (Online service)
(19)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(13)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(12)
Language
Publication Date
-
Subject
Computer science.
(524)
Software engineering.
(475)
Artificial intelligence.
(304)
Machine theory.
(253)
Formal Languages and Automata Theory.
(249)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2233 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logics of Specification Languages
Logics of Specification Languages
Author 
Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Visual Languages and Applications
Visual Languages and Applications
Author 
Zhang, Kang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68257-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Types and programming languages
Types and programming languages
Author 
Pierce, Benjamin C.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13314-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Discourse in signed languages
Discourse in signed languages
Author 
Roy, Cynthia B., 1950- Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Why do languages change?
Why do languages change?
Author 
Trask, R. L. (Robert Lawrence), 1944-2004. Millar, Robert McColl, 1966-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324080
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
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:
23. 
Cover image for Sign languages : structures and contexts
Sign languages : structures and contexts
Author 
Hill, Joseph Christopher, author. Lillo-Martin, Diane C. (Diane Carolyn), 1959- author. Wood, Sandra K., author.
Preferred Shelf Number 
HV2474
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003450405
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Event Analytics across Languages and Communities
Event Analytics across Languages and Communities
Author 
Marenzi, Ivana. editor. Gottschalk, Simon. editor. Müller-Budack, Eric. editor. Tadić, Marko. editor. Winters, Jane. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64451-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action