Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for An Introduction to Python and Computer Programming
An Introduction to Python and Computer Programming
Author 
Zhang, Yue. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-287-609-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for MATLAB Matrix Algebra
MATLAB Matrix Algebra
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0307-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for MATLAB Differential Equations
MATLAB Differential Equations
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0310-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for MATLAB Graphical Programming Practical hands-on MATLAB solutions
MATLAB Graphical Programming Practical hands-on MATLAB solutions
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0316-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for MATLAB Numerical Calculations
MATLAB Numerical Calculations
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0346-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for MATLAB Control Systems Engineering
MATLAB Control Systems Engineering
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0289-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for MATLAB Linear Algebra
MATLAB Linear Algebra
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0322-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for MATLAB Optimization Techniques
MATLAB Optimization Techniques
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0292-0
Format: 
Availability 
Online Library~1
Available:
Copies: