Limit Search Results
Author
SpringerLink (Online service)
(36)
Cady, Field, 1984- author.
(2)
Lee, Kent D. author.
(2)
Abe, Naoko. editor.
(1)
Al-Taie, Mohammed Zuhair. author.
(1)
Publication Date
-
Subject
Software engineering.
(12)
Artificial intelligence.
(5)
Computer science -- Mathematics.
(5)
Computer science.
(5)
Data mining.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
57 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
Author 
Beebe, Nelson H.F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64110-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for A Practical Approach to Compiler Construction
A Practical Approach to Compiler Construction
Author 
Watson, Des. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52789-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The Data Science Design Manual
The Data Science Design Manual
Author 
Skiena, Steven S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55444-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Guide to Unconventional Computing for Music
Guide to Unconventional Computing for Music
Author 
Miranda, Eduardo Reck. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49881-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Guide to Data Structures A Concise Introduction Using Java
Guide to Data Structures A Concise Introduction Using Java
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70085-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence
From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence
Author 
Zielesny, Achim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32545-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Real Time Control Engineering Systems And Automation
Real Time Control Engineering Systems And Automation
Author 
Ng, Tian Seng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1509-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
Author 
Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action