Limit Search Results
Author
SpringerLink (Online service)
(17)
Bayer, Josef, contributor.
(2)
Botma, Bert, contributor.
(2)
Dikken, Marcel den, contributor.
(2)
Ershov, I͡Uriĭ Leonidovich.
(2)
Language
Publication Date
-
Subject
Recursion theory.
(9)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(5)
Syntax.
(4)
Grammar, Comparative and general -- Phonology.
(3)
Grammar, Comparative and general -- Syntax.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
48 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Author 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Syntactic Complexity across Interfaces
Syntactic Complexity across Interfaces
Author 
Bauke, Leah S., contributor. Bayer, Josef, contributor. Bayer, Josef, editor. Becker, Misha, contributor. Frey, Werner, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9781614517900
https://www.degruyter.com/isbn/9781614517900
Cover https://www.degruyter.com/document/cover/isbn/9781614517900/original
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Representing Structure in Phonology and Syntax
Representing Structure in Phonology and Syntax
Author 
Bayer, Josef, contributor. Corver, Norbert, contributor. Emonds, Joseph, contributor. Grewendorf, Günther, contributor. Koster, Jan, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9781501502224
https://www.degruyter.com/isbn/9781501502224
Cover https://www.degruyter.com/document/cover/isbn/9781501502224/original
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Data Structures and Algorithms with Python
Data Structures and Algorithms with Python
Author 
Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13072-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Body - Language - Communication : An International Handbook on Multimodality in Human Interaction. Volume 2
Body - Language - Communication : An International Handbook on Multimodality in Human Interaction. Volume 2
Author 
Alibali, Martha W., contributor. Andrén, Mats, contributor. Ashley, Richard, contributor. Bakels, Jan-Hendrik, contributor. Bergen, Benjamin K., contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110302028
https://www.degruyter.com/isbn/9783110302028
Cover https://www.degruyter.com/document/cover/isbn/9783110302028/original
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for The foundations of mathematics
The foundations of mathematics
Author 
Kunen, Kenneth.
Preferred Shelf Number 
QA9 K796 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
35. 
Cover image for Phonological Explorations : Empirical, Theoretical and Diachronic Issues
Phonological Explorations : Empirical, Theoretical and Diachronic Issues
Author 
Apoussidou, Diana, contributor. Archangeli, Diana, contributor. Boersma, Paul, contributor. Booij, Geert, contributor. Botma, Bert, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110295177
https://www.degruyter.com/isbn/9783110295177
Cover https://www.degruyter.com/document/cover/isbn/9783110295177/original
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for The recursive mind : the origins of human language, thought, and civilization
The recursive mind : the origins of human language, thought, and civilization
Author 
Corballis, Michael C.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sw8d
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action