|
|
|
|
|
|
|
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 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 ; 827Source: 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): .
|
|
|
|
Computer Science Logic [electronic resource] : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings / edited by Georg Gottlob, Etienne Grandjean, Katrin Seyr. by Gottlob, Georg [editor.] | Grandjean, Etienne [editor.] | Seyr, Katrin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1584Source: 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): .
|
|
|
|
|
|
|
|
Distributed Computing and Internet Technology [electronic resource] : Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings / edited by Sanjay K. Madria, Kajal T. Claypool, Rajgopal Kannan, Prem Uppuluri, Manoj Madhava Gore. by Madria, Sanjay K [editor.] | Claypool, Kajal T [editor.] | Kannan, Rajgopal [editor.] | Uppuluri, Prem [editor.] | Gore, Manoj Madhava [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4317Source: 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): .
|
|
|
|
|
|
|
|
Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings / edited by Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach. by Gabbay, Dov M [editor.] | Kruse, Rudolf [editor.] | Nonnengart, Andreas [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1244Source: 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): .
|
|
|
|
Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens. by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4342Source: 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): .
|
|
|
|
Worldwide Computing and Its Applications [electronic resource] : International Conference, WWCA'97 Tsukuba, Japan, March 10–11, 1997 Proceedings / edited by Takashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto. by Masuda, Takashi [editor.] | Masunaga, Yoshifumi [editor.] | Tsukamoto, Michiharu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1274Source: 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): .
|
|
|
|
|
|
|
|
Statistical Network Analysis: Models, Issues, and New Directions [electronic resource] : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers / edited by Edoardo Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing, Alice X. Zheng. by Airoldi, Edoardo [editor.] | Blei, David M [editor.] | Fienberg, Stephen E [editor.] | Goldenberg, Anna [editor.] | Xing, Eric P [editor.] | Zheng, Alice X [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4503Source: 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): .
|
|
|
|
Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn. by Barker, Steve [editor.] | Ahn, Gail-Joon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4602Source: 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): .
|
|
|
|
Database and XMLTechnologies [electronic resource] : 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Denilson Barbosa, Angela Bonifati, Zohra Bellahsène, Ela Hunt, Rainer Unland. by Barbosa, Denilson [editor.] | Bonifati, Angela [editor.] | Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4704Source: 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): .
|
|
|
|
Information Security [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta. by Garay, Juan A [editor.] | Lenstra, Arjen K [editor.] | Mambo, Masahiro [editor.] | Peralta, René [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4779Source: 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): .
|
|
|
|
Large-Scale Knowledge Resources. Construction and Application [electronic resource] : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings / edited by Takenobu Tokunaga, Antonio Ortega. by Tokunaga, Takenobu [editor.] | Ortega, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4938Source: 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): .
|
|
|
|
Advanced Web and Network Technologies, and Applications [electronic resource] : APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008. Revised Selected Papers / edited by Yoshiharu Ishikawa, Jing He, Guandong Xu, Yong Shi, Guangyan Huang, Chaoyi Pang, Qing Zhang, Guoren Wang. by Ishikawa, Yoshiharu [editor.] | He, Jing [editor.] | Xu, Guandong [editor.] | Shi, Yong [editor.] | Huang, Guangyan [editor.] | Pang, Chaoyi [editor.] | Zhang, Qing [editor.] | Wang, Guoren [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4977Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Intelligent Data Analysis VIII [electronic resource] : 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedings / edited by Niall M. Adams, Céline Robardet, Arno Siebes, Jean-François Boulicaut. by Adams, Niall M [editor.] | Robardet, Céline [editor.] | Siebes, Arno [editor.] | Boulicaut, Jean-François [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5772Source: 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] : DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009 / edited by Lei Chen, Chengfei Liu, Qing Liu, Ke Deng. by Chen, Lei [editor.] | Liu, Chengfei [editor.] | Liu, Qing [editor.] | Deng, Ke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5667Source: 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): .
|
|
|
|
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings / edited by Mikhail J. Atallah, Nicholas J. Hopper. by Atallah, Mikhail J [editor.] | Hopper, Nicholas J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6205Source: 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): .
|