|
|
|
|
|
|
|
Information and Communication Security [electronic resource] : Second International Conference, ICICS’99, Sydney, Australia, November 9-11, 1999. Proceedings / edited by Vijay Varadharajan, Yi Mu. by Varadharajan, Vijay [editor.] | Mu, Yi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1726Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4246Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Euro-Par’99 Parallel Processing [electronic resource] : 5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings / edited by Patrick Amestoy, Philippe Berger, Michel Daydé, Daniel Ruiz, Iain Duff, Valérie Frayssé, Luc Giraud. by Amestoy, Patrick [editor.] | Berger, Philippe [editor.] | Daydé, Michel [editor.] | Ruiz, Daniel [editor.] | Duff, Iain [editor.] | Frayssé, Valérie [editor.] | Giraud, Luc [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1685Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / edited by Jiří Wiedermann, Peter Emde Boas, Mogens Nielsen. by Wiedermann, Jiří [editor.] | Emde Boas, Peter [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1644Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Human-Computer Interaction [electronic resource] : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers / edited by Brad Blumenthal, Juri Gornostaev, Claus Unger. by Blumenthal, Brad [editor.] | Gornostaev, Juri [editor.] | Unger, Claus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 876Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Practical Reasoning [electronic resource] : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach. by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1085Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Scale-Space Theory in Computer Vision [electronic resource] : First International Conference, Scale-Space'97 Utrecht, The Netherlands, July 2–4, 1997 Proceedings / edited by Bart Haar Romeny, Luc Florack, Jan Koenderink, Max Viergever. by Haar Romeny, Bart [editor.] | Florack, Luc [editor.] | Koenderink, Jan [editor.] | Viergever, Max [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1252Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007. Proceedings / edited by Jörg M. Haake, Sergio F. Ochoa, Alejandra Cechich. by Haake, Jörg M [editor.] | Ochoa, Sergio F [editor.] | Cechich, Alejandra [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4715Source: 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): .
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk. by Autexier, Serge [editor.] | Campbell, John [editor.] | Rubio, Julio [editor.] | Sorge, Volker [editor.] | Suzuki, Masakazu [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5144Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings / edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos. by Darzentas, John [editor.] | Vouros, George A [editor.] | Vosinakis, Spyros [editor.] | Arnellos, Argyris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5138Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Multimedia Modeling [electronic resource] : 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. / edited by Benoit Huet, Alan Smeaton, Ketan Mayer-Patel, Yannis Avrithis. by Huet, Benoit [editor.] | Smeaton, Alan [editor.] | Mayer-Patel, Ketan [editor.] | Avrithis, Yannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5371Source: 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 Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle. by Grädel, Erich [editor.] | Kahle, Reinhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5771Source: 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): .
|
|
|
|
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): .
|
|
|
|
|