Limit Search Results
Author
SpringerLink (Online service)
(28)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Kunen, Kenneth.
(2)
Language
Publication Date
-
Subject
Recursion theory.
(11)
Computer science.
(5)
Computer science -- Mathematics.
(4)
Computational intelligence.
(3)
Computer Science Logic and Foundations of Programming.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
Cover image for Reinsurance : actuarial and statistical aspects
Reinsurance : actuarial and statistical aspects
Author 
Albrecher, Hansjörg, author. Beirlant, Jan, author. Teugels, Jef L., author.
Preferred Shelf Number 
HG8083
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Author 
Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55198-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Limits of Computation From a Programming Perspective
Limits of Computation From a Programming Perspective
Author 
Reus, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Cool Math for Hot Music A First Introduction to Mathematics for Music Theorists
Cool Math for Hot Music A First Introduction to Mathematics for Music Theorists
Author 
Mazzola, Guerino. author. Mannone, Maria. author. Pang, Yan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42937-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Language Production, Cognition, and the Lexicon
Language Production, Cognition, and the Lexicon
Author 
Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08043-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets