|
|
|
Universal Acess in Human Computer Interaction. Coping with Diversity [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Constantine Stephanidis. by Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4554Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings / edited by Zoubida Kedad, Nadira Lammari, Elisabeth Métais, Farid Meziane, Yacine Rezgui. by Kedad, Zoubida [editor.] | Lammari, Nadira [editor.] | Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Rezgui, Yacine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4592Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Schmidt, Heinz W [editor.] | Crnkovic, Ivica [editor.] | Heineman, George T [editor.] | Stafford, Judith A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4608Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer. by Gurevich, Yuri [editor.] | Meyer, Bertrand [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4454Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
CONCUR 2007 – Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by Luís Caires, Vasco T. Vasconcelos. by Caires, Luís [editor.] | Vasconcelos, Vasco T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4703Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson. by Noriega, Pablo [editor.] | Vázquez-Salceda, Javier [editor.] | Boella, Guido [editor.] | Boissier, Olivier [editor.] | Dignum, Virginia [editor.] | Fornara, Nicoletta [editor.] | Matson, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4386Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Reasoning Web [electronic resource] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf. by Antoniou, Grigoris [editor.] | Aßmann, Uwe [editor.] | Baroglio, Cristina [editor.] | Decker, Stefan [editor.] | Henze, Nicola [editor.] | Patranjan, Paula-Lavinia [editor.] | Tolksdorf, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4636Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. by George, Chris W [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4710Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4711Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni. by Montanari, Ugo [editor.] | Sannella, Donald [editor.] | Bruni, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4661Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. by Namjoshi, Kedar S [editor.] | Yoneda, Tomohiro [editor.] | Higashino, Teruo [editor.] | Okamura, Yoshio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4762Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The Semantic Web [electronic resource] : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings / edited by Karl Aberer, Key-Sun Choi, Natasha Noy, Dean Allemang, Kyung-Il Lee, Lyndon Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, Philippe Cudré-Mauroux. by Aberer, Karl [editor.] | Choi, Key-Sun [editor.] | Noy, Natasha [editor.] | Allemang, Dean [editor.] | Lee, Kyung-Il [editor.] | Nixon, Lyndon [editor.] | Golbeck, Jennifer [editor.] | Mika, Peter [editor.] | Maynard, Diana [editor.] | Mizoguchi, Riichiro [editor.] | Schreiber, Guus [editor.] | Cudré-Mauroux, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4825Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Task Models and Diagrams for User Interface Design [electronic resource] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings / edited by Marco Winckler, Hilary Johnson, Philippe Palanque. by Winckler, Marco [editor.] | Johnson, Hilary [editor.] | Palanque, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4849Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / edited by Markus Lumpe, Wim Vanderperren. by Lumpe, Markus [editor.] | Vanderperren, Wim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4829Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|