Limit Search Results
Author
SpringerLink (Online service)
(36)
Bhasin, Shivam. editor.
(2)
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983
(2)
Masulli, Paolo. editor.
(2)
Picek, Stjepan. editor.
(2)
Language
Publication Date
-
Subject
Theory of Computation.
(13)
Computer science -- Mathematics.
(12)
Artificial intelligence.
(8)
Algorithms.
(6)
Computer Science Logic and Foundations of Programming.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Rendezvous in Distributed Systems Theory, Algorithms and Applications
Rendezvous in Distributed Systems Theory, Algorithms and Applications
Author 
Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3680-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Scala: From a Functional Programming Perspective An Introduction to the Programming Language
Scala: From a Functional Programming Perspective An Introduction to the Programming Language
Author 
Torra, Vicenç. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Evolutionary Computer Vision The First Footprints
Evolutionary Computer Vision The First Footprints
Author 
Olague, Gustavo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43693-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I
Author 
Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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:
32. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II
Author 
Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44781-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Complex Binary Number System Algorithms and Circuits
Complex Binary Number System Algorithms and Circuits
Author 
Jamil, Tariq. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335470.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-0854-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Introduction to Hyperfunctions and Their Integral Transforms An Applied and Computational Approach
Introduction to Hyperfunctions and Their Integral Transforms An Applied and Computational Approach
Author 
Graf, Urs. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0408-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Shape-Preserving Approximation by Real and Complex Polynomials
Shape-Preserving Approximation by Real and Complex Polynomials
Author 
Gal, Sorin G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4703-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Algorithms for Approximation Proceedings of the 5th International Conference, Chester, July 2005
Algorithms for Approximation Proceedings of the 5th International Conference, Chester, July 2005
Author 
Iske, Armin. editor. Levesley, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46551-5
Format: 
Availability 
Online Library~1
Available:
Copies: