|
|
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4573Source: 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): .
|
|
|
|
Information Security Practice and Experience [electronic resource] : 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings / edited by Liqun Chen, Yi Mu, Willy Susilo. by Chen, Liqun [editor.] | Mu, Yi [editor.] | Susilo, Willy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4991Source: 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 Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings / edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos. by Darzentas, John [editor.] | Vouros, George A [editor.] | Vosinakis, Spyros [editor.] | Arnellos, Argyris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5138Source: 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): .
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers / edited by Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson. by Maniezzo, Vittorio [editor.] | Battiti, Roberto [editor.] | Watson, Jean-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5313Source: 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): .
|
|
|
|
Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings / edited by Peter Bruza, Donald Sofge, William Lawless, Keith Rijsbergen, Matthias Klusch. by Bruza, Peter [editor.] | Sofge, Donald [editor.] | Lawless, William [editor.] | Rijsbergen, Keith [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5494Source: 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] : DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009 / edited by Lei Chen, Chengfei Liu, Qing Liu, Ke Deng. by Chen, Lei [editor.] | Liu, Chengfei [editor.] | Liu, Qing [editor.] | Deng, Ke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5667Source: 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): .
|
|
|
|
Advances in Computation and Intelligence [electronic resource] : 4th International Symposium, ISICA 2009 Huangshi, China, Ocotober 23-25, 2009 Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu. by Cai, Zhihua [editor.] | Li, Zhenhua [editor.] | Kang, Zhuo [editor.] | Liu, Yong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5821Source: 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): .
|
|
|
|
Optical SuperComputing [electronic resource] : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings / edited by Shlomi Dolev, Mihai Oltean. by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5882Source: 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): .
|
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings / edited by Phaophak Sirisuk, Fearghal Morgan, Tarek El-Ghazawi, Hideharu Amano. by Sirisuk, Phaophak [editor.] | Morgan, Fearghal [editor.] | El-Ghazawi, Tarek [editor.] | Amano, Hideharu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5992Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya. by Xiang, Yang [editor.] | Stojmenovic, Ivan [editor.] | Apduhan, Bernady O [editor.] | Wang, Guojun [editor.] | Nakano, Koji [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7439Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Inverse problems, image analysis, and medical imaging : [electronic resource] AMS Special Session on Interaction of Inverse Problems and Image Analysis, January 10-13, 2001, New Orleans, Louisiana / M. Zuhair Nashed, Otmar Scherzer, editors. by AMS Special Session on Interaction of Inverse Problems and Image Analysis (2001 : New Orleans, La.) | Nashed, M. Zuhair | Scherzer, Otmar, 1964-. Series: Contemporary mathematics (American Mathematical Society) ; v. 313.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2002Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Operator methods in wavelets, tilings, and frames / [electronic resource] Veronika Furst, Keri A. Kornelson, Eric S. Weber, editors. by Furst, Veronika, 1979- [editor of compilation.] | Kornelson, Keri A, 1967- [editor of compilation.] | Weber, Eric S, 1972- [editor of compilation.]. Series: Contemporary mathematics ; v. 626Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings / edited by Domenico Salvagnin, Michele Lombardi. by Salvagnin, Domenico [editor.] | Lombardi, Michele [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10335 | Lecture Notes in Computer Science ; 10335Edition: 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): .
|
|
|
|
|
|
|
|
Computational Social Networks [electronic resource] : 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Hien T. Nguyen, Vaclav Snasel. by Nguyen, Hien T [editor.] | Snasel, Vaclav [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9795 | Lecture Notes in Computer Science ; 9795Edition: 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): .
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9135 | Lecture Notes in Computer Science ; 9135Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|