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 Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Computers in Language Research
Computers in Language Research
Author 
Backer, Paul O., contributor. Benson, David B., contributor. Bohnert, Herbert G., contributor. Goodman, S. E., contributor. Hedetniemi, S. T., contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783112419588
https://www.degruyter.com/isbn/9783112419588
Cover https://www.degruyter.com/document/cover/isbn/9783112419588/original
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Here - Hither - Hence and Related Categories : A Cross-linguistic Study
Here - Hither - Hence and Related Categories : A Cross-linguistic Study
Author 
Nintemann, Julia, author. Hober, Nicole , author. Robbers, Maja, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110672640
https://www.degruyter.com/isbn/9783110672640
Cover https://www.degruyter.com/document/cover/isbn/9783110672640/original
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of Home Language Maintenance and Development : Social and Affective Factors
Handbook of Home Language Maintenance and Development : Social and Affective Factors
Author 
Albury, Nathan, contributor. Annamalai, E., contributor. Camacho, José, contributor. Cheatham, Gregory A., contributor. De Houwer, Annick, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9781501510175
https://www.degruyter.com/isbn/9781501510175
Cover https://www.degruyter.com/document/cover/isbn/9781501510175/original
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence
Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence
Author 
Stolz, Thomas, author. Levkovych, Nataliya, author. Nintemann, Julia, author. Robbers, Maja, author. Urdze, Aina, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110539516
https://www.degruyter.com/isbn/9783110539516
Cover https://www.degruyter.com/document/cover/isbn/9783110539516/original
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
Author 
Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23980-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
Author 
Jureta, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Compiler Construction 24th International Conference, CC 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 
Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46663-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Author 
Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19225-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Author 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action