|
|
|
|
|
|
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4202Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Digital Libraries: People, Knowledge, and Technology [electronic resource] : 5th International Conference on Asian Digital Libraries, ICADL 2002 Singapore, December 11–14, 2002 Proceedings / edited by Ee- Peng Lim, Schubert Foo, Chris Khoo, Hsinchun Chen, Edward Fox, Shalini Urs, Thanos Costantino. by Lim, Ee- Peng [editor.] | Foo, Schubert [editor.] | Khoo, Chris [editor.] | Chen, Hsinchun [editor.] | Fox, Edward [editor.] | Urs, Shalini [editor.] | Costantino, Thanos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2555Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Human Centered Computing [electronic resource] : First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu, Ning Gu, Sopheap Seng. by Zu, Qiaohong [editor.] | Hu, Bo [editor.] | Gu, Ning [editor.] | Seng, Sopheap [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8944 | Lecture Notes in Computer Science ; 8944Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 10th European Conference, ECDL 2006, Alicante, Spain, September 17-22, 2006. Proceedings / edited by Julio Gonzalo, Costantino Thanos, M. Felisa Verdejo, Rafael C. Carrasco. by Gonzalo, Julio [editor.] | Thanos, Costantino [editor.] | Verdejo, M. Felisa [editor.] | Carrasco, Rafael C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4172Source: 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): .
|
|
|
|
Ubiquitous Networking [electronic resource] : Third International Symposium, UNet 2017, Casablanca, Morocco, May 9-12, 2017, Revised Selected Papers / edited by Essaid Sabir, Ana García Armada, Mounir Ghogho, Mérouane Debbah. by Sabir, Essaid [editor.] | García Armada, Ana [editor.] | Ghogho, Mounir [editor.] | Debbah, Mérouane [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10542 | Lecture Notes in Computer Science ; 10542Edition: 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): .
|
|
|
|
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond. by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 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): .
|
|
|
|
Interactions between homotopy theory and algebra : [electronic resource] Summer School on Interactions between Homotopy Theory and Algebra, University of Chicago, July 26-August 6, 2004, Chicago, Illinois / Luchezar L. Avramov ... [et al.], editors. by Summer School on Interactions between Homotopy Theory and Algebra (2004 : University of Chicago) | Avramov, L. L. (Luchezar L.), 1948-. Series: Contemporary mathematics (American Mathematical Society) ; v. 436.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2007Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges [electronic resource] : IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers / edited by Karin Anna Hummel, Helmut Hlavacs, Wilfried Gansterer. by Hummel, Karin Anna [editor.] | Hlavacs, Helmut [editor.] | Gansterer, Wilfried [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6821Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Data Analytics for Renewable Energy Integration [electronic resource] : 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers / edited by Wei Lee Woon, Zeyar Aung, Oliver Kramer, Stuart Madnick. by Woon, Wei Lee [editor.] | Aung, Zeyar [editor.] | Kramer, Oliver [editor.] | Madnick, Stuart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10097 | Lecture Notes in Computer Science ; 10097Edition: 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): .
|
|
|
|
Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi Sing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7666Source: 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): .
|
|
|
|
Electronic Commerce and Web Technologies [electronic resource] : First International Conference, EC-Web 2000 London, UK, September 4–6, 2000 Proceedings / edited by Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul. by Bauknecht, Kurt [editor.] | Madria, Sanjay Kumar [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1875Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart. by Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Caro, Gianni A [editor.] | Ebner, Marc [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Grahl, Jörn [editor.] | Greenfield, Gary [editor.] | Machado, Penousal [editor.] | O’Neill, Michael [editor.] | Tarantino, Ernesto [editor.] | Urquhart, Neil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6025Source: 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): .
|
|
|
|
Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings / edited by Muhammad Ali Babar, Ian Gorton. by Babar, Muhammad Ali [editor.] | Gorton, Ian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6285Source: 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): .
|
|
|
|
Future Generation Information Technology [electronic resource] : Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Young-hoon Lee, Byeong-Ho Kang, Dominik Ślęzak. by Kim, Tai-hoon [editor.] | Lee, Young-hoon [editor.] | Kang, Byeong-Ho [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6485Source: 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): .
|
|
|
|
Artificial Intelligence XXXIV [electronic resource] : 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings / edited by Max Bramer, Miltos Petridis. by Bramer, Max [editor.] | Petridis, Miltos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10630 | Lecture Notes in Computer Science ; 10630Edition: 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): .
|