Limit Search Results
Author
Language
Publication Date
-
Subject
Algorithms.
(3)
Compilers (Computer programs).
(3)
Compilers and Interpreters.
(3)
Computer programming.
(3)
Computer science -- Mathematics.
(3)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
0000000DEFAULT
Print
13. 
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:
14. 
Cover image for Hiding Data - Selected Topics Rudolf Ahlswede's Lectures on Information Theory 3
Hiding Data - Selected Topics Rudolf Ahlswede's Lectures on Information Theory 3
Author 
Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. (orcid)0000-0002-2265-4887 Tamm, Ulrich. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31515-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency
Author 
Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15398-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Clinical Decision Support Systems Theory and Practice
Clinical Decision Support Systems Theory and Practice
Author 
Berner, Eta S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31913-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Participation in Computing The National Science Foundation's Expansionary Programs
Participation in Computing The National Science Foundation's Expansionary Programs
Author 
Aspray, William. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24832-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Python Algorithms Mastering Basic Algorithms in the Python Language
Python Algorithms Mastering Basic Algorithms in the Python Language
Author 
Hetland, Magnus Lie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0055-1
Format: 
Availability 
Online Library~1
Available:
Copies: