Limit Search Results
Author
Language
Publication Date
-
Subject
Compilers and Interpreters.
(23)
Computer software.
(11)
Mathematical Software.
(11)
Software engineering.
(10)
Computer Science Logic and Foundations of Programming.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000DEFAULT
Print
13. 
Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Author 
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29628-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for MATLAB Mathematical Analysis
MATLAB Mathematical Analysis
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0349-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for MATLAB Differential and Integral Calculus
MATLAB Differential and Integral Calculus
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0304-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
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:
22. 
Cover image for MATLAB Programming for Numerical Analysis
MATLAB Programming for Numerical Analysis
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0295-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for MATLAB Symbolic Algebra and Calculus Tools
MATLAB Symbolic Algebra and Calculus Tools
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0343-9
Format: 
Availability 
Online Library~1
Available:
Copies: