Limit Search Results
Author
SpringerLink (Online service)
(17)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Kunen, Kenneth.
(2)
Language
Publication Date
-
Subject
Recursion theory.
(10)
Logic, Symbolic and mathematical.
(3)
Recursion theory -- Congresses.
(3)
récursion.
(3)
Computational intelligence.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Author 
Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26651-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applications
Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applications
Author 
Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651 Cruz-Reyes, Laura. editor. Dorronsoro, Bernabé. editor. Rosete, Alejandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38325-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22842-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for A Beginners Guide to Python 3 Programming
A Beginners Guide to Python 3 Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35122-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Optimal and robust state estimation : finite impulse response (FIR) and Kalman approaches
Optimal and robust state estimation : finite impulse response (FIR) and Kalman approaches
Author 
Shmaliy, Yuriy, author. Zhao, Shunyi, author.
Preferred Shelf Number 
QA402.3 .S53 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Strategic engineering
Strategic engineering
Author 
Arcade, Jacques, author.
Preferred Shelf Number 
TA190
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Statistically Speaking : A Dictionary of Quotations.
Statistically Speaking : A Dictionary of Quotations.
Author 
Gaither, C. C. Cavazos-Gaither, Alma E.
Preferred Shelf Number 
QA273
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187124
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Programming interviews exposed : coding your way through the interview
Programming interviews exposed : coding your way through the interview
Author 
Mongan, John, 1976- author. Kindler, Noah, author. Giguère, Eric, 1967- author.
Preferred Shelf Number 
HF5549.5 .I6 M664 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Application of graph rewriting to natural language processing
Application of graph rewriting to natural language processing
Author 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Preferred Shelf Number 
P98
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets