Limit Search Results
Author
SpringerLink (Online service)
(19)
Apduhan, Bernady O. editor.
(5)
Gavrilova, Marina L. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Engineering materials : applied research and evaluation methods
Engineering materials : applied research and evaluation methods
Author 
Pourhashemi, Ali, editor. Zaikov, G. E. (Gennadi¿̐ưi Efremovich), 1935- editor. Haghi, A. K., editor.
Preferred Shelf Number 
ONLINE(357065.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Simple statistical methods for software engineering : data and patterns
Simple statistical methods for software engineering : data and patterns
Author 
Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Author 
Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518970.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25423-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Author 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519205.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518840.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519078.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Variational methods for engineers with Matlab®
Variational methods for engineers with Matlab®
Author 
Cursi, Eduardo Souza de, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Welding metallurgy and weldability
Welding metallurgy and weldability
Author 
Lippold, John C., author.
Preferred Shelf Number 
ONLINE(342083.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118230701.jpg
John Wiley http://dx.doi.org/10.1002/9781118960332
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Semi-Markov processes : applications in system reliability and maintenance
Semi-Markov processes : applications in system reliability and maintenance
Author 
Grabski, Franciszek, author.
Preferred Shelf Number 
ONLINE(355517.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128005187
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Traffic simulation and data : validation methods and applications
Traffic simulation and data : validation methods and applications
Author 
Daamen, Winnie, editor. Buisson, Christine, editor. Hoogendoorn, S. P., editor.
Preferred Shelf Number 
ONLINE(356604.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Chaos analysis and chaotic EMI suppression of DC-DC converters
Chaos analysis and chaotic EMI suppression of DC-DC converters
Author 
Zhang, Bo, 1976- Wang, Xuemei (Electrical engineer)
Preferred Shelf Number 
ONLINE(341544.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118451007.jpg
John Wiley http://dx.doi.org/10.1002/9781118451106
MyiLibrary http://www.myilibrary.com?id=663037
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519260.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21410-8
Format: 
Availability 
Online Library~1
Available:
Copies: