Limit Search Results
Author
SpringerLink (Online service)
(67)
Gennaro, Rosario. editor.
(2)
Halldórsson, Magnús M. editor.
(2)
Iwama, Kazuo. editor.
(2)
Kanosue, Kazuyuki. editor.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
82 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519043.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Author 
Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519049.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Author 
Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518978.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14974-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Author 
Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518984.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16277-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
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 
XX(519185.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19941-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Neuroanesthesia and Cerebrospinal Protection
Neuroanesthesia and Cerebrospinal Protection
Author 
Uchino, Hiroyuki. editor. Ushijima, Kazuo. editor. Ikeda, Yukio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519765.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-54490-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for The Art of Forgetting
The Art of Forgetting
Author 
Izquierdo, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519781.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-06716-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Handbook of Consultation-Liaison Psychiatry
Handbook of Consultation-Liaison Psychiatry
Author 
Leigh, Hoyle. editor. Streltzer, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519821.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-11005-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Cebirin temel teoremi için dört ispat
Cebirin temel teoremi için dört ispat
Author 
Gauss, Carl Friedrich, 1777-1855 Yücel, Gülnihal, 1968- Feyzioğlu, Ahmet.
Preferred Shelf Number 
QA157 G38 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
46. 
Cover image for Ecology of fishes on coral reefs
Ecology of fishes on coral reefs
Author 
Mora, Camilo, editor.
Preferred Shelf Number 
QL620.45 .E26 2015
Electronic Access 
https://doi.org/10.1017/CBO9781316105412
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Learning scientific programming with Python
Learning scientific programming with Python
Author 
Hill, Christian, 1974- author.
Preferred Shelf Number 
Q183.9 .H58 2015
Electronic Access 
https://doi.org/10.1017/CBO9781139871754
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Measures of Complexity Festschrift for Alexey Chervonenkis
Measures of Complexity Festschrift for Alexey Chervonenkis
Author 
Vovk, Vladimir. editor. Papadopoulos, Harris. editor. Gammerman, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518354.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21852-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action