Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
13 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers
Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers
Author 
Gusikhin, Oleg. editor. Madani, Kurosh. editor. Nijmeijer, Henk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26474-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Set theoretical aspects of real analysis
Set theoretical aspects of real analysis
Author 
Kharazishvili, A. B., author.
Preferred Shelf Number 
QA300 .K43 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Information Science and Applications
Information Science and Applications
Author 
Kim, Kuinam J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46578-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications
Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications
Author 
Olaru, Sorin. editor. Grancharova, Alexandra. editor. Lobo Pereira, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26687-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Information Processing in Medical Imaging 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings
Information Processing in Medical Imaging 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings
Author 
Ourselin, Sebastien. editor. Alexander, Daniel C. editor. Westin, Carl-Fredrik. editor. Cardoso, M. Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19992-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Author 
Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14803-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15702-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Invariant descriptive set theory
Invariant descriptive set theory
Author 
Gao, Su, 1968, author.
Preferred Shelf Number 
QA248 .G36 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Exact solutions and invariant subspaces of nonlinear partial differential equations in mechanics and physics
Exact solutions and invariant subspaces of nonlinear partial differential equations in mechanics and physics
Author 
Galaktionov, Victor A., author. Svirshchevskii, Sergey R.
Preferred Shelf Number 
QA377 .G2217 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Analytical methods for Markov semigroups
Analytical methods for Markov semigroups
Author 
Lorenzi, Luca., author. Bertoldi, Marcello.
Preferred Shelf Number 
QA274.7 .L67 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Stochastic processes and functional analysis : a volume of recent advances in honor of M.M. Rao
Stochastic processes and functional analysis : a volume of recent advances in honor of M.M. Rao
Author 
Krinik, Alan C. (Alan Cary) Rao, M. M. (Malempati Madhusudana), 1929- Swift, Randall J.
Preferred Shelf Number 
QA274 .A1 S7664 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: