Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519225.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Probabilistic Graphical Models Principles and Applications
Probabilistic Graphical Models Principles and Applications
Author 
Sucar, Luis Enrique. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518484.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6699-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Asia Pacific Business Process Management Third Asia Pacific Conference, AP-BPM 2015, Busan, South Korea, June 24-26, 2015, Proceedings
Asia Pacific Business Process Management Third Asia Pacific Conference, AP-BPM 2015, Busan, South Korea, June 24-26, 2015, Proceedings
Author 
Bae, Joonsoo. editor. Suriadi, Suriadi. editor. Wen, Lijie. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518540.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19509-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
Author 
Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518564.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Author 
Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518625.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519046.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518917.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies: