|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3569Source: 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): .
|
|
|
|
Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings / edited by Lynn Margaret Batten, Reihaneh Safavi-Naini. by Batten, Lynn Margaret [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4058Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings / edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov. by Budach, Lothar [editor.] | Bukharajev, Rais Gatič [editor.] | Lupanov, Oleg Borisovič [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 278Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička. by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 841Source: 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): .
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel. by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1443Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
STACS 98 [electronic resource] : 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25–27, 1998 Proceedings / edited by Michel Morvan, Christoph Meinel, Daniel Krob. by Morvan, Michel [editor.] | Meinel, Christoph [editor.] | Krob, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1373Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert. by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1124Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by Aijun An, Jerzy Stefanowski, Sheela Ramanna, Cory J. Butz, Witold Pedrycz, Guoyin Wang. by An, Aijun [editor.] | Stefanowski, Jerzy [editor.] | Ramanna, Sheela [editor.] | Butz, Cory J [editor.] | Pedrycz, Witold [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4482Source: 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): .
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II / edited by Joan Martí, José Miguel Benedí, Ana Maria Mendonça, Joan Serrat. by Martí, Joan [editor.] | Benedí, José Miguel [editor.] | Mendonça, Ana Maria [editor.] | Serrat, Joan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4478Source: 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): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra. by Egerstedt, Magnus [editor.] | Mishra, Bud [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4981Source: 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): .
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 12th International Conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009. Proceedings / edited by Hiroshi Sakai, Mihir Kumar Chakraborty, Aboul Ella Hassanien, Dominik Ślęzak, William Zhu. by Sakai, Hiroshi [editor.] | Chakraborty, Mihir Kumar [editor.] | Hassanien, Aboul Ella [editor.] | Ślęzak, Dominik [editor.] | Zhu, William [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5908Source: 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] : 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part II / edited by Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe. by Kitagawa, Hiroyuki [editor.] | Ishikawa, Yoshiharu [editor.] | Li, Qing [editor.] | Watanabe, Chiemi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5982Source: 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): .
|
|
|
|
|
|
|
|
|