|
|
|
Combinatorial Optimization and Applications [electronic resource] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings / edited by Ding-Zhu Du, Xiaodong Hu, Panos M. Pardalos. by Du, Ding-Zhu [editor.] | Hu, Xiaodong [editor.] | Pardalos, Panos M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5573Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5635Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Dynamic 3D Imaging [electronic resource] : DAGM 2009 Workshop, Dyn3D 2009, Jena, Germany, September 9, 2009. Proceedings / edited by Andreas Kolb, Reinhard Koch. by Kolb, Andreas [editor.] | Koch, Reinhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5742Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński. by Královič, Rastislav [editor.] | Niwiński, Damian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5734Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part II / edited by Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe. by Kitagawa, Hiroyuki [editor.] | Ishikawa, Yoshiharu [editor.] | Li, Qing [editor.] | Watanabe, Chiemi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5982Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Development of Multimodal Interfaces: Active Listening and Synchrony [electronic resource] : Second COST 2102 International Training School, Dublin, Ireland, March 23-27, 2009, Revised Selected Papers / edited by Anna Esposito, Nick Campbell, Carl Vogel, Amir Hussain, Anton Nijholt. by Esposito, Anna [editor.] | Campbell, Nick [editor.] | Vogel, Carl [editor.] | Hussain, Amir [editor.] | Nijholt, Anton [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5967Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings / edited by Stasinos Konstantopoulos, Stavros Perantonis, Vangelis Karkaletsis, Constantine D. Spyropoulos, George Vouros. by Konstantopoulos, Stasinos [editor.] | Perantonis, Stavros [editor.] | Karkaletsis, Vangelis [editor.] | Spyropoulos, Constantine D [editor.] | Vouros, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6040Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Information Processing in Computer-Assisted Interventions [electronic resource] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings / edited by Nassir Navab, Pierre Jannin. by Navab, Nassir [editor.] | Jannin, Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6135Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings / edited by M. Ali Babar, Matias Vierimaa, Markku Oivo. by Ali Babar, M [editor.] | Vierimaa, Matias [editor.] | Oivo, Markku [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6156Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mechanisms for Autonomous Management of Networks and Services [electronic resource] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings / edited by Burkhard Stiller, Filip Turck. by Stiller, Burkhard [editor.] | Turck, Filip [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6155Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I / edited by Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm. by Kappers, Astrid M. L [editor.] | Erp, Jan B. F [editor.] | Bergmann Tiest, Wouter M [editor.] | Helm, Frans C. T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6191Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers / edited by Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri. by Masulli, Francesco [editor.] | Peterson, Leif E [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6160Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hliněný, Antonín Kučera. by Hliněný, Petr [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6281Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia. by D’Ambra, Pasqua [editor.] | Guarracino, Mario [editor.] | Talia, Domenico [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6271Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Data Engineering and Automated Learning – IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings / edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia-Osorio, Hujun Yin. by Fyfe, Colin [editor.] | Tino, Peter [editor.] | Charles, Darryl [editor.] | Garcia-Osorio, Cesar [editor.] | Yin, Hujun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6283Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Security – ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings / edited by Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou. by Gritzalis, Dimitris [editor.] | Preneel, Bart [editor.] | Theoharidou, Marianthi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6345Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III / edited by Kang Li, Li Jia, Xin Sun, Minrui Fei, George W. Irwin. by Li, Kang [editor.] | Jia, Li [editor.] | Sun, Xin [editor.] | Fei, Minrui [editor.] | Irwin, George W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6330Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|