|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager. by Ouaknine, Joël [editor.] | Vaandrager, Frits W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5813Source: 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): .
|
|
|
|
Homotopy theory via algebraic geometry and group representations : [electronic resource] proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University / Mark Mahowald, Stewart Priddy, editors. by Conference on Homotopy Theory (1997 : Northwestern University) | Mahowald, M. E. (Mark E.), 1931- | Priddy, Stewart, 1940-. Series: Contemporary mathematics (American Mathematical Society) ; v. 220.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Other title: Homotopy theory.Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automorphic forms and L-functions : [electronic resource] a workshop in honor of Steve Gelbart on the occasion of his sixtieth birthday, May 15-19, 2006, Rehovot and Tel-Aviv, Israel / David Ginzburg, Erez Lapid, David Soudry, editors. by Gelbart, Stephen S, 1946- | Ginzburg, D. (David) | Lapid, Erez, 1971- | Soudry, David, 1956-. Series: Contemporary mathematics (American Mathematical Society) ; v. 488- | Israel mathematical conference proceedingsMaterial type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : Ramat Gam, Israel : American Mathematical Society ; Bar-Ilan University, c2009-Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / edited by Matthew J. Patitz, Mike Stannett. by Patitz, Matthew J [editor.] | Stannett, Mike [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10240 | Lecture Notes in Computer Science ; 10240Edition: 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): .
|
|
|
|
Progress in Pattern Recognition, Speech and Image Analysis [electronic resource] : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003 Proceedings / edited by Alberto Sanfeliu, José Ruiz-Shulcloper. by Sanfeliu, Alberto [editor.] | Ruiz-Shulcloper, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2905Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings / edited by Xingming Zhou, Ming Xu, Stefan Jähnichen, Jiannong Cao. by Zhou, Xingming [editor.] | Xu, Ming [editor.] | Jähnichen, Stefan [editor.] | Cao, Jiannong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2834Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / edited by Peter M. A. Sloot, Alfons G. Hoekstra, C. J. Kenneth Tan, Jack J. Dongarra. by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2331Source: 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): .
|
|
|
|
The Semantic Web: Research and Applications [electronic resource] : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings / edited by Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis. by Bechhofer, Sean [editor.] | Hauswirth, Manfred [editor.] | Hoffmann, Jörg [editor.] | Koubarakis, Manolis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5021Source: 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): .
|
|
|
|
Artificial Neural Networks — ICANN 96 [electronic resource] : 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings / edited by Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff. by Malsburg, Christoph [editor.] | Seelen, Werner [editor.] | Vorbrüggen, Jan C [editor.] | Sendhoff, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1112Source: 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): .
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010, Proceedings, Part II / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen. by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6422Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Unconventional Computation [electronic resource] : 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Păun, Mario J. Pérez-Jímenez, Grzegorz Rozenberg. by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Păun, Gheorghe [editor.] | Pérez-Jímenez, Mario J [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3699Source: 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): .
|