|
|
|
|
Parameterized and Exact Computation [electronic resource] : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings / edited by Dimitrios M. Thilikos, Gerhard J. Woeginger. by Thilikos, Dimitrios M [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7535Source: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann. by Gheyi, Rohit [editor.] | Naumann, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7498Source: 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): .
|
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin. by Kahl, Wolfram [editor.] | Griffin, Timothy G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7560Source: 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): .
|
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings / edited by Davide Balzarotti, Salvatore J. Stolfo, Marco Cova. by Balzarotti, Davide [editor.] | Stolfo, Salvatore J [editor.] | Cova, Marco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7462Source: 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): .
|
|
|
|
|
|
|
|
|
|
Cellular Automata [electronic resource] : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / edited by Georgios Ch. Sirakoulis, Stefania Bandini. by Sirakoulis, Georgios Ch [editor.] | Bandini, Stefania [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7495Source: 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): .
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / edited by Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin. by Cerro, Luis Fariñas [editor.] | Herzig, Andreas [editor.] | Mengin, Jérôme [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7519Source: 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): .
|
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings / edited by Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger. by Hüllermeier, Eyke [editor.] | Link, Sebastian [editor.] | Fober, Thomas [editor.] | Seeger, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7520Source: 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): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković. by Jurdziński, Marcin [editor.] | Ničković, Dejan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7595Source: 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): .
|
|
|
|
|
Information Security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings / edited by Dieter Gollmann, Felix C. Freiling. by Gollmann, Dieter [editor.] | Freiling, Felix C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7483Source: 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): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund. by Chakraborty, Supratik [editor.] | Mukund, Madhavan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: 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): .
|
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I / edited by Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori. by Ayache, Nicholas [editor.] | Delingette, Hervé [editor.] | Golland, Polina [editor.] | Mori, Kensaku [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7510Source: 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): .
|
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II / edited by Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori. by Ayache, Nicholas [editor.] | Delingette, Hervé [editor.] | Golland, Polina [editor.] | Mori, Kensaku [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7511Source: 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): .
|
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings / edited by Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro. by Paoli, Flavio [editor.] | Pimentel, Ernesto [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7592Source: 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): .
|
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III / edited by Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori. by Ayache, Nicholas [editor.] | Delingette, Hervé [editor.] | Golland, Polina [editor.] | Mori, Kensaku [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7512Source: 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): .
|
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I / edited by Peter A. Flach, Tijl Bie, Nello Cristianini. by Flach, Peter A [editor.] | Bie, Tijl [editor.] | Cristianini, Nello [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7523Source: 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): .
|
|
|
|
|
Mesh Processing in Medical Image Analysis 2012 [electronic resource] : MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings / edited by Joshua A. Levine, Rasmus R. Paulsen, Yongjie Zhang. by Levine, Joshua A [editor.] | Paulsen, Rasmus R [editor.] | Zhang, Yongjie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7599Source: 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): .
|
|
|
|
|
E-Learning and Games for Training, Education, Health and Sports [electronic resource] : 7th International Conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012. Proceedings / edited by Stefan Göbel, Wolfgang Müller, Bodo Urban, Josef Wiemeyer. by Göbel, Stefan [editor.] | Müller, Wolfgang [editor.] | Urban, Bodo [editor.] | Wiemeyer, Josef [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7516Source: 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): .
|
|
|
|
|
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings / edited by Fu Lee Wang, Jingsheng Lei, Zhiguo Gong, Xiangfeng Luo. by Wang, Fu Lee [editor.] | Lei, Jingsheng [editor.] | Gong, Zhiguo [editor.] | Luo, Xiangfeng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7529Source: 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): .
|
|
|
|
|
Theoretical Computer Science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer. by Baeten, Jos C. M [editor.] | Ball, Tom [editor.] | Boer, Frank S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7604Source: 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): .
|
