|
|
|
|
Human-Computer Interaction. Interaction Modalities and Techniques [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8007Source: 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): .
|
|
|
|
|
Text, Speech, and Dialogue [electronic resource] : 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings / edited by Ivan Habernal, Václav Matoušek. by Habernal, Ivan [editor.] | Matoušek, Václav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8082Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Symbolic computation : [electronic resource] solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000 / Edward L. Green ... [et al.], editors. by AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering (2000 : Mount Holyoke College) | Green, Edward L, 1946-. Series: Contemporary mathematics (American Mathematical Society) ; v. 286.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c2001Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin. by Shi, Yuhui [editor.] | Tan, Kay Chen [editor.] | Zhang, Mengjie [editor.] | Tang, Ke [editor.] | Li, Xiaodong [editor.] | Zhang, Qingfu [editor.] | Tan, Ying [editor.] | Middendorf, Martin [editor.] | Jin, Yaochu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10593 | Lecture Notes in Computer Science ; 10593Edition: 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): .
|
|
|
|
|
SOFSEM 2017: Theory and Practice of Computer Science [electronic resource] : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria. by Steffen, Bernhard [editor.] | Baier, Christel [editor.] | van den Brand, Mark [editor.] | Eder, Johann [editor.] | Hinchey, Mike [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10139 | Lecture Notes in Computer Science ; 10139Edition: 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 Methods and Function Theory [electronic resource] : Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989 / edited by Stephan Ruscheweyh, Edward B. Saff, Luis C. Salinas, Richard S. Varga. by Ruscheweyh, Stephan [editor.] | Saff, Edward B [editor.] | Salinas, Luis C [editor.] | Varga, Richard S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1435Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Noise, Oscillators and Algebraic Randomness [electronic resource] : From Noise in Communication Systems of Number Theory Lectures of a School Held in Chapelle des Bois, France, April 5–10, 1999 / edited by Michel Planat. by Planat, Michel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 550Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Other title: Lectures of a School Held in Chapelle des Bois, France, April 5-10, 1999.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown. by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 408Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / edited by Enrico Giunchiglia, Armando Tacchella. by Giunchiglia, Enrico [editor.] | Tacchella, Armando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2919Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Experimental and Efficient Algorithms [electronic resource] : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004. Proceedings / edited by Celso C. Ribeiro, Simone L. Martins. by Ribeiro, Celso C [editor.] | Martins, Simone L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3059Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / edited by David Basin, Michaël Rusinowitch. by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3097Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. by Johnson, Michael [editor.] | Vene, Varmo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4019Source: 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): .
|
