Limit Search Results
Author
SpringerLink (Online service)
(197)
Apduhan, Bernady O. editor.
(6)
Bhalla, Subhash. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Kano, Mikio. editor.
(5)
Language
English
(197)
Publication Date
-
Subject
Artificial intelligence.
(92)
Computer Communication Networks.
(82)
Information systems.
(72)
Computer software.
(63)
Software engineering.
(46)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
197 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Author 
Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35308-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Perception and Machine Intelligence First Indo-Japan Conference, PerMIn 2012, Kolkata, India, January 12-13, 2012. Proceedings
Perception and Machine Intelligence First Indo-Japan Conference, PerMIn 2012, Kolkata, India, January 12-13, 2012. Proceedings
Author 
Kundu, Malay K. editor. Mitra, Sushmita. editor. Mazumdar, Debasis. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27387-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Author 
Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Advances in Natural Language Processing 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012. Proceedings
Advances in Natural Language Processing 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012. Proceedings
Author 
Isahara, Hitoshi. editor. Kanzaki, Kyoko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33983-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Advances in Information and Computer Security 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings
Advances in Information and Computer Security 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings
Author 
Hanaoka, Goichiro. editor. Yamauchi, Toshihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34117-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Pattern Recognition in Bioinformatics 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012. Proceedings
Pattern Recognition in Bioinformatics 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012. Proceedings
Author 
Shibuya, Tetsuo. editor. Kashima, Hisashi. editor. Sese, Jun. editor. Ahmad, Shandar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34123-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR&SPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings
Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR&SPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings
Author 
Gimel’farb, Georgy. editor. Hancock, Edwin. editor. Imiya, Atsushi. editor. Kuijper, Arjan. editor. Kudo, Mineichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34166-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers
Author 
Onada, Takashi. editor. Bekki, Daisuke. editor. McCready, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25655-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advances in Information and Computer Security 6th International Workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings
Advances in Information and Computer Security 6th International Workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings
Author 
Iwata, Tetsu. editor. Nishigaki, Masakatsu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25141-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
Author 
Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20877-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Databases in Networked Information Systems 7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011. Proceedings
Databases in Networked Information Systems 7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011. Proceedings
Author 
Kikuchi, Shinji. editor. Madaan, Aastha. editor. Sachdeva, Shelly. editor. Bhalla, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25731-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computers and Games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers
Computers and Games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers
Author 
Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17928-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action