|
|
|
|
|
|
|
|
|
|
|
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem. by Ågotnes, Thomas [editor.] | Broersen, Jan [editor.] | Elgesem, Dag [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7393Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Combinatorial Image Analaysis [electronic resource] : 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Jake K. Aggarwal. by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Aggarwal, Jake K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7655Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju. by Pfeiffer, Heather D [editor.] | Ignatov, Dmitry I [editor.] | Poelmans, Jonas [editor.] | Gadiraju, Nagarjuna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7735Source: 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): .
|
|
|
|
Algorithms for Sensor Systems [electronic resource] : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers / edited by Amotz Bar-Noy, Magnús M. Halldórsson. by Bar-Noy, Amotz [editor.] | Halldórsson, Magnús M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7718Source: 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): .
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, José Correa. by Goemans, Michel [editor.] | Correa, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7801Source: 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): .
|
|
|
|
Discrete Geometry for Computer Imagery [electronic resource] : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings / edited by Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Belen Medrano. by Gonzalez-Diaz, Rocio [editor.] | Jimenez, Maria-Jose [editor.] | Medrano, Belen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7749Source: 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): .
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by Chan, T-H. Hubert [editor.] | Lau, Lap Chi [editor.] | Trevisan, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7876Source: 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): .
|
|
|
|
Web and Internet Economics [electronic resource] : 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings / edited by Yiling Chen, Nicole Immorlica. by Chen, Yiling [editor.] | Immorlica, Nicole [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8289Source: 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): .
|
|
|
|
|
|
|
|
Algorithms for Sensor Systems [electronic resource] : 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers / edited by Marek Chrobak, Antonio Fernández Anta, Leszek Gąsieniec, Ralf Klasing. by Chrobak, Marek [editor.] | Fernández Anta, Antonio [editor.] | Gąsieniec, Leszek [editor.] | Klasing, Ralf [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10050 | Lecture Notes in Computer Science ; 10050Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Srečko Brlek, Christophe Reutenauer. by Brlek, Srečko [editor.] | Reutenauer, Christophe [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9840 | Lecture Notes in Computer Science ; 9840Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9537 | Lecture Notes in Computer Science ; 9537Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005. Proceedings / edited by Luc Brun, Mario Vento. by Brun, Luc [editor.] | Vento, Mario [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3434Source: 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): .
|
|
|
|
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg. by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Montanari, Ugo [editor.] | Ribeiro, Leila [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4178Source: 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): .
|
|
|
|
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers / edited by Jens Blanck, Vasco Brattka, Peter Hertling. by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2064Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15–17, 2002 Proceedings / edited by Hans P. Zima, Kazuki Joe, Mitsuhisa Sato, Yoshiki Seo, Masaaki Shimasaki. by Zima, Hans P [editor.] | Joe, Kazuki [editor.] | Sato, Mitsuhisa [editor.] | Seo, Yoshiki [editor.] | Shimasaki, Masaaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2327Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|