|
|
|
|
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): .
|
|
|
|
|
Aging Friendly Technology for Health and Independence [electronic resource] : 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings / edited by Yeunsook Lee, Z. Zenn Bien, Mounir Mokhtari, Jeong Tai Kim, Mignon Park, Jongbae Kim, Heyoung Lee, Ismail Khalil. by Lee, Yeunsook [editor.] | Bien, Z. Zenn [editor.] | Mokhtari, Mounir [editor.] | Kim, Jeong Tai [editor.] | Park, Mignon [editor.] | Kim, Jongbae [editor.] | Lee, Heyoung [editor.] | Khalil, Ismail [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6159Source: 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): .
|
|
|
|
|
Future Multimedia Networking [electronic resource] : Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings / edited by Sherali Zeadally, Eduardo Cerqueira, Marília Curado, Mikołaj Leszczuk. by Zeadally, Sherali [editor.] | Cerqueira, Eduardo [editor.] | Curado, Marília [editor.] | Leszczuk, Mikołaj [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6157Source: 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): .
|
|
|
|
|
Research into Practice – Reality and Gaps [electronic resource] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings / edited by George T. Heineman, Jan Kofron, Frantisek Plasil. by Heineman, George T [editor.] | Kofron, Jan [editor.] | Plasil, Frantisek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6093Source: 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): .
|
|
|
|
|
Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / edited by Jan Vitek. by Vitek, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6141Source: 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): .
|
|
|
|
|
Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini. by Fraser, Gordon [editor.] | Gargantini, Angelo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6143Source: 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): .
|
|
|
|
|
Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / edited by Benoît Baudry, Eric Wohlstadter. by Baudry, Benoît [editor.] | Wohlstadter, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6144Source: 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): .
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson. by Kaufmann, Matt [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6172Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings / 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 ; 6192Source: 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 2009 – Parallel Processing Workshops [electronic resource] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers / edited by Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knüpfer, Radu Prodan, Leonel Sousa, Achim Streit. by Lin, Hai-Xiang [editor.] | Alexander, Michael [editor.] | Forsell, Martti [editor.] | Knüpfer, Andreas [editor.] | Prodan, Radu [editor.] | Sousa, Leonel [editor.] | Streit, Achim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6043Source: 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): .
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. by Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6199Source: 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): .
|
|
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. by Strichman, Ofer [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6175Source: 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): .
|
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings / edited by Roel Wieringa, Anne Persson. by Wieringa, Roel [editor.] | Persson, Anne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6182Source: 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): .
|
|
|
|
|
Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. by Aloni, Maria [editor.] | Bastiaanse, Harald [editor.] | Jager, Tikitu [editor.] | Schulz, Katrin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6042Source: 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 Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6174Source: 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): .
|
|
|
|
|
Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. by Borba, Paulo [editor.] | Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcook, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6153Source: 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): .
|
