|
|
|
|
Flexible Query Answering Systems [electronic resource] : 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings / edited by Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen. by Andreasen, Troels [editor.] | Yager, Ronald R [editor.] | Bulskov, Henrik [editor.] | Christiansen, Henning [editor.] | Larsen, Henrik Legind [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5822Source: 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): .
|
|
|
|
|
Spatial Cognition VII [electronic resource] : International Conference, Spatial Cognition 2010, Mt. Hood/Portland, OR, USA, August 15-19, 2010. Proceedings / edited by Christoph Hölscher, Thomas F. Shipley, Marta Olivetti Belardinelli, John A. Bateman, Nora S. Newcombe. by Hölscher, Christoph [editor.] | Shipley, Thomas F [editor.] | Olivetti Belardinelli, Marta [editor.] | Bateman, John A [editor.] | Newcombe, Nora S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6222Source: 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): .
|
|
|
|
|
Active Media Technology [electronic resource] : 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010. Proceedings / edited by Aijun An, Pawan Lingras, Sheila Petty, Runhe Huang. by An, Aijun [editor.] | Lingras, Pawan [editor.] | Petty, Sheila [editor.] | Huang, Runhe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6335Source: 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): .
|
|
|
|
|
Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand. by Parsons, Jeffrey [editor.] | Saeki, Motoshi [editor.] | Shoval, Peretz [editor.] | Woo, Carson [editor.] | Wand, Yair [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6412Source: 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): .
|
|
|
|
|
Human-Computer Interaction. Towards Intelligent and Implicit Interaction [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8008Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / edited by Francisco Pereira, Penousal Machado, Ernesto Costa, Amílcar Cardoso. by Pereira, Francisco [editor.] | Machado, Penousal [editor.] | Costa, Ernesto [editor.] | Cardoso, Amílcar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9273 | Lecture Notes in Computer Science ; 9273Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Adaptive and Adaptable Learning [electronic resource] : 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, Lyon, France, September 13-16, 2016, Proceedings / edited by Katrien Verbert, Mike Sharples, Tomaž Klobučar. by Verbert, Katrien [editor.] | Sharples, Mike [editor.] | Klobučar, Tomaž [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9891 | Lecture Notes in Computer Science ; 9891Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown. by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 408Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by David Schmidt. by Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2986Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani. by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | Damiani, Ferruccio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3085Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Conceptual Structures at Work [electronic resource] : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings / edited by Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach. by Wolff, Karl Erich [editor.] | Pfeiffer, Heather D [editor.] | Delugach, Harry S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3127Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Software Reuse: Methods, Techniques, and Tools [electronic resource] : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004. Proceedings / edited by Jan Bosch, Charles Krueger. by Bosch, Jan [editor.] | Krueger, Charles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3107Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part III / edited by Mircea Gh. Negoita, Robert J. Howlett, Lakhmi C. Jain. by Negoita, Mircea Gh [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3215Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Recent Advances in Intrusion Detection [electronic resource] : 7th International Symposium, RAID 2004, Sophia Antipolis, France, September 15 - 17, 2004. Proceedings / edited by Erland Jonsson, Alfonso Valdes, Magnus Almgren. by Jonsson, Erland [editor.] | Valdes, Alfonso [editor.] | Almgren, Magnus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3224Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings / edited by Bruno Buchberger, John Campbell. by Buchberger, Bruno [editor.] | Campbell, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3249Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Odell, James [editor.] | Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3382Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham. by Hurd, Joe [editor.] | Melham, Tom [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3603Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
