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
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
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:
52. 
Cover image for Mathematical Problems in Data Science Theoretical and Practical Methods
Mathematical Problems in Data Science Theoretical and Practical Methods
Author 
Chen, Li M. author. Su, Zhixun. author. Jiang, Bo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15554-8
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
Cover image for Electromagnetic well logging : models for MWD/LWD interpretation and tool design
Electromagnetic well logging : models for MWD/LWD interpretation and tool design
Author 
Chin, Wilson C.
Preferred Shelf Number 
ONLINE(341852.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118831038.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1643666
ebrary http://site.ebrary.com/id/10845586
John Wiley http://dx.doi.org/10.1002/9781118835074
MyiLibrary http://www.myilibrary.com?id=580376
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets