Limit Search Results
Author
SpringerLink (Online service)
(51)
Taylor and Francis.
(3)
Alpay, Daniel. editor.
(2)
Anastassiou, George A. author.
(2)
Davis, Timothy A., author.
(2)
Language
Publication Date
-
Subject
Mathematics.
(9)
Computational intelligence.
(6)
Engineering mathematics.
(6)
Artificial intelligence.
(5)
Engineering -- Data processing.
(5)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Author 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings
Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings
Author 
Kryszkiewicz, Marzena. editor. Bandyopadhyay, Sanghamitra. editor. Rybinski, Henryk. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19941-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
Author 
Lee, Jooyoung. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15943-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
Author 
Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2247-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Mathematical Control Theory II Behavioral Systems and Robust Control
Mathematical Control Theory II Behavioral Systems and Robust Control
Author 
Belur, Madhu N. editor. Camlibel, M. Kanat. editor. Rapisarda, Paolo. editor. Scherpen, Jacquelien M.A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21003-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Fidanova, Stefka. editor. Lirkov, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15585-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings
Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings
Author 
Paredes, Roberto. editor. Cardoso, Jaime S. editor. Pardo, Xosé M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19390-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Recent Advances in Computational Methods and Clinical Applications for Spine Imaging
Recent Advances in Computational Methods and Clinical Applications for Spine Imaging
Author 
Yao, Jianhua. editor. Glocker, Ben. editor. Klinder, Tobias. editor. Li, Shuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14148-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computing in geographic information systems
Computing in geographic information systems
Author 
Panigrahi, Narayan, author.
Preferred Shelf Number 
G70.212 .P35 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action