Limit Search Results
Author
SpringerLink (Online service)
(140)
Gennaro, Rosario. editor.
(2)
Halldórsson, Magnús M. editor.
(2)
Iwama, Kazuo. editor.
(2)
Kanosue, Kazuyuki. editor.
(2)
Language
Subject
Computational intelligence.
(12)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(12)
Artificial intelligence.
(10)
Automation.
(10)
Control engineering.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
186 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Author 
Maletti, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers
Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers
Author 
Lin, Dongdai. editor. Yung, Moti. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16745-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Author 
Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16354-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Author 
Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22174-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Author 
Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25255-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Author 
Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22804-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
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-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Author 
Dhaenens, Clarisse. editor. Jourdan, Laetitia. editor. Marmion, Marie-Eléonore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19084-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
Select an Action