|
|
|
|
|
|
|
|
|
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris [editor.] | Miller, Dale [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7679Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information Retrieval Technology [electronic resource] : 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012. Proceedings / edited by Yuexian Hou, Jian-Yun Nie, Le Sun, Bo Wang, Peng Zhang. by Hou, Yuexian [editor.] | Nie, Jian-Yun [editor.] | Sun, Le [editor.] | Wang, Bo [editor.] | Zhang, Peng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7675Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Cyberspace Safety and Security [electronic resource] : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012. Proceedings / edited by Yang Xiang, Javier Lopez, C.-C. Jay Kuo, Wanlei Zhou. by Xiang, Yang [editor.] | Lopez, Javier [editor.] | Kuo, C.-C. Jay [editor.] | Zhou, Wanlei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7672Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Trusted Systems [electronic resource] : 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings / edited by Chris J. Mitchell, Allan Tomlinson. by Mitchell, Chris J [editor.] | Tomlinson, Allan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7711Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Ubiquitous Computing and Ambient Intelligence [electronic resource] : 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings / edited by José Bravo, Diego López-de-Ipiña, Francisco Moya. by Bravo, José [editor.] | López-de-Ipiña, Diego [editor.] | Moya, Francisco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7656Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Pradipta Kumar Nanda. by Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Nanda, Pradipta Kumar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7677Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Social Informatics [electronic resource] : 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012. Proceedings / edited by Karl Aberer, Andreas Flache, Wander Jager, Ling Liu, Jie Tang, Christophe Guéret. by Aberer, Karl [editor.] | Flache, Andreas [editor.] | Jager, Wander [editor.] | Liu, Ling [editor.] | Tang, Jie [editor.] | Guéret, Christophe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7710Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Ambient Assisted Living and Home Care [electronic resource] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings / edited by José Bravo, Ramón Hervás, Marcela Rodríguez. by Bravo, José [editor.] | Hervás, Ramón [editor.] | Rodríguez, Marcela [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7657Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Cryptology and Network Security [electronic resource] : 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings / edited by Josef Pieprzyk, Ahmad-Reza Sadeghi, Mark Manulis. by Pieprzyk, Josef [editor.] | Sadeghi, Ahmad-Reza [editor.] | Manulis, Mark [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7712Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Security Applications [electronic resource] : 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers / edited by Dong Hoon Lee, Moti Yung. by Lee, Dong Hoon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7690Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers / edited by Fei Wang, Dinggang Shen, Pingkun Yan, Kenji Suzuki. by Wang, Fei [editor.] | Shen, Dinggang [editor.] | Yan, Pingkun [editor.] | Suzuki, Kenji [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7588Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings / edited by Chattrakul Sombattheera, Nguyen Kim Loi, Rajeev Wankar, Tho Quan. by Sombattheera, Chattrakul [editor.] | Loi, Nguyen Kim [editor.] | Wankar, Rajeev [editor.] | Quan, Tho [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7694Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings / edited by Roberto Baldoni, Paola Flocchini, Ravindran Binoy. by Baldoni, Roberto [editor.] | Flocchini, Paola [editor.] | Binoy, Ravindran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7702Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial General Intelligence [electronic resource] : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings / edited by Joscha Bach, Ben Goertzel, Matthew Iklé. by Bach, Joscha [editor.] | Goertzel, Ben [editor.] | Iklé, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7716Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 8th International Conference, ADMA 2012, Nanjing, China, December 15-18, 2012. Proceedings / edited by Shuigeng Zhou, Songmao Zhang, George Karypis. by Zhou, Shuigeng [editor.] | Zhang, Songmao [editor.] | Karypis, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7713Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Evolution [electronic resource] : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers / edited by Jin-Kao Hao, Pierrick Legrand, Pierre Collet, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer. by Hao, Jin-Kao [editor.] | Legrand, Pierrick [editor.] | Collet, Pierre [editor.] | Monmarché, Nicolas [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7401Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
