Search Results for Japan

197 Results Found

1 .. 3 4 5 6 7 .. 17

000000000000DEFAULT

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:

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:

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:

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:

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:

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:

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Author

Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35182-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Web and Wireless Geographical Information Systems 10th International Symposium, W2GIS 2011, Kyoto, Japan, March 3-4, 2011. Proceedings

Web and Wireless Geographical Information Systems 10th International Symposium, W2GIS 2011, Kyoto, Japan, March 3-4, 2011. Proceedings

Author

Tanaka, Katsumi. editor. Fröhlich, Peter. editor. Kim, Kyoung-Sook. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19173-2

Format:

Availability

Online Library~1

Available:
Copies:

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:

10.

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:

11.

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:

12.

Cover image for Cryptographic Hardware and Embedded Systems – CHES 2011 13th International Workshop, Nara, Japan, September 28 – October 1, 2011. Proceedings

Cryptographic Hardware and Embedded Systems – CHES 2011 13th International Workshop, Nara, Japan, September 28 – October 1, 2011. Proceedings

Author

Preneel, Bart. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23951-9

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 17

	{displayName}	{count}
{error}